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

• 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%"}%