[isabelle] Last Call for Bids: TPHOLs'2009
LAST CALL FOR BIDS
For the moment there is only one bidder from Germany and if by April 21
there is no new bid sent to tphols08 at ece.concordia.ca, this bidder will
organize the 2009 conference.
Details of the bid:
contact person: Tobias Nipkow (nipkow at in.tum.de)
names of other people involved: Makarius Wenzel, Stefan Berghofer, Christian Urban
address of website for the bid: http://tphols.in.tum.de/
approximate dates of the conference: 17 to 20 August 2009
format of the conference: four days conference including a half-day excursion.
TPHOLs'2008 Organizing Committee
This archive was generated by a fusion of
Pipermail (Mailman edition) and