>

Proof assistants

created 5 October 2009 by pyg from last year, last edition 7 December 2009
normally in room I107 on Monday from 4:10pm to 6:10pm

Resources

Timetable (official edt gl | semi-official GL eirb'elec)
Evaluation now open! | Enquête qualité
IT304-IT305 < Google group (access restricted to members)

22 GL students invited, invitation approved by Google, please subscribe under your ENSEIRB MATMECA address if possible

Library ("médiathèque" for proof assistants)
PVS and its exercises
Coq
Mini-Project now open!

[see also last year mini-project]

Sessions

Session 1 - PVS - Monday 5 October 2009
Session 2 - PVS - Monday 12 October 2009
Session 3 - PVS - Monday 19 October 2009
Session 4 - PVS - Monday 26 October 2009
Session 5 - PVS - Monday 2 November 2009
Session 6 - PVS - Monday 9 November 2009
Session 7 - PVS - Monday 16 November 2009
Session 8 - PVS - Monday 23 November 2009
Session 9 - PVS - Monday 14 December 2009, room I115

2008-2009 | 2007-2008 | 2006-2007 | 2005-2006 | 2004-2005 | 2003-2004 | 2002-2003 | 2001-2002 | 2000-2001 | 1999-2000 archives
© Copyright 2001-3000 Paul Y Gloess