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