Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
PLMMS-2010 call for participation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Lucas Dixon <ldixon@i...>
Subject: 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:


(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)


    the PLMMS 2010 web site

    the CICM 2010 conference web site

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.