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
M. O. Rabin, (Harvard U.) USA
W. H. Woodin, (U. California at Berkeley) USA

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)

• P. Cholak (U. Notre Dame), USA
• D. R. Hirschfeldt (U. Chicago), USA
• U. Kohlenbach (U. Aarhus) , Denmark
• J. Bagaria (U. Barcelona and ICREA), Spain
• C. Di Prisco (U. Central de Venezuela and IVIC), Venezuela
• W. H. Woodin (U. California at Berkeley), USA
• A. Pillay (U. Illinois, Urbana), USA
• W. A. Hodges (QMW College, London), United Kingdom
• T. Scalon (U. California at Berkeley), USA

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

• A. Kanamori (U. Boston), USA
  

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

• E. Orlowska (Institute of Telecomunications) Poland
• M. van Lambalgen (ILLC Amsterdam) The Netherlands
• H. Wansing (U. Dresden) Germany
• G. Restall (U. Melbourne) Australia
• R. Cignoli, (U. Buenos Aires), Argentina

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

• L. Beklemishev, (U. Utrecht) The Netherlands
• T. Coquand, Sweden
• J. Esparza, United Kingdom
• I. Walukiewicz, Poland
• M. Otto, United Kingdom
  

B GENERAL PHILOSOPHY OF SCIENCE

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

• J. F. Woodward (California Institute of Technology, Pasadena) USA
• R. Ankeny, (U. Sydney) Australia
• C. Hoefer (U. Autònoma de Barcelona and ICREA) Spain
• P. Teller, (U. California, Davis) USA
• D. M. Bailer-Jones, (U. Bonn) Germany
• M. Boumans, (U. Amsterdam) The Netherlands

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

• C. Glymour (Carnegie-Mellon U.) USA
• P. Milne, United Kingdom
• I. Niiniluoto, (U. Helsinki) Finland

C PHILOSOPHICAL ISSUES OF PARTICULAR  SCIENCES

C.1 Philosophy of mathematics

• I. Jané, (U. Barcelona) Spain
• H. Gaifman, (Columbia U.) USA
• J. Floyd, (U. Boston), USA

C.2 Philosophy of the physical sciences

• J. Uffink, (U. Utrecht) The Netherlands
• C. Rovelli, (U. Méditeraneé) France
• F. Steinle, (U. Berlin) Germany

C.3 Philosophy of the biological sciences

• K. Sterelny, (Australian National U.) New Zealand
• F. Duchesneau, (U. Montréal) Canada

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

• J.-G. Ganascia (U. Paris VI) France

C.5 Philosophy of linguistics

• G. Pullum, (U. California, Santa Cruz) USA
• E. Keenan, (UCLA) USA

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

• Ph. Petit (Australian National U.) Australia

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, (Friedrich-Alexander U.) Germany
• I. Anellis, USA

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

• R. Qiu (Beijing) China

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

• J. McAllister, (U. Leiden) The Netherlands
• M. Beller, (Hebrew U. Jerusalem) Israel

SPECIAL SYMPOSIA

Plenary Session on the Foundations of Evolution (chair: Elliott Sober):

• E. Sober (U. Wisconsin, Madison) USA

• K. Sigmund (U. Vienna) Austria

• N. Elderedge (American Museum of Natural History, NY) USA

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. Paris VI) France

• C. Glymour (Carnegie-Mellon U.) USA

• J. F. Woodward (California Institute of Technology, Pasadena) USA

• A. Spanos (Virginia Tech) USA

• P. Spirtes (Carnegie-Mellon U.) USA

Joint DHS-DLMPS Symposium on The Emergence of Scientific Medicine in the 19th - 20th Centuries (chair: Anne Fagot-Largeault, College de France, Paris, France).

• Speakers to be announced.

Special Symposium on The Unusual Effectiveness of logic in Computer Science (chair: Martin Otto, United Kingdom):

• A. Dawar (Cambridge U) United Kingdom

• J. Esparza, United Kingdom

• U. Kohlenbach (U. Aarhus) Denmark

Workshop on Journal Publishing (chair: Mc Allister).

• Speakers to be announced

AFFILIATED SYMPOSIA

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 Fuzzy Logic (chair: Julian Velarde, U. Oviedo, Spain).

• Speakers to be announced

Affiliated Symposium on the History of Logic: Modern Logic and its Reception in Spain (Chair: Luis Vega, UNED, Spain)

• E. Alonso, (U. Autónoma de Madrid) Spain

• J. Ferreirós, (U. Sevilla) Spain

• J. Hernández Alonso, (U. Autónoma de Madrid), Spain

• A. Martín Maldonado (U. de los Andes) Colombia

• H. Marraud, (U. Autónoma de Madrid) Spain

• L. Vega, (UNED) Spain

• F. Zalamea, ( U. Nacional de Colombia) Colombia

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 )

• Speakers to be announced.

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

• A. Bartels, (U. Bonn) Germany

• B. Falkenburg, (U. Dortmund) Germany

• P. Gärdenfors (U. Lund) Sweden

• R. I. G. Hughes, (U. South Caroline) USA

• A. Ibarra, (UPV) Donostia, Spain

• Th. Mormann, T. (UPV) Donostia, Spain