[TYPES/announce] CALL FOR PAPERS: TPHOLs 2009
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
on Programming Languages for Mechanized Mathematics Systems (PLMMS) - Coq Users Meeting - Isabelle Developers Workshop Organizers -- Stefan Berghofer Tobias Nipkow Christian Urban Makarius Wenzel