(r2) TravelDates < PG

PG Web>HiProofTactics>TravelDates (revision 2) (raw view)~~EditAttach~~

%TOC%

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

Topic revision: r2 - 25 May 2007 - 19:55:58 - DavidAspinall

Copyright © 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