# Semantics and Syntax: A Legacy of Alan Turing

Created: | 2012-01-10 10:59 |
---|---|

Institution: | Isaac Newton Institute for Mathematical Sciences |

Description: | 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.
Read more at: http://www.newton.ac.uk/programmes/SAS/ |

# Media items

This collection contains 177 media items.

### Media items

#### (Almost) Lowness for K and finite self-information

Herbert, I (University of California, Berkeley)

Tuesday 03 July 2012, 15:00-15:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Tue 10 Jul 2012

#### A Complexity Class Based on Comparator Circuits

Cook, S (University of Toronto)

Thursday 17 May 2012, 16:00-16:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Mon 21 May 2012

#### A logicians approach to Network Coding

Riis, S (Queen Mary, University of London)

Tuesday 07 February 2012, 16:30-17:00

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Fri 10 Feb 2012

#### A long answer to the simple question, "Is TLS provably secure?"

Shrimpton, T (Portland State)

Tuesday 31 January 2012, 14:45-15:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Thu 2 Feb 2012

#### Ajtai's Completeness Theorem for Nonstandard Finite Structures

Garlik, M (Charles University, Prague)

Tuesday 08 May 2012, 16:00-16:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Mon 14 May 2012

#### Alan Turing in the twenty-first century: normal numbers, randomness, and finite automata

Lutz, J (Iowa State University)

Monday 02 July 2012, 09:30-10:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Tue 10 Jul 2012

#### Algebra-valued models of set theory

Tarafder, S (Universiteit van Amsterdam)

Thursday 17 May 2012, 16:30-17:00

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Mon 21 May 2012

#### Algorithmic randomness and stochastic selection function

Takahashi, H (University of Electro-Communications, Tokyo)

Friday 06 July 2012, 12:00-12:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Wed 11 Jul 2012

#### Analysis of Cryptographic Security APIs

Steel, G (ENS Cachan)

Tuesday 31 January 2012, 16:30-17:15

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Thu 2 Feb 2012

#### Automated and Human Proofs in General Mathematics: An Initial Comparison

Alama, J (Universidade Nova de Lisboa (UNL))

Tuesday 24 January 2012, 17:00-17:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Fri 27 Jan 2012

#### Automorphisms of models of set theory

McKensey, Z (University of Cambridge)

Tuesday 29 May 2012, 16:30-17:00

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Fri 1 Jun 2012

#### Autoreducibility for NEXP

Nguyen, D (University at Buffalo)

Wednesday 04 July 2012, 12:00-12:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Wed 11 Jul 2012

#### Beyond inductive definitions -- induction-recursion, induction-induction, coalgebras

Setzer, A (Swansea University)

Thursday 01 March 2012, 17:00-17:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Wed 7 Mar 2012

#### Bounded degree and planar spectra

Kopczynski, E (Uniwersytet Warszawski)

Tuesday 27 March 2012, 15:00-15:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Fri 30 Mar 2012

#### Bounds on proof size in security verification

Ramanujam, R (Institute of Mathematical Sciences, Chennai)

Thursday 31 May 2012, 16:00-16:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Fri 1 Jun 2012

#### Bridging Formal Methods in Computer Science for Scientific Computing and Cognitive Science Modelling Tasks

de Miguel Casado, G (Universidad de Zaragoza)

Tuesday 06 March 2012, 16:30-17:00

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Wed 7 Mar 2012

#### Circularity, Paradoxes and Proofs

Natarajan, R (Tata Institute of Fundamental Research)

Thursday 03 May 2012, 16:30-17:00

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Mon 14 May 2012

#### Coinduction in Computable Analysis

Berger, U (University of Swansea)

Tuesday 22 May 2012, 16:30-17:00

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Fri 25 May 2012

#### Complexity of computations and proofs and pseudo-finite structures

Krajicek, J (Charles University, Prague)

Monday 26 March 2012, 09:30-10:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Fri 30 Mar 2012

#### Complexity of exponential integer parts on real closed exponential fields

Lange, K (Wellesley College)

Tuesday 22 May 2012, 17:00-17:30

**Collection**:
Semantics and Syntax: A Legacy of Alan Turing

**Institution**:
Isaac Newton Institute for Mathematical Sciences

**Created**:
Fri 25 May 2012