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.

19 October 2001, Computing with LLI seminar, Sandro Etalle

Speaker: Sandro Etalle (University of Twente)
Title: A proof-theoretic approach for the specification and the
validation of security protocols
Date: Friday 19 October 2001
Time: 13:30
Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166,
Amsterdam

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

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