TWiki> PG Web>HiProofTactics>TravelDates (revision 3)EditAttach

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="8" year="2007" width="100%"}%
Edit | Attach | Print version | History: r5 < r4 < r3 < r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r3 - 28 May 2007 - 19:18:38 - ChristophLueth
 
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