Games are pervasive in the theory of computation. Traditionally, they have been used as tools for understanding definability in logic. For example, in the case of finite model theory they provide a mechanism for showing that certain properties are not definable in enrichments of first-order logic that are computationally interesting. A second role is that important algorithmic questions can be couched in terms of games. For instance, model checking properties expressible in modal logic with fixed points is equivalent to deciding which player has a winning strategy in a simple two-player game, the parity game. The exact complexity of this model checking problem is a long standing open problem, and games may help to solve it. In fact more generally, games are useful, as alternating automata, for solving a variety of algorithmic questions about finite and infinite state systems (such as reachability and liveness properties). A third, and much more recent, use of games is the semantics of programming languages. The idea is that the meaning of a program is defined in terms of winning strategies. What is particularly exciting about this approach is that such a semantics is exact in the sense that it is fully abstract.
The aim of the conference is to bring together researchers who work in these different areas. In one direction, there is strong interest amongst the semanticists in understanding algorithmic properties of games in the semantics of programming languages. Researchers have examined fragments of Idealized Algol and shown that program equivalence is decidable by reducing it to equivalent decidable automata theoretic problems. In the opposite direciton, there is also strong interest amongst the model checking community to be able to cope with more realistic models of programs than classical automata. The meeting will begin with a number of invited tutorials covering the relevant areas before the more specialist contributed talks.
The conference is also the final annual meeting of GAMES, a research training network funded by the European Community under the Fifth Framework Programme.
Monday 3rd July 2006 | |||
---|---|---|---|
08:30 to 09:00 | No Room Required | ||
09:00 to 10:25 |
Johan van Benthem University of Helsinki |
Room 1 | |
10:30 to 10:45 |
Lukasz Kaiser RWTH Aachen University |
Room 1 | |
11:00 to 11:30 | No Room Required | ||
11:30 to 12:00 |
Jacques Duparc Université de Lausanne |
Room 1 | |
12:00 to 12:30 |
Jan Obdrzalek |
Room 1 | |
12:30 to 13:30 | No Room Required | ||
14:00 to 14:30 |
Thomas Colcombet |
Room 1 | |
14:30 to 14:45 |
Mathias Samuelides Université Denis Diderot |
Room 1 | |
14:45 to 15:00 |
Vince Barany RWTH Aachen University |
Room 1 | |
15:00 to 15:30 | No Room Required | ||
15:30 to 16:00 |
David Janin |
Room 1 | |
16:00 to 16:30 |
Javier Esparza Universität Stuttgart |
Room 1 | |
16:30 to 17:00 |
Neil Immerman University of Massachusetts |
Room 1 | |
17:00 to 18:00 | No Room Required |
Tuesday 4th July 2006 | |||
---|---|---|---|
09:00 to 10:25 |
Dov Monderer Technion - Israel Institute of Technology |
Room 1 | |
10:30 to 11:00 |
Krzysztof Apt Centrum voor Wiskunde en Informatica (CWI) |
Room 1 | |
11:00 to 11:30 | No Room Required | ||
11:30 to 12:00 |
Wieslaw Zielonka |
Room 1 | |
12:00 to 12:30 |
Hugo Gimbert |
Room 1 | |
12:30 to 13:30 | No Room Required | ||
14:00 to 14:30 |
Kousha Etessami University of Edinburgh |
Room 1 | |
14:30 to 15:00 |
Dietmar Berwanger Université Bordeaux 1 |
Room 1 | |
15:00 to 15:30 | No Room Required | ||
15:30 to 16:55 |
Georg Gottlob University of Oxford |
Room 1 | |
17:00 to 18:00 | Room 1 |
Wednesday 5th July 2006 | |||
---|---|---|---|
09:00 to 10:25 |
Moshe Vardi Rice University |
Room 1 | |
10:30 to 11:00 |
Yde Venema University of Helsinki |
Room 1 | |
11:00 to 11:30 | No Room Required | ||
11:30 to 12:00 |
Sibylle Fröschle |
Room 1 | |
12:00 to 12:15 |
Florian Horn |
Room 1 | |
12:15 to 12:30 |
Slawomir Lasota |
Room 1 | |
12:30 to 13:30 | No Room Required | ||
14:00 to 17:00 | No Room Required |
Thursday 6th July 2006 | |||
---|---|---|---|
09:00 to 10:25 |
Rajeev Alur University of Pennsylvania |
Room 1 | |
10:30 to 11:00 |
Andrzej Murawski University of Oxford |
Room 1 | |
11:00 to 11:30 | No Room Required | ||
11:30 to 12:00 |
Tayssir Touili |
Room 1 | |
12:00 to 12:15 |
Kristin Rozier Rice University |
Room 1 | |
12:15 to 12:30 |
Deian Tabakov Rice University |
Room 1 | |
12:30 to 13:30 | No Room Required | ||
14:00 to 14:30 |
Marcin Jurdzinski University of Warwick |
Room 1 | |
14:30 to 14:45 |
Ashutosh Trivedi University of Warwick |
Room 1 | |
14:45 to 15:00 |
Pavel Krcal |
Room 1 | |
15:00 to 15:30 | Room 1 | ||
15:30 to 16:00 |
Bengt Jonsson |
Room 1 | |
16:00 to 16:30 |
Martin Lange |
Room 1 | |
16:30 to 17:00 | Room 1 | ||
17:00 to 18:00 | Room 1 | ||
19:30 to 23:00 | No Room Required |
Friday 7th July 2006 | |||
---|---|---|---|
09:00 to 10:25 |
Didier Caucal |
Room 1 | |
10:30 to 11:00 |
Ranko Lazic University of Warwick |
Room 1 | |
11:00 to 11:30 | No Room Required | ||
11:30 to 12:00 |
Sergei Vorobyov |
Room 1 | |
12:00 to 12:30 |
Igor Walukiewicz |
Room 1 | |
12:30 to 13:30 | No Room Required |
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.