The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Isaac Newton Institute for Mathematical Sciences

Formal and Computational Cryptographic Proofs

10 - 13 April 2012

Organisers: Nigel Smart (Bristol) and Shafi Goldwasser (MIT)

in association with the Newton Institute programme Semantics and Syntax: A Legacy of Alan Turing
(9 January - 6 July 2012)

Workshop Homepage | Programme | Participants | Application


There is a registration fee of £100 (reduced to £50 for students) which includes admission to all seminars, refreshments, reception, formal dinner and programme but does not include other meals or accommodation. For lunches, all 'registration fee only' workshop participants are welcome to use the dining facilities at Wolfson Court, adjacent to the Institute building, and can purchase a dining card on arrival.

The accommodation package is no longer availible as all reserved accommodation has now been booked. Participants applying are advised to seek accommodation locally. A list of hotels and guesthouses is available here.

Lunches will be served at Wolfson Court, adjacent to the Newton Institute.

Applications are particularly welcomed from early career researchers and those from under-represented groups. Funding may be available to support attendance, including from the Institute's Junior Membership scheme for eligible participants.

Information for Conference Participants | Local Information | Newton Institute Map | Newton Institute Home Page