Journée « interfaces » du 27 octobre 2010
Venue: Salle Verte 2, 5th floor, 23 avenue d'Italie, Paris (antenne parisienne de Paris-Rocquencourt)
10:15-10:30
10:30-12;30
- Makarius - Isabelle/Scala (other material on Isabelle/Scala by Burkhart Wolff)
- Tom Hutchinson - Communication between Coq and external tools
14:00-17:00
- Enrico Tassi - Matita's user interaction
- Vincent Gross - The separation of Coq and CoqIDE
- Time for discussion on what to do and what can be done about interfaces
Welcome coffee from 9:45