|
About
Conferences
Colloquium
Workshops
Practical
|
PATE 2007 Programme
Monday, June 25, 2007
Monday, June 25
| 8:15 - 9:00 |
|
Arrival of participants and registration |
PATE Sesssion 1 (Room 35-3-35)
| 9:00 - 10:00 |
|
Bill Farmer. The Use of Formal Reasoning Technology in Mathematics Education: Opportunities and Challenges. (Invited talk) |
| 10:00 - 10:30 |
|
Claudio Sacerdoti Coen and Enrico Zoli. A Note on Formalising Undefined Terms in Real Analysis. |
| 10:30 - 11:00 |
|
Coffee Break |
PATE Session 2 (Room 35-3-35)
| 11:00 - 11:30 |
|
Agnieszka Kozubek and Pawel Urzyczyn. In the search of a naive type theory. |
| 11:30 - 12:00 |
|
Adam Naumowicz. How to Teach to Write a Proof. |
| 12:00 - 12:30 |
|
Serge Autexier and Marc Wagner. Status Report on the Tight Integration of a Scientific Text-Editor and a Proof Assistance System. |
PATE Session 3 (Room 35-3-35)
| 14:00 - 14:30 |
|
Jérémy Blanc, André Hirschowitz, Loïc Pottier. Proofs for freshmen with Coqweb. |
| 14:30 - 15:00 |
|
Cezary Kaliszyk, Freek Wiedijk, Maxim Hendriks, Femke van Raamsdonk. Teaching logic using a state-of-the-art proof assistant. |
| 15:00 - 15:30 |
|
Jakub Sakowicz and Jacek Chrzaszcz. Papuq: a Coq assistant. |
| 15:30 - 16:00 |
|
Coffee Break |
PATE Session 4 (Room 35-3-35)
| 16:00 - 17:00 |
|
René David and Christophe Raffalli. Some considerations about proof assistants for education. |
webmaster at rdp07 dot org
|