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.

25 October 2007, PROSE Colloquium, Muck van Weerdenburg

Speaker: Muck van Weerdenburg
Title: Structural Operational Semantics with First-Order Logic
Date: Thursday 25 October 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.