Semantics and Syntax: A Legacy of Alan Turing

Semantics and Syntax: A Legacy of Alan Turing's image
Created: 2012-01-10 10:59
Institution: Isaac Newton Institute for Mathematical Sciences
Editors' group: SMS Editors group for the Newton Institute
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

Search:
Include approximate matches

This collection contains 177 media items.

Showing results 1-20 of 177    < Prev    1 2 3 4 5 6 7 8 9    Next >
  •  

Media items

(Almost) Lowness for K and finite self-information


   42 views

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


   65 views

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


   116 views

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?"


   359 views

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


   55 views

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


Algebra-valued models of set theory


   73 views

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


   53 views

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


   264 views

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


   87 views

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


   51 views

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


   32 views

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


   93 views

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


   55 views

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


   35 views

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


   103 views

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


   52 views

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


   47 views

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


   136 views

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


   41 views

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


[Results 1-20 of 177]    < Prev    1 2 3 4 5 6 7 8 9    Next >