Differences to preliminary call:
- Registration is now open, for conference and associated workshops
- Reservation for student dorm rooms now open (part of registration)
- Technical Program now available on the web page
-------------------------------------------------------------
3rd International Conference on Interactive Theorem Proving
August 13 - 15, 2012, Princeton, NJ
itp2012.cs.princeton.edu
with colocated workshops on Coq and Isabelle on August 12th.
Registration is now available via the conference web page, including the
option to book accommodation in a student dormitory. See below for fees etc.
Highlights of the conference:
-----------------------------
- Pre-conference reception Sunday, August 12th;
open to conference and workshop participants.
- Start of technical program: 9am, Monday August 13th
- 3 invited speakers:
Gilles Barthe (IMDEA Madrid):
Computer-aided Cryptographic Proofs
Larry Paulson (Cambridge):
MetiTarski: Past and Future
Andre Platzer (CMU):
Differential Dynamic Logic and Differential Invariants for Hybrid
Systems
- Tutorial on Abella by Andrew Gacek (Rockwell Collins)
- 21 technical papers, 4 rough diamonds
- Outdoor event: canoeing/kayaking on the Delaware & Raritan Canal
- BBQ at the shore of Carnegie Lake
- End of conference: around 5pm, Wednesday August 15th
- A detailed schedule of presentations is available on the conference web site
Associated workshops (August 12):
---------------------------------
Isabelle Users Workshop 2012 (www21.in.tum.de/~nipkow/Isabelle2012)
The 4th Coq Workshop (coq.inria.fr/coq-workshop/2012)
Accommodation options (please see conference web page for details):
-------------------------------------------------------------------
- Hotel: Nassau Inn (nassauinn.com): $135pppn + Tax, incl breakfast
Booking is under the responsibility of the conference attendees.
Please mention "ITP 2012" when making a reservation to obtain the
above rate.
- Student Dormitory: "Scully Hall": $60pppn incl breakfast.
Room reservation is part of conference registration process.
Travel (again see conference web page for details):
---------------------------------------------------
We strongly recommend flying to/from Newark International
Airport (Airport code: EWR). Other airports in the area (JKF, La
Guardia, Philadelphia) are possible but significantly less convenient.
Conference registration (follow "Registration" link on web page):
-------------------------------------------------------------------
Early registration fees (until July 22nd):
Workshops only Conference Conference + WS
Regular 100$ 350$ 400$
Student 70$ 200$ 250$
Registration after July 22nd: additional USD 50 in each category.
The cancellation policy is outlined on the web page.
Chairs
------
Andrew Appel, Lennart Beringer, Amy Felty
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
