[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] Last Call for Bids: TPHOLs'2009
- To: acl2@xxxxxxxxxxxxx, coq-club@xxxxxxxxxxxxxxxxx, formal-methods@xxxxxxxxxxxxx, hol-info@xxxxxxxxxxxxxxxxxxxxx, isabelle-users@xxxxxxxxxxxx, nuprlnotes@xxxxxxxxxxxxxx, pvs@xxxxxxxxxxx, theorem-provers@xxxxxxxxxx, theory-logic@xxxxxxxxxx
- Subject: [PVS] Last Call for Bids: TPHOLs'2009
- From: Otmane Ait Mohamed <ait@xxxxxxxxxxxxxxxxx>
- Date: Sat, 12 Apr 2008 17:23:13 -0400 (EDT)
- Cc:
- List-archive: <http://lists.csl.sri.com/mailman/private/pvs>
- List-help: <mailto:pvs-request@csl.sri.com?subject=help>
- List-id: PVS <pvs.csl.sri.com>
- List-post: <mailto:pvs@csl.sri.com>
- List-subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>, <mailto:pvs-request@csl.sri.com?subject=subscribe>
- List-unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>, <mailto:pvs-request@csl.sri.com?subject=unsubscribe>
- Sender: pvs-bounces+archive=csl.sri.com@xxxxxxxxxxx
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@xxxxxxxxxxxxxxxx, this bidder will
organize the 2009 conference.
Details of the bid:
==================
contact person: Tobias Nipkow (nipkow@xxxxxxxxx)
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