List of invited speakers and Special and Affiliated Symposia (August 4, 2003)

General Program Committee

Petr Hajek (chair) (Czech Rep.)
Peter Clark (UK)
Maria Luisa Dalla Chiara (Italy)
Toshio Ishigaki (Japan)
Moshe Vardi (USA)
Vladimir Vasyukov (Russia)
Luis Valdes (OC representative) (Spain)
Dag Westerstahl (EC representative) (Sweden).

1. Sections of the Congress and Section Program Committees

The work of 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)
Committee: Jan Krajicek (Czech Rep.), Boris Zilber (UK), Stevo Todorcevic (Canada), Rod.Downey (NZ).

A.2 Philosophical logic (non-classical logics, logic and language, foundations of logic).
Committee: Johan van Benthem (Netherlands), Larry Moss (USA), Daniele Mundici (Italy), Hans Rott (Germany).

A.3 Logic and computation (knowledge representation and AI, verification, semantics of programs, interactive proofs, computational linguistics.)
Committee: Joerg Flum (Germany), Dexter Kozen (USA), Per Martin-Loef (Sweden), Mogens Niellsen (Denmark)

B GENERAL PHILOSOPHY OF SCIENCE

B.1 Methodology: Explanation, causality, and laws; Models, experiment, and theory
Committee: Ron Giere (USA), Mary S. Morgan (UK), Mauricio Suárez (UK)

B.2 Induction, probability and statistics
Induction, statistical inference, learning theory, decision theory.
Committee: Theo Kuipers (Netherlands), Donald.Gillies (UK), Deborah Mayo (USA)

C PHILOSOPHICAL ISSUES OF PARTICULAR SCIENCES

C.1 Philosophy of mathematics
Committee: Stuart Shapiro (USA) , Mark Steiner (Israel), Penelope Maddy (USA)

C.2 Philosophy of the physical sciences
Committee: Andreas Kamlah (Germany), Roberto Torretti (Chile), John Earman (USA)

C.3 Philosophy of the biological sciences
Committee: Jean Gayon (France), Alex Rosenberg (USA), Osamu Kanamori (Japan)

C.4 Philosophy of the cognitive science and artificial intelligence (including computational perspectives in psychology)
Committee: Richard Grandy (USA), Stella Vosniadou (Greece), Daniel.Kayser (France)

C.5 Philosophy of linguistics
Committee: Jeff Pelletier (Canada), Uwe Reyle (Germany),Tom Wasow (USA)

C.6 Philosophy of the social sciences (including non-computational psychoogy)
Committee: Uskali Maki (Netherlands), Don Ross (South Africa), Felix Ovejero (Spain).

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.
Committee: Jan Wolenski (Poland), Volker Peckhaus (Germany), Valentin Bazhanov (Russia)

D.2 Ethics of science and technology
Ethical problems of scientific research, applied science, and technology.
Committee: Wlodek Rabinowich (Sweden), John Broome (UK), Isaac Levi (USA)

D.3 Philosophical questions raised by the history and sociology of science
Committee: James Robert Brown (Canada), Oswaldo Pessoa (Brasil), Catherine Chevalley (France)

2. Invited Lectures, Symposia, and Contributed Papers

The programme of the Congress contains two kinds of papers,

(i) invited lectures, and
(ii) contributed papers.

There is at least one plenary lecture, viz. the Opening Address of the Congress in connection with the opening ceremonies. Other invited lectures are also possible.

Contributed papers should be short research reports, and the presentation of such a paper should not take more than 10-20 minutes, with 5-10 minutes reserved for comments and discussion.

(Detailed programme to be announced)