ITP 2013, 4th Conference on
Interactive Theorem Proving

Package (conference + workshop) - from July, monday 22 to friday 26, 2013

Fees per person include: admission to the workshop and conference sessions, USB key or printed proceedings, 5 lunches, breaks and social events.

Conference only - from July, tuesday 23 to friday 26, 2013

Fees per person include: admission to the workshop and conference sessions, USB key or printed proceedings, 4 lunches, breaks and social events.

Workshop only - July, monday 22, 2013

Fees per person include: admission to the workshop sessions,  one lunch and breaks.

Extra social event for accompanying person - Mont Saint-Michel guided tour and gala dinner

Registration

* Please note that a copy of the student card is required for all student registrations.

Author registration.

At least one author of each accepted paper must register to ensure that it is included in the conference program and the proceedings. The deadline for author registration is May 21, 2013. Papers that do not have an associated registered author by this date will not be included in the proceedings.

Cancellation policy

Only written cancellation will be taken into account.
Please note that 50 € as cancellation / administrative charge will be retained for cancellation before June 18, 2013. No refund after this date.

Registration form

Please use the web-based registration form with online payment on a secure website.
Please use one form per attendee.