1. Plenary Lectures
2. Invited Speakers by Section
    A. Logic
    B. General Philosophy of Science
    C. Philosophical Issues of Particular Sciences
    D. Ethical, Social, and Historical Perspectives on
        Philosophy of Science
Special Symposia
Affiliated Symposia

1. PLENARY LECTURES

M. Garrido-Giménez (Spain), "The New Scientific Image of Man and Philosophy".
M. O. Rabin (Harvard U., USA), "Proofs and Persuasions from Computer Science".
E. Sober (U. Wisconsin, USA), "Intelligent Design is Unestable. What about Natural Selection?"
W. H. Woodin (U. California at Berkeley, USA), "The Axioms for Set Theory: Then and Now"

2. INVITED SPEAKERS BY SECTION

The Congress is divided into several sections which represent different areas of logic, methodology and philosophy of science. The 12th Congress (2003) will comprise the following sections:

A LOGIC

A.1 Mathematical logic (proof theory, recursion theory, model theory, set theory)

• J. Bagaria (U. Barcelona and ICREA, Spain), "Natural Axioms for Set Theory that Decide Cantor's Continuum Problem".
• P. Cholak (U. Notre Dame, USA), "The Computably Ennumerable Sets: Recent Results and Future Directions" .
• C. A. Di Prisco (U. Central de Venezuela and IVIC, Venezuela), "Colorings of the Real Numbers".
• D. R. Hirschfeldt (U. Chicago, USA), "Measures of Effective Randomness"
• W. A. Hodges (QMW College, London, United Kingdom), "Definability and Automorphism Groups".
• U. Kohlenbach (U. Aarhus , Denmark), Proof Theoretic Applications to Functional Analysis".
• A. Pillay (U. Illinois, Urbana, USA), "Finite Morley Rank Sets Definable in Differentialy Closed Fields"  
• T. Scalon (U. California at Berkeley, USA), "Geometric Stability Theory in Geometry, Arithmetic and Logic".
• W. H. Woodin (U. California at Berkeley, USA), "A Structural Equiconsistency for AD(ℝ)"

A SUBSECTION WILL BE DEVOTED TO THE 50TH ANNIVERSARY OF THE DEATH OF E. ZERMELO;
special speaker on Zermelo:

• A. Kanamori (U. Boston, USA), "Zermelo and Set Theory"
  

A.2 Philosophical logic (non-classical logics, logic and language, foundations of logic).

• R. Cignoli (U. Buenos Aires, Argentina) "Glivenko like Theorems in Natural Expansions of BCK-logic with Negation"
• E. Orlowska (Institute of Telecomunications, Poland) and D. Vakarelov (U. Sofia, Bulgaria), "Lattice-based Modal Logics and Modal Algebras".
• G. Restall (U. Melbourne, Australia), "Multiple Conclusions".
• M. van Lambalgen (ILLC Amsterdam, The Netherlands), "Evolution of Higher Cognitive Functions: The Case of Logic".
• H. Wansing (U. Dresden, Germany), "On the Negation of Action Types: Constructive Concurrent PDL".

A.3 Logic and computation (knowledge representation and AI, verification, semantics of programs, interactive proofs, computational linguistics.)

• L. Beklemishev (U. Utrecht, The Netherlands and Steklov Institute, Russia), "Long Games in Modal Logics and Provability Algebras".
• T. Coquand (Chamlers U. Technology, Sweden), "Dynamical Method in Algebra".
• J. Esparza (U. Stuttgart, Germany), "A False History of True Concurrence"
• M. Otto (U. Wales, United Kingdom), "Bisimulation Invariance and Instances of Expressive Completeness"
• I. Walukiewicz (U. Bordeaux, France), "Fixpoint Hierarchies".
  

B GENERAL PHILOSOPHY OF SCIENCE

B.1 Methodology: Explanation, causality, and laws; Models, experiment, and theory

