6th Workshop on Logic, Language, Information and Computation
(WoLLIC'99)

May 25-28, 1999
(Tutorial Day: May 25th)

Hotel Simon, Itatiaia National Park, Rio de Janeiro, Brazil

(In conjunction with XII Encontro Brasileiro de Lógica - EBL'99)

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, Facoltà di Scienze, Univ. di Verona

Organisation
Departamento de Informática, Universidade Federal de Pernambuco (DI-UFPE
Facoltà di Scienze, Università degli Studi di Verona (Sci-Univr
Centro de Lógica, Epistemologia e História da Ciência, Univ. Campinas (CLEHC-UNICAMP)

Programme

Tuesday May 25th, 1999 (Tutorial Day)

Tutorials:

08:00-10:00 (with a 10min break)
   Introduction to Game Semantics
  by Samson Abramsky

10:00-10:15 Coffee/tea break

10:15-12:15 (with a 10min break)
  Markov Decision Processes and Bayesian Networks
  by Craig Boutilier

12:15-14:00 Lunch break

14:00-16:00 (with a 10min break)
   A Crash Course in Distributive Lattices
  by Francisco Miraglia

16:00-16:15 Coffee/tea break

16:15-18:15 (with a 10min break)
   Stability and Finite Model Theory
  by John Baldwin

18:15-18:30 Coffee/tea break

18:30-20:30 (with a 10min break)
   Bounded Arithmetic, Nonstandard Models
   by Alan Woods

Wednesday May 26th, 1999

Morning: Logic and Computation

08:30 OPENING

09:00-10:00 (Invited talk WoLLIC'99/EBL'99) Chair: John Baldwin
   Concurrent Games and Full Completeness
   by Samson Abramsky, Division of Informatics, Edinburgh University, United Kingdom

10:00-10:15 Coffee/tea break

10:15-11:15 3 contributed papers (20min each) Chair: Ruy de Queiroz

11:15-11:30 Coffee/tea break

11:30-12:30 (Invited talk EBL'99/WoLLIC'99) Chair: Antônio Carlos da Rocha Costa
   On Generic Reasoning and Ultrafilter Logic
   by Paulo Veloso, Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Brazil

12:30-14:00 Lunch break

Afternoon: Logic and Information

14:00-15:00 (Invited talk) Chair: Alan Woods
   Abstraction and Decomposition Techniques for Markov Decision Processes
   by Craig Boutilier, Department of Computer Science, University of British Columbia, Canada

15:00-15:15 Coffee/tea break

15:15-16:15 3 contributed papers (20min each) Chair: Ana Teresa de C. Martins

Thursday May 27th, 1999

Morning: Logic, Model Theory and Complexity Theory

09:00-10:00 (Invited talk WoLLIC'99/EBL'99) Chair: Francisco Miraglia
   Finite and Infinite Model Theory
   by John Baldwin, Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, USA

10:00-10:15 Coffee/tea break

10:15-11:15 3 contributed papers (20min each) Chair: E. Hermann Hauesler

11:15-11:30 Coffee/tea break

11:30-12:30 (Invited talk) Chair: Craig Boutilier
   Intrinsic theories: a methodology for reasoning about functional programs and their computational complexity
   by Daniel Leivant, Department of Computer Science, Indiana University, USA

12:30-14:00 Lunch break

Afternoon: Categorical Logic and Non-Classical Logics

14:00-15:00 (Invited talk WoLLIC'99/EBL'99) Chair: Samson Abramsky
   A Lattice-Theoretic Concept of Logical Connective
   by Francisco Miraglia, Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil

15:00-15:15 Coffee/tea break

15:15-16:15 3 contributed papers (20min each) Chair: Mario Benevides

Friday May 28th, 1999

Morning: Logic and Proof Theory

09:00-10:00 (Invited talk WoLLIC'99/EBL'99) Chair: Daniel Leivant
   Bounded Arithmetic from a Rational Perspective
   by Alan Woods, Department of Mathematics, University of Western Australia, Australia

10:00-10:15 Coffee/tea break

10:15-11:15 3 contributed papers (20min each) Chair: Luiz Carlos Pereira

11:15-11:30 Coffee/tea break

11:30-12:30 (Invited talk EBL'99/WoLLIC'99) Chair: Tarcísio Pequeno
   (title to be announced)
   by Itala D'Ottaviano, Centro de Lógica, Epistemologia e História da Ciência, Universidade Estadual de Campinas, Brazil

12:30 CLOSING


Last modified: May 31, 1999, 16:21:40 GMT-0300.