Please note that this newsitem has been archived, and may contain outdated information or links.
30 January 2015, Master of Logic defense, Ignas Vysniauskas
Candidate: Ignas Vysniauskas
Title: Pi-dist: Towards a Typed Pi-calculus for Distributed Programming
Date: Friday 30 January 2015
Time: 11:00-12:30.
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Dr. Benno van den Berg (University of Amsterdam) and Dr Wouter Swierstra (Utrecht University)
For more information, please contact G.Beekelaar at uva.nl
Please note that this newsitem has been archived, and may contain outdated information or links.