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.

25 October 2002, Computing with LLI Seminar, Massimo Franceschet

Speaker: Massimo Franceschet
(Amsterdam)
Title: Model checking methods and tools for hybrid logics
Date: Friday 25 October 2002
Time: 13:30
Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

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