VS2W01
4 July 2022 to 8 July 2022
PLEASE NOTE:
Due to conflicting conferences elsewhere, we have decided to concentrate the 'Tools and experiments for verified software' (VS2W02) workshop activities into the 'From theory to practice' (VS2W01) workshop.
The 'From theory to practice' (VS2W01) workshop title has been updated to 'Vistas in Verified Software' (VS2W01).
Software is playing an increasingly critical role in government, finance, transportation, communication, commerce, and entertainment. Errors in software can have catastrophic consequences leading to loss of life, property, and even identity. Computing theory is crucial to the construction of error-free software through the study of specification and programming languages, and the development of analysis, synthesis, and verification tools and techniques. The workshop features invited talks from distinguished researchers spanning machine learning, distributed systems, concurrency, networking, cyber-physical systems, programming languages, and program analysis.
The goal of the workshop is to identify opportunities where theoretical advances can yield major practical breakthroughs in the construction of verified software.
Registration Only
The Registration Package includes admission to all seminars, lunches and refreshments on the days that lectures take place (Monday - Friday), wine reception and formal dinner, but does not include other meals or accommodation.
Registration and Accommodation
The Accommodation Package includes a registration fee, bed and breakfast accommodation at Churchill College from the evening of Sunday to breakfast on Saturday, together with lunches and refreshments during the days that lectures take place (Monday - Friday). The formal dinner is also included, but no other evening meals
Formal Dinner Only
Participants on the Accommodation Package or Registration Package, including organisers and speakers, are automatically included in this event. For all remaining participants who would like to attend, such as programme participants, the above charge will apply.
Accommodation
Accommodation in single study bedrooms with shared facilities and breakfast are provided at Churchill College.
Lunch Lunch timings and location will be confirmed with timetable.
Evening Meal Participants are free to make their own arrangements for dinner.
Formal Dinner The Formal Dinner location and date is to be confirmed.
Participants on the Accommodation Package or Registration Package, including organisers and speakers, are automatically included in this event.
Monday 4th July 2022 | |||
---|---|---|---|
09:00 to 09:55 | No Room Required | ||
09:55 to 10:00 |
Christie Marr Isaac Newton Institute |
No Room Required | |
10:00 to 11:00 |
Daniel Kroening University of Oxford |
Room 1 | |
11:00 to 11:15 | No Room Required | ||
11:15 to 12:15 |
Viktor Kuncak EPFL - Ecole Polytechnique Fédérale de Lausanne |
Room 1 | |
12:15 to 13:30 | No Room Required | ||
13:30 to 14:30 |
Philippa Gardner Imperial College London |
Room 1 | |
14:30 to 15:30 |
David Basin ETH Zürich |
Room 1 | |
15:30 to 16:00 | No Room Required | ||
16:00 to 17:00 | Room 1 | ||
17:00 to 18:00 | No Room Required |
Tuesday 5th July 2022 | |||
---|---|---|---|
09:30 to 10:30 |
Bernhard Möller Universität Augsburg |
Room 1 | |
10:30 to 11:00 | No Room Required | ||
11:00 to 12:00 |
Andrey Rybalchenko Microsoft (UK) |
Room 1 | |
12:00 to 13:30 | No Room Required | ||
13:30 to 14:30 |
Mukesh Tiwari University of Cambridge ; Timothy Griffin University of Cambridge; Cambridge Computer Laboratory |
Room 1 | |
14:30 to 15:30 |
Moshe Vardi Rice University |
Room 1 | |
15:30 to 16:00 | No Room Required | ||
16:00 to 17:00 |
Gregory Malecha Bed Rock Systems |
Room 1 | |
Wednesday 6th July 2022 | |||
---|---|---|---|
09:30 to 10:30 |
Andrew Appel Princeton University |
Room 1 | |
10:30 to 11:00 | No Room Required | ||
11:00 to 12:00 |
Peter Müller ETH Zürich |
Room 1 | |
12:00 to 13:30 | No Room Required | ||
13:30 to 14:30 |
Bart Jacobs KU Leuven |
Room 1 | |
14:30 to 15:30 |
Sergey Bratus Defense Advanced Research Projects Agency (DARPA) |
Room 1 | |
15:30 to 16:00 | No Room Required | ||
16:00 to 17:00 |
Byron Cook Amazon; University College London |
Room 1 | |
19:30 to 22:00 | No Room Required |
Thursday 7th July 2022 | |||
---|---|---|---|
09:30 to 10:30 |
Dirk Beyer Ludwig-Maximilians-Universität München |
Room 1 | |
10:30 to 11:00 | No Room Required | ||
11:00 to 12:00 |
Cristian Cadar Cadar |
Room 1 | |
12:00 to 13:30 | No Room Required | ||
13:30 to 14:30 |
Peter Sewell University of Cambridge |
Room 1 | |
14:30 to 15:30 |
Nikhil Swamy |
Room 1 | |
15:30 to 16:00 | No Room Required | ||
16:00 to 17:00 | Room 1 |
Friday 8th July 2022 | |||
---|---|---|---|
09:30 to 10:30 |
Caterina Urban INRIA |
Room 1 | |
10:30 to 11:00 | No Room Required | ||
11:00 to 12:00 |
Mooly Sagiv Tel Aviv University |
Room 1 | |
12:00 to 13:30 | No Room Required | ||
13:30 to 14:30 |
Philip Wadler University of Edinburgh |
Room 1 | |
14:30 to 15:30 |
Thomas Henzinger IST Austria |
Room 1 | |
15:30 to 16:00 | No Room Required | ||
16:00 to 17:00 |
Neel Krishnaswami University of Cambridge |
Room 1 | |
Subscribe for the latest updates on events and news
Isaac Newton Institute for Mathematical Sciences, 20 Clarkson Road, Cambridge CB3 0EH United Kingdom
Tel: +44 1223 335999 Email: reception@newton.ac.uk
© 2023 Isaac Newton Institute for Mathematical Sciences. All Rights Reserved. Privacy Policy
INI is a creative collaborative space which is occupied by up to fifty-five mathematical scientists at any one time (and many more when there is a workshop). Some of them may not have met before and others may not realise the relevance of other research to their own work.
INI is especially important as a forum where early-career researchers meet senior colleagues and form networks that last a lifetime.
Here you can learn about all activities past, present and future, watch live seminars and submit your own proposals for research programmes.
Within this section of the website you should find all the information required to arrange and plan your visit to the Institute. If you have any further questions, or are unable to find the information you require, please get in touch with the relevant staff member or our Reception team via our contact pages.
INI and its programme participants produce a range of publications to communicate information about activities and events, publish research outcomes, and document case studies which are written for a non-technical audience. You will find access to them all in this section.
The Isaac Newton Institute aims to maximise the benefit of its scientific programmes to the UK mathematical science community in a variety of ways.
Whether spreading research opportunities through its network of correspondents, offering summer schools to early career researchers, or hosting public-facing lectures through events such as the Cambridge Festival, there is always a great deal of activity to catch up on.
Find out about all of these endeavours in this section of the site.
There are various ways to keep up-to-date with current events and happenings at the Isaac Newton Institute. As detailed via the menu links within this section, our output covers social media streams, news articles, a regular podcast series, an online newsletter, and more detailed documents produced throughout the year.
“A world famous place for research in the mathematical sciences with a reputation for efficient management and a warm welcome for visitors”
The Isaac Newton Institute is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. It attracts leading mathematical scientists from the UK and overseas to interact in research over an extended period.
INI has a vital national role, building on many strengths that already exist in UK universities, aiming to generate a new vitality through stimulating and nurturing research throughout the country.During each scientific programme new collaborations are made and ideas and expertise are exchanged and catalysed through lectures, seminars and informal interaction, which the INI building has been designed specifically to encourage.
For INI’s knowledge exchange arm, please see the Newton Gateway to Mathematics.
The Institute depends upon donations, as well as research grants, to support the world class research undertaken by participants in its programmes.
Fundraising activities are supported by a Development Board comprising leading figures in academia, industry and commerce.
Visit this section to learn more about how you could play a part in supporting INI’s groundbreaking research.
In this section you can find contact information, staff lists, maps and details of how to find INI’s main building in Cambridge.
Our administrative staff can help you with any queries regarding a prospective or planned visit. If you would like to discuss a proposed a research programme or other event, our senior management team will be happy to help.