Logic List Mailing Archive
Dutch Proof Tools Day, July 2004 (Nijmegen, NL)
**************************************************
*
* Dutch Proof Tools Day
* July 9 2004
* University of Nijmegen (CZ N4)
* www.cs.kun.nl/fnds/prooftools
*
**************************************************
The Foundations group of the NIII, University of Nijmegen will be
organising the Dutch Proof Tools Day 2004. The aim is to bring together
researchers that use (or develop) proof tools to discuss the use,
applicability and background of proof tools. More specifically, it
provides a forum for young researchers to get in touch with other proof
tools users and exchange experiences.
The talks will be in room CZ N4 (ground floor). See the website for
details on how to reach the campus, the building and the room.
We charge a fee of 10 Euros, covering coffee/tea, lunch, proceedings and
drinks. We will organise a dinner in the city of Nijmegen afterwards.
(This is not covered by the 10 Euros).
Please register in advance by sending a mail to prooftools@cs.kun.nl (and
please indicate whether you want to join the dinner).
=========================
=========================
============
Schedule
10h00 Coffee & Welcome
10h30 Michael Beeson, invited speaker (San Jos? State University), The
Quest for Certainty
11h15 Coffee
11h30 Hui Gao (Rijksuniversiteit Groningen), A Formal Reduction for
Lock-free Parallel Algorithms
12h00 Sara van Langenhove (U. Gent), Integrating Cadence SMV in the
Verification of UML Software
12h30 Lunch
14h00 Jacques Carette, invited speaker (McMaster University), An overview
of MathScheme
14h30 Arthur van Leeuwen (U. Utrecht), Theorem proving as a tool in a
programmer's toolkit
15h00 Lu?s Cruz-Filipe (K.U. Nijmegen), C-CoRN: The Constructive Coq
Repository at Nijmegen
15h30 Coffee
16h00 Femke van Raamsdonk (V.U. Amsterdam), Well-foundedness of the
recursive path ordering in Coq
16h30 Hans Zantema (T.U. Eindhoven), TORPA: Termination of Rewriting
Proved Automatically
17h00 Drinks & Discussion