Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

13 December 2002, Computing with LLI Seminar, Ian Hodkinson

Speaker: Ian Hodkinson
(IC London)
Title: Monodic fragments of first-order temporal logics
Date: Friday 13 December 2002
Time: 13:30
Location: Room G.018, Roeterseiland Complex, Amsterdam

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Dec13 .

Please note that this newsitem has been archived, and may contain outdated information or links.