SAS
9 January 2012 to 6 July 2012
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.
In several mathematical areas of Theoretical Computer Science, we perceive a distinction between research focusing on symbolic manipulation of language and structures (independent of meaning) and research dealing with interpreted computational meaning of structures. In mathematical logic, the distinction is known as syntax (symbolic manipulation) versus semantics (interpreted structures). This distinction recurs in many research areas, often under different (and sometimes incompatible) names. For research in these fields, both views are important and fundamental for gaining full understanding of the formal issues involved. The programme Syntax and Semantics endeavours to bring together researchers from both sides of the syntax-semantics divide. We shall focus on four mathematical areas bordering computer science in which the syntax/semantics distinction is particularly relevant: logic, complexity, cryptography, and randomness.
The year 2012 sees the 100th anniversary of the birthday of Alan Turing, who made fundamental contributions to our research areas and worked within both the semantic/computational and syntactic/symbolic paradigms, and managed to combine them in various applications using an integrated methodology that should serve as an example for our programme. We understand our programme as embedded in the large-scale celebration of the Alan Turing Year.
Click here to download the programme's final scientific report
Title | Year | Programme |
---|---|---|
Premise selection for mathematics by corpus analysis and Kernel methodsAuthors: Jesse Alama, T Heskes, D Kuhlwein, E Tsivtsivadze, J Urban |
2011 | SAS |
Checking proofsAuthors: Jesse Alama, R Kahle |
2011 | SAS |
Universal computably enumerable equivalence relationsAuthors: U Andrews, Steffen Lempp, Russell Miller, KENG Meng Ng, L San Mauro, ET Al |
2011 | SAS |
How much randomness is needed for statistics?Authors: B Kjos-hassen, Antoine Taveneaux, Neil Thapen |
2011 | SAS |
The tile assembly model is intrinsically universalAuthors: D Doty, Jack Lutz, MJ Patitz, RT Schweller, SM Summers, ET Al |
2011 | SAS |
Escape to Mizar from ATPsAuthors: Jesse Alama |
2011 | SAS |
Intuitionistic logic of proofs with dependant proof termsAuthors: Giuseppe Primiero |
2011 | SAS |
Dimension spectra of random subfractals of self-similar fractalsAuthors: X Gu, Jack Lutz, Elvira Mayordomo, P Moser |
2011 | SAS |
Requirements analysis for a product family of DNA NanodevicesAuthors: Jack Lutz, Jack Lutz, JI Lathrop, TH Klinge, D Mathur, ET Al |
2011 | SAS |
Some open (?) problems concerning dependent type theoriesAuthors: Peter Aczel |
2011 | SAS |
Generalized geometric theories and set-generated classesAuthors: Peter Aczel, H Ishihara, T Nemoto, Y Sangu |
2011 | SAS |
Rudimentary and arithmetical constructive set theoryAuthors: Peter Aczel |
2011 | SAS |
Computability and analysis: the legacy of Alan TuringAuthors: Jeremy Avigad, Vasco Brattka |
2011 | SAS |
Connected choice and the Brouwer Fixed Point TheoremAuthors: Vasco Brattka, S Le Roux, Arno Pauly |
2011 | SAS |
Randomness, computation and mathematicsAuthors: Rod Downey |
2011 | SAS |
A parameterized complexity tutorialAuthors: Rod Downey, A Dediu, C Martin-vide |
2011 | SAS |
Asymptotic density and computably enumerable setsAuthors: Rod Downey, CG Jockusch Jr., PE Schupp |
2011 | SAS |
The birth and early years of parameterized complexityAuthors: Rod Downey |
2011 | SAS |
A basic parameterized complexity primerAuthors: Rod Downey, H Bodlaender, F Fomin, D Marx |
2011 | SAS |
Exact pairs for the ideal of the $\it K$-trivial sequences in the turing degreesAuthors: George Barmpalias, Rod Downey |
2011 | SAS |
Computable categoricity versus relative computable categoricityAuthors: Rod Downey, A Kach, Steffen Lempp, Daniel Turetsky |
2011 | SAS |
On minimal wtt-degrees and computably enumerable Turing degreesAuthors: Rod Downey, KM Ng, R Solomon |
2011 | SAS |
A hierarchy of ramified theories below PRAAuthors: EJ Spoors, Stan Wainer |
2011 | SAS |
Lowness for bounded randomnessAuthors: Rod Downey, KM Ng |
2011 | SAS |
Objectivity and reproducibility of proppian narrative annotationsAuthors: R Bod, Bernhard Fisseni, A Kurji, Benedikt Löwe |
2011 | SAS |
Which dimensions of narratives are relevent for human judgments of story equivalence?Authors: Bernhard Fisseni, Benedikt Löwe |
2011 | SAS |
$\it G \delta\sigma$-gamesAuthors: Philip Welch |
2011 | SAS |
Global reflection principlesAuthors: Philip Welch |
2011 | SAS |
Base invariance of feasible dimensionAuthors: John Hitchcock, Elvira Mayordomo |
2011 | SAS |
Kochen-Specker theorem revisited and strong incomputability of quantum randomnessAuthors: AA Abbott, Cristian S. Calude, J Conder, K Svozil |
2011 | SAS |
Structural connections between a forcing class and its modal logicAuthors: Joel David Hamkins, G Leibman, Benedikt Löwe |
2011 | SAS |
Every countable model of set theory embeds into its own constructible universeAuthors: Joel David Hamkins |
2011 | SAS |
Moving up and down in the generic multiverseAuthors: Joel David Hamkins, Benedikt Löwe |
2011 | SAS |
Effective dimension in some general metric spacesAuthors: Elvira Mayordomo |
2011 | SAS |
A size index for multitape Turing MachinesAuthors: Rainer Glaschick |
2011 | SAS |
A note on initial segments of the enumeration degreesAuthors: Theodore Slaman, Andrea Sorbi |
2011 | SAS |
Wadge hardness in Scott spaces and its effectivizationAuthors: Verónica Becher, S Grigorieff |
2011 | SAS |
Normal numbers and finite automataAuthors: Verónica Becher, Pablo Ariel Heiber |
2011 | SAS |
Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivizationAuthors: Verónica Becher, S Grigorieff |
2011 | SAS |
Normality and differentiabilityAuthors: Verónica Becher, Pablo Ariel Heiber |
2011 | SAS |
Turing's normal numbers: towards randomnessAuthors: Verónica Becher |
2011 | SAS |
The Turing degrees below generics and randomsAuthors: Richard Shore |
2011 | SAS |
Analogues of Chaitin's omega in the computably enumerable setsAuthors: George Barmpalias, Rupert Hölzl, Andy Lewis, Wolfgang Merkle |
2011 | SAS |
Kolmogorov complexity and computably enumerable setsAuthors: George Barmpalias, Zhenhao Li |
2011 | SAS |
Resolute sequences in initial segment complexityAuthors: George Barmpalias, Rod Downey |
2011 | SAS |
Algorithmic randomness and measures of complexityAuthors: George Barmpalias |
2011 | SAS |
Improved witnessing and local improvement principles for second-order bounded arithmeticAuthors: Arnold Beckmann, Sam Buss |
2011 | SAS |
Safe recursive set functionsAuthors: Arnold Beckmann, Sam Buss, Sy-David Friedman |
2011 | SAS |
New conjectures about zeroes of Riemann's zeta functionAuthors: Yuri Matiyasevich |
2011 | SAS |
The classification problem for compact computable metric spacesAuthors: Alexander Melnikov, Andre Nies |
2011 | SAS |
The complexity of proving that a graph is RamseyAuthors: Massimo Lauria, Pavel Pudlak, V Rodl, Neil Thapen |
2011 | SAS |
Ajtai's completeness theorem for nonstandard finite structuresAuthors: Michal Garlik |
2011 | SAS |
Generalized algebra-valued models of set theoryAuthors: Benedikt Löwe, Sourav Tarafder |
2011 | SAS |
Inhabitants of interesting subsets of the Bousfield latticeAuthors: Andrew Brooke-Taylor, Benedikt Löwe, Birgit Richter |
2011 | SAS |
Dependencies in formal mathematics: applications and extraction for Coq and MizarAuthors: Jesse Alama, L Mamame, J Urban |
2011 | SAS |
New developments in parsing MizarAuthors: Jesse Alama, C Bylinski |
2011 | SAS |
Tipi: A TPTP-based theory development environment emphasizing proof dependenciesAuthors: Jesse Alama |
2011 | SAS |
9 January 2012 to 9 January 2012
31 January 2012 to 2 February 2012
18 February 2012 to 19 February 2012
14 March 2012 to 16 March 2012
26 March 2012 to 30 March 2012
10 April 2012 to 13 April 2012
12 June 2012 to 15 June 2012
2 July 2012 to 6 July 2012
6 June 2022 to 10 June 2022
Wednesday 11th January 2012 | |||
---|---|---|---|
17:00 to 17:30 |
Yuri Matiyasevich Saint Petersburg State University |
Room 2 | |
17:30 to 18:00 |
Ian Mackie Laboratoire d'Informatique de l'Ecole Polytechnique |
Room 2 | |
18:00 to 18:30 |
Andreas Weiermann Universiteit Gent |
Room 2 | |
18:30 to 19:30 | Room 2 |
Thursday 12th January 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Anthony Morphett Australian Catholic University |
Room 2 | |
16:30 to 17:00 |
Carlos León Universidad Complutense de Madrid |
Room 2 | |
17:00 to 17:30 |
Angsheng Li Chinese Academy of Sciences |
Room 2 |
Tuesday 17th January 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Peter Schuster University of Leeds |
Room 1 | |
16:30 to 17:00 |
Jouko Vaananen University of Helsinki |
Room 1 | |
17:00 to 17:30 |
Michael Rathjen University of Leeds |
Room 1 |
Thursday 19th January 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Albert Atserias Universitat Politècnica de Catalunya |
Room 1 | |
16:30 to 17:00 |
Grant Passmore Aesthetic Integration Ltd |
Room 1 | |
Tuesday 24th January 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Russell Miller City University of New York |
Room 1 | |
16:30 to 17:00 |
Douglas Bridges University of Canterbury |
Room 1 | |
17:00 to 17:30 |
Jesse Alama Universidade Nova de Lisboa (UNL) |
Room 1 | |
Thursday 26th January 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Graham Steel CNRS - Ecole Normale Superieure Paris |
Room 1 | |
16:30 to 17:00 |
Sam Sanders Universiteit Gent |
Room 1 | |
Tuesday 7th February 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Peter Aczel University of Manchester |
Room 1 | |
16:30 to 17:00 | Room 1 | |
|
17:00 to 17:30 |
Andrew Brooke-Taylor University of Leeds |
Room 1 | |
Thursday 9th February 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Giuseppe Primiero Universiteit Gent |
Room 1 | |
16:30 to 17:00 |
Neil Thapen Charles University, Prague |
Room 1 | |
Tuesday 14th February 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Ian Herbert University of California, Berkeley |
Room 1 | |
16:30 to 17:00 |
Antonio Montalban University of Chicago |
Room 1 | |
17:00 to 17:30 |
Theodore Slaman University of California, Berkeley |
Room 1 | |
Thursday 16th February 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Merlin Carl Rheinische Friedrich-Wilhelms-Universität Bonn |
Room 1 | |
16:30 to 17:00 |
Steffen Lempp University of Wisconsin-Madison |
Room 1 | |
17:00 to 17:30 |
Peter Koepke Rheinische Friedrich-Wilhelms-Universität Bonn |
Room 1 | |
Friday 17th February 2012 | |||
---|---|---|---|
17:30 to 18:30 |
John M. Prager IBM Thomas J. Watson Research Center New York |
Meeting Room |
Saturday 18th February 2012 | |||
---|---|---|---|
16:25 to 17:25 |
Raúl Rojas Freie Universität Berlin |
Meeting Room | |
17:40 to 18:40 |
Leslie Moran Birkbeck, University of London |
Meeting Room |
Sunday 19th February 2012 | |||
---|---|---|---|
10:00 to 11:00 |
John M. Prager IBM Thomas J. Watson Research Center New York |
Meeting Room | |
11:15 to 12:15 |
Henk Barendregt Radboud Universiteit Nijmegen |
Meeting Room | |
13:45 to 14:45 |
Angela Stevens Westfalische Wilhelms-Universitat Munster |
Meeting Room | |
14:45 to 15:45 |
Jens Groth University College London |
Meeting Room | |
16:00 to 17:00 |
Julian Richards University of Buckingham |
Meeting Room |
Tuesday 21st February 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Cameron Freer None / Other |
Room 1 | |
16:30 to 17:00 | Room 1 |
Thursday 23rd February 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Martin Davis New York University |
Room 1 | |
16:30 to 17:00 |
Helmut Schwichtenberg Ludwig-Maximilians-Universität München |
Room 1 | |
17:00 to 17:30 |
Arno Pauly University of Cambridge |
Room 1 | |
Tuesday 28th February 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Stan Wainer University of Leeds |
Room 1 | |
16:30 to 17:00 |
Philip Welch University of Bristol |
Room 1 | |
Thursday 1st March 2012 | |||
---|---|---|---|
13:30 to 15:00 |
Jesse Alama Universidade Nova de Lisboa (UNL) |
Room 2 | |
16:00 to 16:30 |
Bjarki Holm University of Cambridge |
Room 1 | |
16:30 to 17:00 |
Rod Downey Victoria University of Wellington |
Room 1 | |
17:00 to 17:30 |
Anton Setzer Swansea University |
Room 1 | |
Tuesday 6th March 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Nigel Smart University of Bristol |
Room 1 | |
16:30 to 17:00 |
Gregorio de Miguel Casado Universidad de Zaragoza |
Room 1 | |
17:00 to 17:30 |
Moshe Yaakov Vardi Rice University |
Room 1 |
Thursday 8th March 2012 | |||
---|---|---|---|
13:30 to 15:00 |
Peter Aczel University of Manchester |
Discussion Room | |
16:00 to 16:30 |
Klaus Ambos-Spies Ruprecht-Karls-Universität Heidelberg |
Room 1 | |
16:30 to 17:00 |
Ján Pich Charles University, Prague |
Room 1 | |
Tuesday 13th March 2012 | |||
---|---|---|---|
09:30 to 16:00 | Room 2 | ||
16:00 to 16:30 |
Jack Lutz Iowa State University |
Room 1 | |
16:30 to 17:00 |
Christian Becker-Asano Albert-Ludwigs-Universität Freiburg |
Room 1 | |
17:00 to 17:30 |
Iskander Kalimullin Kazan State University |
Room 1 | |
Thursday 15th March 2012 | |||
---|---|---|---|
13:30 to 15:00 |
Helmut Schwichtenberg Ludwig-Maximilians-Universität München |
Room 1 |
Tuesday 20th March 2012 | |||
---|---|---|---|
16:00 to 16:30 | Room 1 | |
|
16:30 to 17:00 |
Marat Arslanov Kazan State University |
Room 1 | |
Thursday 22nd March 2012 | |||
---|---|---|---|
13:30 to 15:00 |
The relative consistency of the axiom of choice mechanized using Isabelle/ZF |
Discussion Room | |
16:00 to 16:30 |
Joel David Hamkins City University of New York |
Room 1 | |
16:30 to 17:00 |
Robert Soare University of Chicago |
Room 1 | |
Wednesday 28th March 2012 | |||
---|---|---|---|
14:00 to 16:00 |
Marcos Cramer Rheinische Friedrich-Wilhelms-Universität Bonn |
Discussion Room |
Tuesday 3rd April 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Phokion Kolaitis University of California, Santa Cruz; IBM Research |
Room 2 | |
16:30 to 17:00 |
Samson Abramsky University of Oxford |
Room 2 | |
17:00 to 17:30 |
Dirk Pattinson Imperial College London |
Room 2 | |
Thursday 5th April 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Pavel Pudlak Academy of Sciences of the Czech Republic |
Room 2 | |
Monday 16th April 2012 | |||
---|---|---|---|
14:00 to 16:00 |
Rainer Glaschick Heinz Nixdorf MuseumsForum |
Room 2 | |
Tuesday 17th April 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Niall Murphy Universidad Politécnica de Madrid |
Room 2 | |
16:30 to 17:00 |
Damien Woods CALTECH (California Institute of Technology); INRIA Paris - Rocquencourt |
Room 2 | |
17:00 to 17:30 |
Turlough Neary ETH Zürich |
Room 2 |
Tuesday 1st May 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Antonina Kolokolova Memorial University of Newfoundland |
Room 1 | |
16:30 to 17:00 |
Kenny Paterson Birkbeck, University of London |
Room 1 | |
Thursday 3rd May 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Valentine Kabanets Simon Fraser University |
Room 1 | |
16:30 to 17:00 |
Raja Natarajan Tata Institute of Fundamental Research |
Room 1 | |
17:00 to 17:30 |
Alexander Melnikov Nanyang Technological University |
Room 1 | |
Tuesday 8th May 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Michal Garlik Charles University, Prague |
Room 1 | |
16:30 to 17:00 |
Rod Downey Victoria University of Wellington |
Room 1 |
Wednesday 9th May 2012 | |||
---|---|---|---|
14:00 to 15:00 |
Valiants Shift problem: A reduction to a problem about graph guessing games |
Room 1 | |
Thursday 10th May 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Anton Setzer Swansea University |
Room 1 | |
16:30 to 17:00 |
Peter Aczel University of Manchester |
Room 1 | |
17:00 to 17:30 |
Elvira Mayordomo Universidad de Zaragoza |
Room 1 | |
Tuesday 15th May 2012 | |||
---|---|---|---|
15:00 to 17:00 |
Discussion Room booked for Robert Soare for a meeting with junior colleagues |
Discussion Room | |
16:00 to 16:30 |
Robert Seth Lubarsky Florida Atlantic University |
Room 1 | |
16:30 to 17:00 |
Arnold Beckmann Swansea University |
Room 1 | |
Thursday 17th May 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Steve Cook University of Toronto |
Room 1 | |
16:30 to 17:00 |
Sourav Tarafder Universiteit van Amsterdam |
Room 1 | |
17:00 to 17:30 |
Sebastian Müller Charles University, Prague |
Room 1 | |
Tuesday 22nd May 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Monika Seisenberger Swansea University |
Room 1 | |
16:30 to 17:00 |
Ulrich Berger Swansea University |
Room 1 | |
17:00 to 17:30 |
Tanja Lange Technische Universiteit Eindhoven |
Room 1 | |
Tuesday 29th May 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Jeremy Avigad Carnegie Mellon University |
Room 1 | |
16:30 to 17:00 | Room 1 | |
Thursday 31st May 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Ram Ramanujam Institute of Mathematical Sciences, Chennai |
Room 1 | |
16:30 to 17:00 |
Alexandra Soskova Sofia University St. Kliment Ohridski |
Room 1 | |
17:00 to 17:30 |
Martin Escardo University of Birmingham |
Room 1 | |
Thursday 7th June 2012 | |||
---|---|---|---|
16:00 to 16:30 |
Andy Lewis University of Leeds |
Room 1 | |
16:30 to 17:00 |
Alexandra Soskova Sofia University St. Kliment Ohridski |
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.