Fontainebleau Campus of Université Paris 12, France
Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
European Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
Funding
Université Paris XII
Institut Universitaire de Technologie de Sénart-Fontainebleau
Laboratoire d'Algorithmique, Complexité et Logique
Organisation
Centro de Informática, Universidade Federal de Pernambuco
(CIn-UFPE)
Laboratoire d'Algorithmique, Complexité et Logique, Université Paris XII
(LACL-Paris12)
10:30-10:45 Coffee/tea break
10:45-12:45 (with a 10min break) Chair: Etienne Grandjean
Real number computations and descriptive complexity
by Klaus Meer (University of Southern Denmark, Odense, Denmark)
12:45-14:00 Lunch break
14:00-16:00 (with a 10min break) Chair: Mariangiola Dezani
Mathematical Reasoning - Machines vs Humans
by Manfred Kerber (School of Computer Science, The University of Birmingham, UK)
16:00-16:15 Coffee/tea break
11:00-11:15 Coffee/tea break
11:15-12:30 (Invited talk) (Chair: Alessandra Carbone)
Living with Paradoxes
by Manfred Kerber (School of Computer Science, The University of Birmingham, UK)
12:30-14:00 Lunch break
15:15-15:30 Coffee/tea break
15:30-16:30 2 contributed papers (30 min each) (Chair: Gopalan Nadathur)
16:00-16:30 Realizability for Monotone and Clausular (Co)inductive Definitions
by F. E. Miranda-Perea
16:45-18:00 (Invited talk) (Chair: Martin Hyland)
Differential lambda-calculi and interaction nets
by Thomas Ehrhard (Institut de Mathématiques de Luminy, Univ Marseille, France)
10:15-10:30 Coffee/tea break
10:30-12:00 3 contributed papers (30 min each) (Chair: Gianluigi Bellin)
11:00-11:30 A Natural Deduction System for Keisler's Quantification
by Christian Renteria & Edward H. Haeusler
11:30-12:00 A Modal Logic for pi-Calculus and Model Checking Algorithms
by T. Chen, T. Han & J. Lu
18:15-19:30 Cocktail in the campus
19:45-10:30 Special Dinner to Caveau des Ducs [moving by cars]
10:15-10:30 Coffee/tea break
10:30-11:00 3 contributed papers (30 min each) (Chair: Igor Walukiewicz)
11:00-11:30 Default theories over monadic languages
by M. Kaminski & J. Mosin
11:30-12:00 On Decidability Properties of Local Sentences
by Olivier Finkel
15:15-15:30 Coffee/tea break
15:30-16:30 2 contributed papers (30 min each) (Chair: Zofia Adamowicz)
16:00-16:30 Formal Specification and Verification of Multi-Agent Systems
by M. Bourahla & M. Benmohamed
17:15 CLOSING
Last modified: July 18, 2004