News and Events: Upcoming Events

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.