25-31 July 2010
Paris, France
Logic Colloquium 2010
Paris 25 July - 31 July
Deadline for submissions: 19 April, 2010
http://www.logic2010.org/
*********************************************************************
The Logic Colloquium is the annual European conference on logic,
organised under the auspices of the Association for Symbolic Logic
(ASL).
This year, the Programme Committee consists of:
A. Atserias, Z. Chatzidakis, T. Coquand, P.-L. Curien, M. Detlefsen,
C. Dimitracopoulos, J. Floyd, I. Juhasz, M. Magidor, M. Rathjen, T. Scanlon
,
A. Soskova and Y. Venema.
The main events in this year's conference are as follows.
Tutorials:
Uri Abraham (University Ben Gurion, Beer-Sheva )
Ted Slaman (University of California, Berkeley)
Plenary talks:
Franoise Delon (University Paris Diderot)
Nicola Gambino (Palermo University)
Mai Gehrke (Nijmegen University)
Jean-Yves Girard (University Marseille Mditerrane)
Moti Gitik (Tel-Aviv University)
Valentin Goranko (Technical University of Denmark, Lyngby)
Leila Haaparanta (University of Helsinki)
Ian Hodkinson (Imperial College)
Julia Knight (University of Notre Dame)
Piotr Koszmider (Technical University of Lodz)
Jan Krajicek (Charles University in Prague)
Angus MacIntyre (Queen Mary, University of London)
Paulo Oliva (Queen Mary, University of London)
Kobi Peterzil (Haifa University)
Simon Thomas (Rutgers University)
Gran Sundholm (Leiden University)
Andreas Weiermann (Ghent University)
Thomas Wilke (Kiel University)
Alex Wilkie (University of Manchester)
Special sessions:
* Model Theory. Co-chairs: Tom Scanlon (University of California,
Berkeley) and Frank Wagner (University Lyon I)
* Computability Theory. Co-chairs: Alexandra Soskova (Sofia University) and
Andrea Sorbi (Siena University)
* Set Theory. Co-chairs: Mirna Dzamonja (University of East Anglia), Istvan
Juhasz (Hungarian Academy of Science) and Boban Velickovic (University
Paris Diderot)
* Symposium on the Beytrge of Bernard Bolzano. Co-chairs: Michael Detlef
sen
(University of Notre-Dame) et Juliet Floyd (Boston University)
* Symposium on Simplicity (Complexity) of proofs: Mathematical and
Philosophical Issues. Co-chairs: Michael Detlefsen (University of
Notre-Dame), Juliet Floyd (Boston University) and Michael Rathjen
(University of Leeds)
The Programme Committee cordially invites all researchers to submit
contributed papers that have logic research content that lies within the
scope of the interests of the ASL.
Submission Deadline: 19 April 2010
Notification of Authors: 4 May 2010
The rules for abstract submission can be found at the conference webpage
http://www.logic2010.org
The ASL will make available modest travel awards to graduate students in
logic and to recent PhD's to attend the 2010 ASL European Summer Meeting
in Paris. The European Summer Meeting is also supported by a grant from
the US National Science Foundation; NSF funds may be awarded only to
students at USA universities and to citizens and permanent residents of
the USA.
Applications and recommendations must be received before the deadline of
March 30, 2010, by e-mail to
application@logic2010.org
or by surface mail to
LC2010
Thomas Ehrhard
Laboratoire PPS
Universit Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13
France
Fax: (+33) 1 44 27 86 54
by the Organizing Committee: S. Abbes, O. Ainardi, V. Balat, T. Colcombet,
R. Cori (chair), A. Durand, T. Ehrhard (co-chair), M. Hils, R. Labib-Sami,
R. Lassaigne, Y. Legrandgrard, G. Malod, A. Mansuet, S. Prifel, J.-E.
Pin (co-chair), F. Point, P. Rozire, T. Tsankov, B. Velikovic.