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 December 2007, PROSE Colloquium, Cas Cremers

Speaker: Cas Cremers
Title: On the Protocol Composition Logic PCL.
Date: Thursday 20 December 2007
Time: 15:30-16:30
Location: Room 6.96, HG (Main Building), TU Eindhoven

For more information, see http://www.win.tue.nl/prose/

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