WoLLIC'2004
11th Workshop on Logic, Language, Information and Computation

July 19th to 22nd, 2004

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)


Programme


Monday, July 19th, 2004 (Tutorial Day)

Tutorials:

08:30-10:30 (with a 10min break) Chair: Graham White
  Web-based models of linear logic
  by Thomas Ehrhard (Institut de Mathématiques de Luminy, Univ Marseille, France)

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

Tuesday, July 20th, 2004

Morning: Logic and Knowledge Representation

09:00-11:00 (Tutorial) (with a 10-min break) (Chair: Patrick Cegielski)
  Expressive Power of Temporal Logics
  by Alexander Rabinovich (School of Computer Science, Tel Aviv University, Israel)

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

Afternoon: Logic Programming Languages and Denotational Semantics

14:00-15:15 (Invited talk) (Chair: Ruy de Queyroz )
  Pushdown hierarchies and the safety constraint
  by Luke Ong (Computing Laboratory, Oxford University, UK)

15:15-15:30 Coffee/tea break

15:30-16:30 2 contributed papers (30 min each) (Chair: Gopalan Nadathur)

16:30-16:45 Coffee/tea break

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)

Wednesday, July 21st 2004

Morning: Logic and Theoretical Computer Science

10:15-10:30 Coffee/tea break

10:30-12:00 3 contributed papers (30 min each) (Chair: Gianluigi Bellin)

12:00-14:00 Lunch break

Afternoon: Individual optional visit to the Castle or in forest

18:15-19:30 Cocktail in the campus

19:45-10:30 Special Dinner to Caveau des Ducs [moving by cars]

Thursday, July 22nd 2004

Morning: Logic and Decidability

09:00-10:15 (Invited talk) (Chair: Danièle Beauquier)
  Deciding nondeterministic hierarchy of deterministic tree automata
  by Damian Niwinski (Div of Mathematics, Informatics and Mechanics, Warsaw University, Poland)

10:15-10:30 Coffee/tea break

10:30-11:00 3 contributed papers (30 min each) (Chair: Igor Walukiewicz)

12:00-14:00 Lunch break

Afternoon: Logic, Model Theory and Definability

14:00-15:15 (Invited talk) (Chair: Felipe Cucker)
  Probabilistically checkable proofs over the reals
  by Klaus Meer (University of Southern Denmark, Odense, Denmark)

15:15-15:30 Coffee/tea break

15:30-16:30 2 contributed papers (30 min each) (Chair: Zofia Adamowicz)

16:00-17:15 (Invited talk) (Chair: Anatol Slissenko)
  Compositional Theorems
  by Alexander Rabinovich (School of Computer Science, Tel Aviv University, Israel)

17:15 CLOSING

Friday, July 23rd 2004 and Saturday 24th, 2004

Satellite Event: 2nd workshop on the Logic for Pragmatics, in Creteil

Last modified: July 18, 2004