[Agda] ITP2012: call for participation

[Lennart Beringer]

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