• R. Ankeny (U. Sydney, Australia), "Cases as Explanations: Modelling in the Biomedical and Human Sciences".
• D. M. Bailer-Jones (U. Pittsburg, USA), "Models, Theories and Phenomena".
• M. Boumans (U. Amsterdam, The Netherlands), "Truth versus Precision".
• C. Hoefer (U. Autònoma de Barcelona and ICREA, Spain) "Humean Effective Strategies".  
• P. Teller (U. California, Davis, USA), "Conceptions of Truth: A Lesson from Philosophy of Science".
•  J. F. Woodward (California Institute of Technology, Pasadena, USA), "Invariance and Causal Explanation".

B.2 Induction, probability and statistics
Induction, statistical inference, learning theory, decision theory.

• C. Glymour (Carnegie-Mellon U., USA), "Aggregation, Conditional Independence and Causal Inference, Illustrated by Gene Regulation".
• P. Milne (U. Edinburgh, United Kingdom), "Conditional Probability, Conditional Events and Single-case Properties".
• I. Niiniluoto (U. Helsinki, Finland), "Verisimilitude and PAC-learning".

C PHILOSOPHICAL ISSUES OF PARTICULAR SCIENCES

C.1 Philosophy of mathematics

• J. Floyd (U. Boston, USA), "Wittgenstein on the Gödel Incompleteness Theorem".
• H. Gaifman (Columbia U., USA), "On the Notion of Intended Model".
• I. Jané (U. Barcelona, Spain), "The Iterative Conception of Sets from a Cantorian Perspective".  

C.2 Philosophy of the physical sciences

• J. Mosterín (CSIC, Spain), "Anthropic Explanations in Cosmology".  
• F. Steinle (Max Planck Institute, Germany), "Experiment and Concept Formulation".
• J. Uffink (Institute for History and Foundations of Science, The Netherlands), "Rereading Ludwig Boltzmann".  

C.3 Philosophy of the biological sciences

• A. Leplège (IHPST, France), "Measurement of Quality of Life in Medicine".
• M. Morange, "What is Life? (Revisited)"

C.4 Philosophy of the cognitive science and artificial intelligence (including computational perspectives in psychology)

• J.-G. Ganascia (U. Pierre et Marie Curie, France), "Induction with Machine Learning Revisited"
• B. Smith (U. at Buffalo, SUNY and Institute for Formal Ontology), "Cognitive Science and Biomedical Informatics. From the Gene Ontology to Universal Medical Language".
• T. Stone (South Bank U.), "Evaluating Recent Work on Mental Simulation"

C.5 Philosophy of linguistics

• E. Keenan (UCLA, USA), "Linguistic Invariants".
• G. Pullum (U. California, Santa Cruz, USA), "Contrasting Applications of Logic in Natural Language Syntax".

C.6 Philosophy of the social sciences (including non-computational psychoogy)

• P. Pettit (Princeton U., Australia), "Group Agency"

D ETHICAL, SOCIAL, AND HISTORICAL PERSPECTIVES  ON PHILOSOPHY OF SCIENCE

D.1 History of logic, methodology, and philosophy of science
History of the topics covered by the Programme of the Congress..

• C. Thiel ( Universität Erlangen-Nürnberg, Germany), "Perspectivism in History of Logic".

D.2 Ethics of science and technology
Ethical problems of scientific research, applied science, and technology.

• J. Savulescu (Oxford U., United Kingdom), "The Four Principles Governing Genetics and Reproductive Technology"
• R.-Z. Qiu (Peking U., China), "Vulnerability as a Principle of Ethics of Science and Technology".

D.3 Philosophical questions raised by the history and sociology of science

• J. McAllister (Leiden U., The Netherlands), "Symmetries and Asymmetries in Science Studies".

SPECIAL SYMPOSIA

Plenary Session on the Foundations of Evolution. Chair: Elliott Sober (U. Wisconsin, Madison, USA)

