[TYPES/announce] CALL FOR PAPERS: TPHOLs 2009

2008-11-06 Thread Stefan Berghofer
University Sofiène Tahar Concordia University Laurent Théry INRIA Christian Urban (co-chair) TU München Freek Wiedijk Radboud University Nijmegen Organizers -- Stefan Berghofer Tobias Nipkow Christian Urban Makarius Wenzel

[TYPES/announce] TPHOLs'09 Last Call for Papers

2009-02-04 Thread Stefan Berghofer
on Programming Languages for Mechanized Mathematics Systems (PLMMS) - Coq Users Meeting - Isabelle Developers Workshop Organizers -- Stefan Berghofer Tobias Nipkow Christian Urban Makarius Wenzel