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 September 2015, Master of Logic defense, Francesco Gavazzo

Candidate: Francesco Gavazzo
Title: Investigations into Liner Logic with Fixed-Point Operators
Date: Wednesday 30 September 2015
Time: 12:00
Location: Room F1.15, ILLC, Science Park 107, Amsterdam
Supervisor: Giuseppe Greco and Dick de Jongh
For more information, please contact

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