• E. Sober (U. Wisconsin, Madison, USA), "Intelligent Design is Unestable. What about Natural Selection?"  

• K. Sigmund (U. Vienna, Austria), "Public Goods and Free Riders".

• N. Elderedge (American Museum of Natural History, NY, USA), "What Drives Evolution?".

Special Symposium on Philosophy and Methodology of Empirical Modeling: Causation,Validation, and Discovery. Chair and moderator: Deborah Mayo, (Virginia Tech, USA)

• J.-G. Ganascia (U. Pierre et Marie Curie, France), "Rational Reconstruction of Wrong Theories"

• P. L. Spirtes (Carnegie-Mellon U., USA), Methodology in the Social Sciences".

• C. Glymour (Carnegie-Mellon U., USA), "Search, Not Confirmation".

• A. Spanos (Virginia Tech, USA), "Structural Equation Modeling (SEM), Causal Inference and Statistical Adequacy".

• J. F. Woodward (California Institute of Technology, Pasadena, USA), "Causal Mechanisms in Cognitive Psycology".

Joint Comission DHS-DLMPS. Symposium on Scientific (EVidence-based) Medicine, 19th - 20th Centuries. Chair: Anne Fagot-Largeault, (College de France, Paris, France).

• C. Debru (France), Biological, Clinical and Therapeutic Evidence in the Classification of Chronic Lymphocytic Leukemias".

• A. Fagot-Largeault (College de France, Paris, France), "Evidence-based Medicine: Its History and Philosophy".

• E. Giroux (PhD. Student, France), "Conceptions of the Normal and the Pathological".

• A. Leplège (IHPST, France), "Measuring Qualities: How to Quantify Health, Pain, Well-being, etc".

• Z. Szawarski, (Warsaw U., Poland), "What it Means to Be Cured (About the Polish School of Mediciene)".

Special Symposium on The Unusual Effectiveness of logic in Computer Science. Chair: Martin Otto (U. Wales Swansea, United Kingdom):

• A. Dawar (Cambridge U., United Kingdom), "Fixed-point Logics and Computation"

• J. Esparza (U. Stuttgart, Germany), "Logic in Automatic Verification".  

• U. Kohlenbach (U. Aarhus, Denmark), "From Foundations to Fuctional Programming: Functionals of Higher Type in Computer Science".

Special Symposium on the History and Methodology of Technology (Arranged by DHS).  Chairs: Alexandre Herlea and Juan José Saldaña (IUHPS, México).

• A. Herlea and J.J. Saldaña, "Philosophy, Methodology and History of Technology - Introductory Remarks".

• V. Gorokhov, "The Problem of the Rational Analysis and Description of Technological Activity".

• G. Bechmann, "Technology as a Medium - A Constructivist Concept of Technology".

• C. Debru, "Philosophical Aspects of Biotechnologies in Europe and the USA".

• L. Sofonea, "Some Considerations Concerning the Philosophical Dimension of Homo Technicus-Technologicus"

• P. Brouzeng, "Interaction Science Technique dans l'Historie: Una Nouvelle Donne de la Culture en Europe".

• A. P. Silva, "Dialectics between Technological Success and Failure: The Example of a Hosting Service Provider".

Workshop on Journal Publishing. Chair: J. W. Mc Allister, (Leiden U., The Netherlands).

• Speakers to be announced

AFFILIATED SYMPOSIA

Affiliated Symposium on Representation in Science and Philosophy. Coordinators: Andoni Ibarra and Theodor Mormann (UPV, Donostia, Spain)

• A. Bartels, (U. Bonn, Germany), "The Structural Concept of Representation in 20th Century Philosophy and its Prospects in Science" .

• B. Falkenburg, (U. Dortmund, Germany), "Intuition and Iconic Representation in Quantum Physics" .

• P. Gärdenfors, (U. Lund, Sweden), "Representing Similarity and Categorization in Conceptual Sciences".

• R. I. G. Hughes, (U. South Caroline, USA) "Representation and Interpretation".

