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

Situation Theory
by Keith Devlin
New Applications of Domain Theory
by Abbas Edalat
Models of Concurrency
by Rob van Glabbeek
Gurevich Abstract State Machines
by Yuri Gurevich
Categorical Logic and Classifying Toposes
by Peter Johnstone
Isomorphism Invariants of Countable Models of Arithmetic
by Roman Kossak
Nonmonotonic Consequence Relations
by Daniel Lehmann
Categorial Grammar
by Michael Moortgat
Unifying Truth and Validity Checking for Temporal Logics
by Moshe Vardi