| Registration 8:30 - 9:00 |
Registration Registration
|
| Session 1 9:00 - 10:30 |
Welcome and introduction (the organizers)
Invited Talk: Constructing Induction Rules for
Deductive Synthesis Proofs
Alan Bundy (based on the paper by Alan Bundy, Jeremy Gow, Jacques Fleuriot and Lucas Dixon) ESBC: an application for computing
stabilization bounds
Allesandro Avellone and Mauro Ferrari |
| Coffee |
|
| Session 2 11:00 - 12:30 |
A Constructive Modelling Language for
Object Oriented Information Systems
Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini and Alberto Momigliano Automatic Complexity Analysis for Programs
Extracted from Coq Proof,
Jean-Pierre Jouannaud and Weiwen Xu
Gallimaufry:An Automated Framework for Proving
Type-Safety
Anne Mulhern
|
| Lunch |
|
| Session 3 14:00 - 15:30 |
Specifications via Realizability
Andrej Bauer and Christopher Stone Constructive MDA
Iman Poernomo (organizer's talk -- not included in proceedings) Building new constructive logical systems
John Crossley (organizer's talk -- not included in proceedings) Workshop panel: applied constructive methods
|
| Coffee |
|
| Evening 19:30 |
Dinner
Dinner at the Royal Scots Club, Abercrombie Place
Situated in one of Edinburgh's finest Georgian streets the Royal Scots Club was founded in 1919 as a tribute to those who fell in The Great War. The building has an interesting architecture and houses a great variety of Scottish regimental memorabilia. |