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

2018 2017 2016 2015 2014 2011 2010 2009 2008 2007 2006

Seminar CMS