**4th Workshop on
Logic, Language, Information and Computation (WoLLIC'97)
August 20-22, 1997
(Tutorial Day: August 19th)
**

**
Sponsored by
IGPL,
FoLLI,
ASL,
SBC
Funded by CAPES, CNPq, FINEP, FUNCAP
Organised by UFC, UFPE
**

[next page | previous page | main page]

**Morning**: *Logic and Language*

**08:30-09:45** (Invited talk) Chair: Yuri Gurevich

by

**09:45-09:55** Coffee/Tea break

**09:55-11:15** 4 contributed papers (20 min each) Chair:tba

by M. Alvarado and G. Nuñez

by Ph. de Groote

by G. Perrier

by P. Accuosto and D. Wonsever

**11:25-12:40** (Invited talk) Chair: Rob van Glabbeek

by

**Afternoon**: *Nonmonotonic Reasoning*

**14:00-15:15** (Invited talk) Chair: Keith Devlin

by

**15:15-15:25** Coffee/Tea break

**15:25-16:25** (Invited talk) Chair:tba

by

**16:25-17:45** 4 contributed papers (20 min each) Chair:tba

by C. A. Oller

by R. Pino Pérez and C. Uzcátegui

by E. L. Fermé and R. Rodriguez

by S. Konieczny and R. Pino Pérez

**18:00-19:15** (Invited talk) Chair: Roman Kossak

by

**20:30** *Welcome Reception/Cocktail*

**08:30-09:45** (Invited talk) Chair: Paulo Veloso

by

**09:45-09:55** Coffee/Tea break

**09:55-11:15** 4 contributed papers (20 min each) Chair:tba

by N. Ghani, V. de Paiva and E. Ritter

by D. Galmiche and B. Martin

by M. Finger

by H. Xi

**11:25-12:40** (Invited talk) Chair: Michael Moortgat

by

**Afternoon**: *Program Logic and Models of Concurrency*

**14:30-15:45** (Invited talk) Chair: Peter Johnstone

by

**15:45-15:55** Coffee/Tea break

**15:55-17:15** 4 contributed papers (20 min each) Chair:tba

by R. J. Coelho da Costa

by M. Korff and L. Ribeiro

by I. B. Virbitskaite and A. Votintseva

by I. B. Virbitskaite and I. V. Tarasyuk

**17:25-18:45** 4 contributed papers (20 min each) Chair:tba

by I. B. Virbitskaite and E. Pokozy

by J. K. Filipe

by T. Laan, P. Severi and J. Zwanenburg

by J. Pellegrini and J. Wainer

**08:30-09:45** (Invited talk) Chair: Abbas Edalat

by

**09:45-09:55** Coffee/Tea break

**09:55-11:15** 4 contributed papers (20 min each) Chair:tba

by A. Schönegge

by A. Prokhorov

by C. Hammond and R. Levinson

by J.-Y. Béziau

**11:25-12:40** (Invited talk) Chair: Daniel Lehmann

by

**Afternoon**: *Model Theory and Algebraic Logic*

**14:30-15:45** (Invited talk) Chair: Drew McDermott

by

**15:45-15:55** Coffee/Tea break

**15:55-17:15** 4 contributed papers (20 min each) Chair:tba

by M. V. Marshall and M. G. Schwarze

by J. C. Cifuentes

by J. P. Viana, S. R. M. Veloso and P. A. S. Veloso

by F. Protti and G. Zaverucha

**17:25-18:40** (Invited talk) Chair: Moshe Vardi

by

*Closing*