[TYPES/announce] Thematic trimester at IHP - Workshop Formalization of Mathematics in Proof Assistants

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, We are pleased to announce the workshop « Formalization of Mathematics in Proof Assistants » organized from May 5th to May 9th, 2014 by • Georges Gonthier (Microsoft

[TYPES/announce] thematic trimester at IHP -- talks of the first week online

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, We are happy to announce that the talks of the first week of the thematic trimester « Semantics of Proofs and Certified Mathematics » are available online on the

[TYPES/announce] Kick-off meeting -- IHP thematic trimester -- Tuesday April 22

-paris-diderot.fr/SOGo/so/curien/Mail/0/folderDrafts/newDraft1384694494-1/edit# The organisers Pierre-Louis Curien cur...@pps.univ-paris-diderot.fr Hugo Herbelin hugo.herbe...@inria.fr Paul-Andre Mellies mell...@pps.univ-paris-diderot.fr

[TYPES/announce] LOLA 2010 -- call for contributed talks

(Indiana University) * Nick Benton (MSR Cambridge, co-chair) * Lars Birkedal (IT University of Copenhagen) * Dan Ghica (University of Birmingham) * Paul-Andre Mellies (CNRS University Paris Diderot, co-chair) * François Pottier (INRIA Rocquencourt) * Ulrich