WoLLIC'2002
9th Workshop on Logic, Language, Information and Computation

July 30 to August 2, 2002

Rio de Janeiro, Brazil

Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
European Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)

Funding
CAPES, CNPq, Microsoft

Organisation
Centro de Informática, Universidade Federal de Pernambuco (CIn-UFPE)
Departamento de Filosofia, Pontifícia Universidade Católica do Rio de Janeiro (FIL-PUC-Rio)
Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro (DI-PUC-Rio)


Programme


Tuesday, July 30th, 2002 (Tutorial Day)

Tutorials:

08:15-10:15 (with a 10min break) Chair: Igor Walukiewicz
  Some model theory of ordered structures
  by Ricardo Bianconi (Departamento de Matemática, Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil)

10:15-10:30 Coffee/tea break

10:30-12:30 (with a 10min break) Chair: Gopalan Nadathur
  Computing with Real Numbers
  by Felipe Cucker (Department of Mathematics, City University of Hong Kong, People's Republic of China)

12:30-14:00 Lunch break

14:00-16:00 (with a 10min break) Chair: Rohit Parikh
  Model Checking Games
  by Erich Grädel (Mathematische Grundlagen der Informatik, RWTH Aachen, Germany)

16:00-16:15 Coffee/tea break

16:15-18:15 (with a 10min break) Chair: Felipe Cucker
  Automata theory and logic: Tutorial
  by Igor Walukiewicz (Bordeaux University, France)

Wednesday, July 31st, 2002

Morning: Logic and Language

08:00-08:30 OPENING

08:30-10:30 (with a 10min break) (Tutorial) Chair: Erich Grädel

  States of Knowledge (Tutorial)
  by Rohit Parikh (Department of Computer and Information Science, Brooklyn College, City University of New York, USA)

10:30-10:45 Coffee/tea break

10:45-11:55 2 contributed papers (35min each) Chair: Mauricio Ayala-Rincón

11:55-13:10 (Invited talk) Chair: Rohit Parikh

  On sparseness and Turing reducibility over the reals
  by Felipe Cucker (Department of Mathematics, City University of Hong Kong, People's Republic of China)

13:10-14:30 Lunch break

Afternoon: Proof Theory

14:30-16:30 (with a 10min break) (Tutorial) Chair: Felipe Cucker

  The Metalanguage Lambda Prolog and its Implementation
  by Gopalan Nadathur (Department of Computer Science, University of Minnesota, USA)

16:30-16:45 Coffee/tea break

16:45-18:30 3 contributed papers (35min each) Chair: Luiz Carlos Pereira

Thursday, August 1st, 2002

Morning: Logic and Knowledge Representation

08:30-09:45 (Invited talk) Chair: Ricardo Bianconi

  States of Knowledge
  by Rohit Parikh (Department of Computer and Information Science, Brooklyn College, City University of New York, USA)

09:45-10:00 Coffee/tea break

10:00-11:10 2 contributed papers (35min each) Chair: Mario Benevides

11:10-11:25 Coffee/tea break

11:25-12:40 (Invited talk) Chair: Erich Grädel

  The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations
  by Gopalan Nadathur (Department of Computer Science, University of Minnesota, USA)

12:40-14:30 Lunch break

Afternoon: Logic and Computation Theory

14:30-15:45 (Invited talk) Chair: Ricardo Bianconi

  Deciding low levels of tree-automata hierarchy
  by Igor Walukiewicz (Bordeaux University, France)

15:45-16:00 Coffee/tea break

16:00-17:10 2 contributed papers (35min each) Chair: Edward Hermann Haeusler

17:10-17:25 Coffee/tea break

17:25-18:35 2 contributed papers (35 min each) Chair: Ruy de Queiroz

Friday, August 2nd, 2002

Morning: Logic, Model Theory, and Definability

08:00-09:15 (Invited talk) Chair: Igor Walukiewicz

  Model Checking Games for Fixed Point Logics
  by Erich Grädel (Mathematische Grundlagen der Informatik, RWTH Aachen, Germany)

09:15-09:30 Coffee/tea break

09:30-11:15 3 contributed papers (35min each) Chair: Fairouz Kamareddine

11:15-11:30 Coffee/tea break

11:30-12:45 (Invited talk) Chair: Gopalan Nadathur

  Definability in o-minimal expansions of the real numbers
  by Ricardo Bianconi (Departamento de Matemática, Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil)

12:45 CLOSING


Last modified: July 29, 2002, 16:30:27 GMT-0300.