coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Bas Spitters <B.Spitters AT cs.ru.nl>
- To: coq-club AT pauillac.inria.fr, TYPES <types AT cis.upenn.edu>, Map AT mozart.ujf-grenoble.fr, fom AT cs.nyu.edu, isabelle-users AT cl.cam.ac.uk, cca-list AT fernuni-hagen.de, coalgebras AT iti.cs.tu-bs.de, comprox AT doc.ic.ac.uk, reliable_computing AT interval.louisiana.edu
- Subject: [Coq-Club] CfP: Workshop: Constructive analysis, types and exact real numbers
- Date: Wed, 6 Jul 2005 13:13:31 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Call for presentations/ participation:
Small TYPES workshop
"Constructive analysis, types and exact real numbers."
3/4 October 2005
Nijmegen, the Netherlands
Deadline for registration: September 1st 2005.
* Call for Papers: Special issue of Mathematical structures in computer
science.
* Call for Participation: Many digits competition for exact real arithmetic
============================================================
The workshop will be held at the campus of the Radboud University Nijmegen
(formerly known as University of Nijmegen or Catholic University of
Nijmegen). This workshop is part of the TYPES project
(http://www.cs.chalmers.se/Cs/Research/Logic/Types/)
Topics include, but are not limited to:
* the development of constructive analysis in type theory
* program extraction from such developments
* exact real number computation
* co-inductive methods for continuous structures
* semantics for real computations (e.g. domain theory, formal topology)
Invited speakers:
Martín Escardó and Norbert Müller
Homepage:
http://www.cs.ru.nl/fnds/typesreal/
Deadline for registration:
September 1st 2005.
Organizers:
Herman Geuvers
Nicole Messink
Milad Niqui
Bas Spitters
Freek Wiedijk
==========================================================
Special issue of Mathematical Structures in Computer Science
There will be a special issue of the MSCS on the topic of the workshop.
The proceedings will, of course, be fully refereed according to the standards
of MSCS. Submission is not limited to the participants of the workshop.
Schedule:
1 December 2005 Deadline for submission
1 April 2006 Notification of acceptance
1 June 2006 The final versions of the papers are due.
Guest editors:
Herman Geuvers
Milad Niqui
Bas Spitters
Freek Wiedijk
Please contact Bas Spitters
(spitters AT cs.ru.nl)
if you need more information.
==========================================================
The "many digits" friendly competition on exact real arithmetic will be held
in conjunction with the above mentioned workshop. See
http://www.cs.ru.nl/~milad/manydigits/ for more information.
- [Coq-Club] CfP: Workshop: Constructive analysis, types and exact real numbers, Bas Spitters
Archive powered by MhonArc 2.6.16.