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.

10 December 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Sandro Etalle (Twente University)

Speaker: Sandro Etalle (Twente University)
Title: A constraint based system for the verification of security
protocols.
Date: Tuesday 10 December 2002
Time: 14:15-16:00
Location: TU Eindhoven, HG 6.96

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne ().

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