VSOW03
10 May 2021 to 14 May 2021
We have been made aware of a convincing email scam that is focusing on our Programme and Workshop participants. Participants may receive an email from a firm called Expo Hotel Services (ehotelservices.org) to arrange accommodation for workshops and/or programmes. This might include a request to provide them with credit card information.
Please note, INI will never ask for your card details. We take all payments via the University of Cambridge Online store https://onlinesales.admin.cam.ac.uk/.
If you have been contacted by this company please contact us as soon as possible.
Formal methods for the specification and verification of software-intensive systems bridge the gap between theory and applications. Verification techniques have to be tuned to application areas such as concurrency, cyber-physical systems, distributed systems, machine learning, computer security, networks, and programming languages. The INI Virtual Workshop is a precursor event to the program on Verified Software. It will involve an intensive exchange of ideas between researchers facing the challenges of cutting-edge applications and theoreticians armed with the conceptual tools to potentially address these challenges.
Given the current restrictions on movement, due to the ongoing pandemic, the INI intends to run this workshop virtually across 5 days. All talks and discussion sessions will be available virtually.
Monday 10th May 2021 | |||
---|---|---|---|
15:30 to 15:50 |
Chair: Azadeh Farzan |
Room 1 | |
15:50 to 16:00 |
Christie Marr Isaac Newton Institute |
Room 1 | |
16:00 to 16:30 |
Tony Hoare Isaac Newton Institute |
Room 1 | |
16:30 to 17:00 |
Maurice Herlihy Brown University |
Room 1 | |
17:00 to 17:30 | Room 1 | ||
17:30 to 18:00 |
Anca Muscholl University of Bordeaux |
Room 1 | |
18:00 to 18:30 |
Ahmed Bouajjani Université Paris 7 - Denis-Diderot |
Room 1 | |
18:30 to 19:00 |
Rupak Majumdar Max Planck Institute for Software Systems |
Room 1 |
Tuesday 11th May 2021 | |||
---|---|---|---|
15:30 to 16:00 |
Ilya Sergey Yale-NUS College; National University of Singapore |
Room 1 | |
16:00 to 16:30 |
Lars Birkedal Aarhus Universitet |
Room 1 | |
16:30 to 17:00 |
Amal Ahmed Northeastern University |
Room 1 | |
17:00 to 17:30 | Room 1 | ||
17:30 to 18:00 |
Viktor Vafeiadis Max Planck Institute for Software Systems |
Room 1 | |
18:00 to 18:30 |
Aarti Gupta Princeton University |
Room 1 | |
18:30 to 19:00 |
Alexandra Silva University College London |
Room 1 |
Wednesday 12th May 2021 | |||
---|---|---|---|
15:30 to 16:00 |
Véronique Cortier Lorraine Research Laboratory in Computer Science and its Applications |
Room 1 | |
16:00 to 16:30 |
Karthikeyan Bhargavan INRIA |
Room 1 | |
16:30 to 17:00 |
Justin Hsu University of Wisconsin-Madison |
Room 1 | |
17:00 to 17:30 | Room 1 | ||
17:30 to 18:00 |
Zachary Kincaid Princeton University |
Room 1 | |
18:00 to 18:30 |
Jean-Francois Raskin Université Libre de Bruxelles |
Room 1 | |
18:30 to 19:00 |
Javier Esparza Technische Universität München |
Room 1 |
Thursday 13th May 2021 | |||
---|---|---|---|
15:30 to 16:00 |
Hongseok Yang Korea Advanced Institute of Science and Technology (KAIST) |
Room 1 | |
16:00 to 16:30 |
Marta Zofia Kwiatkowska University of Oxford |
Room 1 | |
16:30 to 17:00 |
Martin Vechev ETH Zürich |
Room 1 | |
17:00 to 17:30 | Room 1 | ||
17:30 to 18:00 |
Adam Chlipala Massachusetts Institute of Technology |
Room 1 | |
18:00 to 18:30 |
Jade Alglave University College London; ARM |
Room 1 | |
18:30 to 19:00 |
Annabelle McIver Macquarie University |
Room 1 |
Friday 14th May 2021 | |||
---|---|---|---|
15:30 to 16:00 |
Thomas Henzinger IST Austria |
Room 1 | |
16:00 to 16:30 |
Sanjit Seshia University of California, Berkeley |
Room 1 | |
16:30 to 17:00 |
Pavithra Prabhakar Kansas State University |
Room 1 | |
17:00 to 17:30 | Room 1 | ||
17:30 to 18:00 |
Madhusudan Parthasarathy University of Illinois at Urbana-Champaign |
Room 1 | |
18:00 to 18:30 |
Rajeev Alur University of Pennsylvania |
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
© 2022 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.