Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PLMMS-2010 call for participation

Email Gateway (Aug 18 2022 at 15:32):

From: Lucas Dixon <ldixon@inf.ed.ac.uk>
[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

Last updated: Nov 21 2024 at 12:39 UTC