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.

20 February 2004, Language and Inference Technology (LIT) Seminar, Bart Jacobs

Speaker: Bart Jacobs
(Nijmegen)
Title: Formal Methods for Smart Cards: an experience report
Date: Friday 20 February 2004
Time: 13:30
Location: Room G1.03, Gebouw G, Nieuwe Prinsengracht 130, Amsterdam

For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#Feb20 .

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