[Caml-list] PLMMS-2010 call for participation

[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