[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Participation---the preliminary programme is now available:
http://corcon2014.net/programme/
Definite deadline for registration: 13 March 2014
(University of Padua)
Eugenio Moggi (University of Genoa)
Mizuhito Ogawa (JAIST, Japan)
Erik Palmgren (Stockholm University)
John Stell (University of Leeds)
Michael Rathjen (University of Leeds)
Giuseppe Rosolini (University of Genoa)
Giovanni Sambin