Organisers: S Abramsky (Imperial College, London), G Kahn (INRIA, Sophia-Antipolis), J C Mitchell (Stanford), A M Pitts (Cambridge)
The general aims of the programme are twofold. First, to refine the current framework for the semantics of computation so that it is capable of dealing with the more subtle computational features present in the programming languages of today and tomorrow. Secondly, to provide a framework for interaction between such fundamental research and the issues confronted by language designers and software engineers. We particularly have in mind current developments such as object-based concurrent programming, and projects to develop the next generation of advanced programming languages, such as ML 2000. The range of technical and conceptual challenges involved in this work requires active collaboration and flow of information between overlapping communities of mathematicians, computer scientists and computer practitioners. Our main objective for the programme is to provide an ideal, focussed setting for intensifying this interaction.
Jul 10-12: Semantics for System Design (SSD). The object of this short workshop is to stimulate discussion of the top-down approach to semantics for system design. The format will be highly informal. The idea is to stimulate more intimate discussions between those experienced in a variety of semantic approaches. For this reason, the emphasis will be on challenges, open questions, and work in progress, rather than background, results or conclusions. The following people have agreed to give talks so far: H Jifeng, P Gardiner, CAR Hoare, C Martin, O de Moor. For further details contact Tony Hoare.
Jul 17-21: Themes in the Semantics of Computation (TSC). This workshop is intended to open up some of the themes to be pursued during the Semantics of Computation research programme, with some emphasis on the interplay between theory and practice. Apart from the invited talks and accompanying sessions, there will also be scope for contributed talks. Invited speakers will include: CAR Hoare, C Jones, G Kahn, R Milner, JC Reynolds, and A Yonezawa. For further details contact Samson Abramsky.
Aug 14-18: Advances in Type Systems for Computing (ATSC). A Euroconference focussing on three related areas of concern to the programme, namely extensions of the ML type system, types in object-oriented programming and type theories for reactive systems. Invited speakers will include: M Abadi, K Bruce, L Cardelli, R Harper, D MacQueen, X Leroy, J Palsberg, B Pierce, V Saraswat, S Smith, M Tofte, A Yonezawa. Programme committee: S Abramsky, L Cardelli, J Mitchell (chair), A Pitts, A Yonezawa. For further details contact John Mitchell. Grants (from EU HCM Euroconference funds) towards the cost of attending the workshop will be available upon a competitive basis for `young' European researchers: for further details contact Florence Leroy.
Sep 18-19: Category Theory and Logic Programming. Organiser Jim Lipton.
Sep 25-29: Summer School on Semantics and Logics of Computation (SLC) in collaboration with the CEC ESPRIT project Categorical Logic in Computer Science (CLICS-II). Lecturers: S Abramsky, T Coquand, M Hofmann, M Hyland, E Moggi, M Neilsen, A Pitts, G Winskel. Organisers: A Pitts (for the programme) and P Dybjer (for CLICS-II). For further details contact Andrew Pitts.
Oct 2-4: High-level Concurrent Languages: Foundations and Verification Techniques (HLCL). The object of this short workshop is to bring together programming language designers and concurrency theorists to share both ideas and problems, focussing on what can be achieved with present-day tools and techniques and on the search for new foundations. For further details contact either Benjamin Pierce or Matthew Hennessy.
Oct 16-18:Linear Logic and Applications (LLA). This short workshop will focus on recent developments in Linear Logic and its applications to computer science. For further details contact Gavin Bierman.
Oct 28-31:Higher Order Operational Techniques for Semantics (HOOTS). This short workshop will focus on current developments in operational techniques for the semantics of higher-order languages. This includes (but is not limited to): operational techniques such as verification of type-systems; proofs of program properties using observational or contextual equivalence, (applicative) bisimulation, and Hennessy-Milner logics. For further details contact Andrew Gordon.
Nov 6-10: Games, Processes and Logic. The workshop will focus on games as a model computation and the connections with the semantics of processes and of proofs. The aim is to bring together researchers pursuing these various strands, to compare and contrast the different approaches, and take stock of current progress and future directions.Organiser: Samson Abramsky.
Nov 20-24: New Connections between Mathematics and Computer Science. A workshop in collaboration with Hewlett-Packard's Basic Research Institute in the Mathematical Sciences (BRIMS) and our sister research programme at INI, From Finite to Infinite Dimensional Dynamical Systems. Organiser: Jeremy Gunawardena.
Subscribe for the latest updates on events and news
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.