• A. Ibarra, (UPV, Donostia, Spain) and  T. Mormann,  (UPV, Donostia, Spain), "Homologous Representations".

Affiliated Symposium on New Directions in Cryptology: Novel Techniques Against non-standard Attacks. Chair: Consuelo Martínez (U. Oviedo, Spain),

• M. O. Rabin (Harvard U., USA), "The provably Unbreakable Encryption" 

• M.I González-Vasco (U. Oviedo, Spain), "Group Based Public Key Cryptography".

• J. Tena Ayuso, "Improving the AKS Primality Test".

• I. Fernández Rúa, "Galois Rings and Symmetric-key Cryptography".

• E. Couselo Hernández, "Lineal Codes over Fields and Groups".

Affiliated Symposium on Fuzzy Logic. Chair: J. Velarde (U. Oviedo, Spain).

• E. Trillas, (U. Politécnica de Madrid, Spain), "Arround Two Controversies on Fuzzy Logic".

• P. Hájek, (Academy of Sciences, Czech Republik), "Mathematical Fuzzy Logic I".

• F. Esteva, (U. Autònoma de Barcelona, Spain), "Mathematical Fuzzy Logic II".

• A. Gil, (U. Oviedo, Spain), "Fuzzy Logic - Probability Theory".

• J. Velarde, (U. Oviedo, Spain), "Inferences with Fuzzy Logic".

Affiliated Symposium on Measuring Public Understanding of Science: Conceptual and Valorative Aspects. Coordinators: J. Echeverría (CSIC, Spain) and J. A. López Cerezo (U. Oviedo, Spain )

• C. Barrio, (U. Oviedo, Spain), "From Computer Literacy to the Knowledge Society, Where We Are?".

• J. Echevarría, (CSIC, Spain), "Concept and Values of a Scientific Culture in the Information Age".

• M. González (CSIC, Spain), "Boundary Work and Hybridization in Public Understanding of Science"

• J. A. López Cerezo (U. Oviedo, Spain), "Action and Understanding in Science's Lay Reception".

• E. Muñoz, (CSIC, Spain), "Raising Awarness on Indicators and Culture".

• E. Pérez Sedeño, (CSIC, Madrid), "Public Perception of S&T in Spain from a Gender Perspective".

• C. Polino, (RIICT, Argentina), "Recent Experiences of PUS Measurement in Ibero-America"

Affiliated Symposium on Epistemology of Systems Science. Coordinators: Celina Lertora Mendoza and Francisco Casiello (U. Católica de Argentina, Mendoza,  Argentina)

• C. Deco, (U. Católica de Argentina, Rosario, Argentina)

• A. Herrera Cogneta, (U. Nacional de Jujuy, Argentina)

• C. M. Laserre, (U. Nacional de Jujuy, Argentina)

• R. Motz, (U. de la República, Montevideo, Uruguay)

• P. Quitanilla, (U. Católica del Perú, Perú)

Affiliated Symposium on Modern Logic and its Spanish Reception/La Lógica moderna y su recepción hispana. Chair: Luis Vega Reñon (UNED, Spain)

• E. Alonso (U. Autónoma de Madrid, Spain), "La lógica del dia después: Los Estudios de Lógica Superior en España".

• J. Hernández Alonso (U. Autónoma de Madrid, Spain), "Julio Pastor ante la Lógica y el Álgebra del Lenguaje".  

• A. Martín Maldonado (U. de los Andes, Colombia), "Miguel Sánchez-Mazas y los Modelos Leibnizianos de la Lógica".

• H. Marraud (U. Autónoma de Madrid, Spain), "Crucigramas y Demostraciones. La Enseñanza del Arte de la Lógica en España".

• L. Vega (UNED, Spain), "Gödel en España".

• F. Zalamea ( U. Nacional de Colombia, Colombia), "Normalización y Oscilaciones en la Construcción de la Historia de la Lógica en el Siglo XX".