[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Deadline Extension for TPHOLs 2009

To: pvs@xxxxxxxxxxx
Subject: [PVS] Deadline Extension for TPHOLs 2009
From: Christian Urban <urbanc@xxxxxxxxx>
Date: Tue, 03 Mar 2009 12:14:48 +0100
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
User-agent: Internet Messaging Program (IMP) H3 (4.1.6)

Due to popular demand, the TPHOLs 2009 DEADLINE has been EXTENDED to

Friday 13/3/09, 23:59 Somoan time (= UTC-11)

ABSTRACTS MUST still be submitted by Sunday 8/3/09, 23:59 Somoan time.

http://tphols.in.tum.de/

Prev by Date: [PVS] CFP: International Symposium on Intelligent Distributed Computing (IDC 2009)
Next by Date: [PVS] DCM 2009 - 11 July, Rhodes, Greece
Previous by thread: [PVS] [ISBRA-L] CIGE'09 Call for abstracts -- submission deadline March 16, 2009
Next by thread: [PVS] DCM 2009 - 11 July, Rhodes, Greece
Index(es):
- Date
- Thread