Dates

  • 08 Jun 2007 - 11 Jun 2007 - Ewen: Long weekend

  • 04 Jun 2007 - 07 Jun 2007 - David: Dublin
  • 11 Jun 2007 - 14 Jun 2007 - David: INRIA
  • 15 Jun 2007 - 23 Jun 2007 - David: Chambery
  • 23 Jun 2007 - 01 Jul 2007 - David, Christoph: MKM
  • 16 Jul 2007 - 19 Jul 2007 - David: Isabelle WS
  • 20 Aug 2007 - 24 Aug 2007 - David: CALCO (maybe)
  • 24 Oct 2007 - 26 Oct 2007 - David: FMCO

  • 29 May 2007 - 30 May 2007 - Christoph: Fürstenfeldbruck (near Munich)

Meetings/conferences

  • 16 Jul 2007 - Isabelle workshop
  • 17 Jul 2007 - 20 Jul 2007 - CADE
  • 11 Sep 2007 - 14 Sept 2007 - TPHOLS
  • 20 Aug 2007 - 24 Aug 2007 - CALCO

June

%CALENDAR{month="6" year="2007" width="100%"}%

July

%CALENDAR{month="7" year="2007" width="100%"}%

August

%CALENDAR{month="8" year="2007" width="100%"}%

September

%CALENDAR{month="9" year="2007" width="100%"}%
Topic revision: r5 - 19 Jun 2007 - 11:56:13 - DavidAspinall
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies