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]

Tutorial Lectures to be given on the 19th of August

Programme

08:15-10:15 (with a 10min break)

Room 1

Models of Concurrency
by Rob van Glabbeek

Room 2

Nonmonotonic Consequence Relations
by Daniel Lehmann

(15min break)

10:30-12:30 (with a 10min break)

Room 1

Gurevich Abstract State Machines
by Yuri Gurevich

Room 2

New Applications of Domain Theory
by Abbas Edalat

(Lunch Break)

14:00-16:00 (with a 10min break)

Room 1

Categorical Logic and Classifying Toposes
by Peter Johnstone

Room 2

Unifying Truth and Validity Checking for Temporal Logics
by Moshe Vardi

(15min break)

16:15-18:15 (with a 10min break)

Room 1

Categorial Grammar
by Michael Moortgat

Room 2

Isomorphism Invariants of Countable Models of Arithmetic
by Roman Kossak

(15min break)

18:30-20:30 (with a 10min break)

Room 1

Situation Theory
by Keith Devlin