[Apologies for possible multiple postings.] ------------------------------------------------------------------- CALL FOR PARTICIPATION ------------------------------------------------------------------- In co-operation with ACM SIGSAM, the International Workshop on
Programming Languages for Mechanized Mathematics Systems (PLMMS 2010) 8th of July 2010 Co-located with Conferences in Intelligent Computer Mathematics (CICM), including Calculemus, AISC and MKM; at CNAM, Paris. ------------------------------------------------------------------- The scope of the workshop is the intersection of programming languages and mechanized mathematics systems. This includes programming languages and aspects of present-day computer algebra systems, interactive proof assistants, and automated theorem provers, all heading towards fully integrated mechanized mathematical assistants. Registration for PLMMS and other CICM events is now open: http://cicm2010.cnam.fr/registration.html (PLMMS is on the 8th July 2010) Invited Speakers ================ Mechanized Mathematics -- Jacques Carette Beluga: programming with contextual data, contexts, and ... -- Brigitte Pientka The Abella Interactive Theorem Prover -- Andrew Gacek Can we make Mathematics universal as well as fully reliable? -- Pierre Cartier Contributed Talks ================= CTP-based program languages? Considerations about an experimental design -- Walther Neuper, Cezary Kaliszyk and Florian Haftmann Isabelle/ML vs. Isabelle/Scala -- Makarius Wenzel transalpyne: a language for automatic transposition -- Luca De Feo and Eric Schost LEMA: Towards a language for reliable arithmetic -- Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol The PIDE project -- Burkhart Wolff Recent Developments in Omega's Proof Search Programming Language -- Serge Autexier and Dominik Dietrich Program Committee ================= * Thorsten Altenkirch (University of Nottingham, UK) * Serge Autexier (DFKI, Germany) * David Delahaye (CNAM, Paris, France) * James Davenport [PC co-chair] (University of Bath, UK) * Lucas Dixon [PC co-chair] (University of Edinburgh, UK) * Gudmund Grov (University of Edinburgh, UK) * Ewen Maclean (University of Herriot Watt, UK) * Dale Miller (INRIA, France) * Gabriel Dos Reis (Texas A&M University, USA) * Carsten Schuermann (IT University of Copenhagen, Denmark) * Tim Sheard (Portland State University, USA) * Sergei Soloviev (IRIT, Toulouse, France) * Stephen Watt (The University of Western Ontario, Canada) * Makarius Wenzel (ITU Munich, Germany) * Freek Wiedijk (Radboud University Nijmegen, Netherlands) Links ===== * http://dream.inf.ed.ac.uk/events/plmms-2010/ the PLMMS 2010 web site * http://cicm2010.cnam.fr/ the CICM 2010 conference web site -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs