2013

13-12-201312:00Mariangiola DezaniDipartimento di Informatica,Universita di Torino, ItalyOn the Preciseness of Subtyping in Session Types

11-10-2013 Workshop of CMS

9:30Pierre LescanneEcole Normale Superieure de Lyon, FranceCounting lambda terms in the Binary Lambda Calculus
10:30Silvia LikavecDipartimento di Informatica, Università di Torino, ItaliaShapes as property restrictions and property-based similarity
12:00José Espírito SantoCenter of Mathematics, University of Minho, PortugalCBN CBV and the intuitionistic asymmetry
15:00Luigi LiquoriINRIA-Sophia Antipolis Méditerranée, Francecanceled

Current Seminar CMS and past editions


Back