>

Program Specification and Proof

2009-2010

normally thursday 9:30am -- 12:20am, room I107
(requested equipment: X terminals + video [+ wifi])

created 5 October 2009 by pyg from last year , last edition 2 December 2009

Resources

Timetable (official edt gl | semi-official GL eirb'elec)
Evaluation now open! (demande d'authentification)
IT304-IT305 < Google group (access restricted to members)

22 GL students invited, invitation subject to Google approval

Library

Sessions

Session 1: Thursday 8 October 2009 - 9:30am--12:20am - I107
Session 2: Thursday 22 October 2009 - 9:30am--12:20am - I107
Session 3: Thursday 29 October 2009 - 9:30am--12:20am - I107
Session 4: Thursday 12 November 2009 - 9:30am--12:20am - I107
Session 5: Thursday 19 November 2009 - 9:30am--12:20am - I107
Session 6: Thursday 3 December 2009 - 9:30am--12:20am - I107
Session 7: Thursday 10 December 2009 - 9:30am--12:20am - I107

Coq initiation, by Paul Brauner (LORIA, LaBRI, ENSEIRB-MATMECA)

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