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.

30 January 2015, Master of Logic defense, Johannes Emerich

Candidate: Johannes Emerich
Title: Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch
Date: Friday 30 January 2015
Time: 09:30 - 11:00
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Dr. Benno van den Berg (University of Amsterdam) and Dr. Tijs van der Storm (CWI, Amsterdam)
For more information, please contact

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