4th Workshop on Logic, Language, Information and Computation (WoLLIC'97)
August 20-22, 1997
(Tutorial Day: August 19th)
Ponta Mar Hotel, Fortaleza (Ceará), Brazil

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

[next page | previous page | main page]


Programme

Tuesday August 19th, 1997: Tutorial Day

Wednesday August 20th, 1997

08:15: Opening

Morning: Logic and Language

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

09:45-09:55 Coffee/Tea break

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

11:15-11:25 Coffee/Tea break

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

Afternoon: Nonmonotonic Reasoning

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

15:15-15:25 Coffee/Tea break

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

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

17:45-18:00 Coffee/Tea break

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

20:30 Welcome Reception/Cocktail

Thursday August 21st, 1997

Morning: Categorical Logic and Semantics of Computation

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

09:45-09:55 Coffee/Tea break

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

11:15-11:25 Coffee/Tea break

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

Afternoon: Program Logic and Models of Concurrency

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

15:45-15:55 Coffee/Tea break

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

17:15-17:25 Coffee/Tea break

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

Friday August 22nd, 1997

Morning: Logic and Complexity Theory

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

09:45-09:55 Coffee/Tea break

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

11:15-11:25 Coffee/Tea break

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

Afternoon: Model Theory and Algebraic Logic

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

15:45-15:55 Coffee/Tea break

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

17:15-17:25 Coffee/Tea break

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

Closing