skip to content
 

Seminars (SAS)

Videos and presentation materials from other INI events are also available.

Search seminar archive

Event When Speaker Title Presentation Material
SASW05 9th January 2012
11:00 to 11:30
Spitalfields Day Welcome: The Mathematical Legacy of Alan Turing
SASW05 9th January 2012
11:30 to 12:30
H Woodin The global structure of the Turing degrees and the bi-interpretability conjecture
SASW05 9th January 2012
14:00 to 15:00
N Smart Modern cryptography for non-cryptographers
SASW05 9th January 2012
15:15 to 16:15
G Barmpalias Measures of Relative Complexity
SASW05 9th January 2012
16:30 to 17:30
A Dawar On syntactic and semantic complexity classes
SAS 11th January 2012
17:00 to 17:30
Y Matiyasevich Diophantine Machines
SAS 11th January 2012
17:30 to 18:00
I Mackie Conservation of Data
SAS 11th January 2012
18:00 to 18:30
A Weiermann Extended Goodstein sequences
SAS 12th January 2012
16:00 to 16:30
A Morphett Promptness, Randomness and Degrees
SAS 12th January 2012
16:30 to 17:00
C Leon From Narratology to Formal Narrative Structures: What is Relevant in a Story?
SAS 12th January 2012
17:00 to 17:30
A Li Homophily Law of Networks: Principles, Methods, and Experiments
SAS 17th January 2012
16:00 to 16:30
P Schuster A Proof Pattern in Algebra
SAS 17th January 2012
16:30 to 17:00
J Vaananen The Logic of Dependence and Independence
SAS 17th January 2012
17:00 to 17:30
M Rathjen Slow Consistency
SAS 19th January 2012
16:00 to 16:30
A Atserias Sherali-Adams Relaxations and Graph Indistinguishability
SAS 19th January 2012
16:30 to 17:00
G O Passmore Decision Methods over Real and Algebraically Closed Fields
SAS 24th January 2012
16:00 to 16:30
R Miller Computability Questions about Fields
SAS 24th January 2012
16:30 to 17:00
D Bridges Constructive Thoughts on Operator Algebras
SAS 24th January 2012
17:00 to 17:30
J Alama Automated and Human Proofs in General Mathematics: An Initial Comparison
SAS 26th January 2012
16:00 to 16:30
G Steel The "Million Message Attack" in 15 Thousand Message
SAS 26th January 2012
16:30 to 17:00
S Sanders Reuniting the antipodes: bringing together Nonstandard Analysis and Constructive Analysis
SASW07 31st January 2012
09:40 to 09:45
Welcome: Is Cryptographic Theory Practically Relevant?
SASW07 31st January 2012
09:45 to 10:30
S Vaudenay Privacy in Deniable Anonymous Concurrent Authentication with Setup is Impossible: Do we Care?
SASW07 31st January 2012
11:00 to 11:45
C Cachin Storage encryption and key management
SASW07 31st January 2012
11:45 to 12:30
D Naccache Mathematical and practical security problems not directly related to cryptography
SASW07 31st January 2012
14:00 to 14:45
J Groth Efficient Verification of ElGamal Ciphertext Shuffles
SASW07 31st January 2012
14:45 to 15:30
T Shrimpton A long answer to the simple question, "Is TLS provably secure?"
SASW07 31st January 2012
16:00 to 16:30
R Horne & G French Scaling Cryptographic Deployments
SASW07 31st January 2012
16:30 to 17:15
G Steel Analysis of Cryptographic Security APIs
SASW07 1st February 2012
09:00 to 09:45
H Krawczyk Cryptographic Extraction
SASW07 1st February 2012
09:45 to 10:30
J Beric & M Ward The practical application of cryptography to international card payments
SASW07 1st February 2012
11:00 to 11:45
A Kiayias Cryptography with Work-based Corruptions and the Combinatorics of Anonymity
SASW07 1st February 2012
11:45 to 12:30
M Bond HSM Portal – Practical Tools built on Theory
SASW07 1st February 2012
14:00 to 14:45
B Preneel Theory and practice for hash functions
SASW07 1st February 2012
14:45 to 15:30
C Paar Lessons Learned from Four Years of Implementation Attacks against Real-World Targets
SASW07 1st February 2012
16:00 to 16:45
G Danezis Secure metrology: From theory to practice
SASW07 2nd February 2012
09:00 to 09:45
T Ristenpart Practice-Driven Cryptographic Theory
SASW07 2nd February 2012
09:45 to 10:30
H Shacham Cars and Voting Machines: Embedded Systems in the Field
SASW07 2nd February 2012
11:00 to 11:45
L Chen From Cryptographer's Cryptography to Engineer's Crypto
SASW07 2nd February 2012
11:45 to 12:30
D Wikström Verificatum -- An efficient and provably secure mix-net
SASW07 2nd February 2012
14:00 to 14:45
C Cremers Key Exchange: Security Models and Automatic Analysis
SASW07 2nd February 2012
14:45 to 15:30
D McGrew Problems in Cryptographic Standards and Implementations
SAS 7th February 2012
16:00 to 16:30
P Aczel Homotopy Type Theory and the Structure Identity Principle
SAS 7th February 2012
16:30 to 17:00
S Riis A logicians approach to Network Coding
SAS 7th February 2012
17:00 to 17:30
A Brooke-Taylor The Bousfield lattice from a set-theoretic perspective
SAS 9th February 2012
16:00 to 16:30
G Primiero Practical Reasoning with Proofs and Types
SAS 9th February 2012
16:30 to 17:00
N Thapen Proof complexity and search problems
SAS 14th February 2012
16:00 to 16:30
I Herbert Lowness for Information
SAS 14th February 2012
16:30 to 17:00
A Montalban Computable Structures of High Scott Rank
SAS 14th February 2012
17:00 to 17:30
T Slaman Number theoretic consequences of Ramsey theoretic principles
SAS 16th February 2012
16:00 to 16:30
M Carl Real closed fields and models of Peano Arithmetic
SAS 16th February 2012
16:30 to 17:00
S Lempp The AE-theory of the partial ordering of the Sigma^0_2-enumeration degrees
SAS 16th February 2012
17:00 to 17:30
P Koepke Formal mathematics and natural language
SAS 17th February 2012
17:30 to 18:30
J Prager IBM Watson from Jeopardy! to Healthcare. Could a quiz-show winning computer advise your doctor?
SAS 18th February 2012
16:25 to 17:25
R Rojas Zuse and Turing
SAS 18th February 2012
17:40 to 18:40
L Moran The laws fascination with homosexual acts: Insights from the Wolfenden review archive
SAS 19th February 2012
10:00 to 11:00
J Prager What does Watson understand? How recent AI activities relate to Turing's vision
SAS 19th February 2012
11:15 to 12:15
H Barendregt From Mind to Turing to Mind
SAS 19th February 2012
13:45 to 14:45
A Stevens Pattern Formation and Turing Pattern in Developing Cell Systems
SAS 19th February 2012
14:45 to 15:45
J Groth Turing and Modern Cryptography
SAS 19th February 2012
16:00 to 17:00
J Richards The contribution of Alan Turing to British intelligence
SAS 21st February 2012
16:00 to 16:30
C Freer Computability and probabilistic symmetries
SAS 21st February 2012
16:30 to 17:00
SAS The Organizers Big open problems: a discussion session
SAS 23rd February 2012
16:00 to 16:30
M Davis Universality and Computation
SAS 23rd February 2012
16:30 to 17:00
H Schwichtenberg Proofs and Computations
SAS 23rd February 2012
17:00 to 17:30
A Pauly The structure of Weihrauch degrees
SAS 28th February 2012
16:00 to 16:30
S Wainer Predictably terminating computations
SAS 28th February 2012
16:30 to 17:00
P Welch Towards transfinite dynamical systems
SAS 1st March 2012
13:30 to 15:00
J Alama Meeting of the Interest Group on Formal Mathematics: Fine-grained mathematical dependencies in the Mizar proof assistant
SAS 1st March 2012
16:00 to 16:30
B Holm Model-comparison games with algebraic rules
SAS 1st March 2012
16:30 to 17:00
R Downey Things I have been thinking about recently, and things I would like to do
SAS 1st March 2012
17:00 to 17:30
A Setzer Beyond inductive definitions -- induction-recursion, induction-induction, coalgebras
SAS 6th March 2012
16:00 to 16:30
N Smart Fully Homomorphic Encryption
SAS 6th March 2012
16:30 to 17:00
G de Miguel Casado Bridging Formal Methods in Computer Science for Scientific Computing and Cognitive Science Modelling Tasks
SAS 6th March 2012
17:00 to 17:30
M Vardi Synthesis from Components
SAS 8th March 2012
13:30 to 15:00
P Aczel Literate Proving: Informal Discussion Group
SAS 8th March 2012
16:00 to 16:30
K Ambos-Spies On the strongly bounded Turing degrees of the computably enumerable sets
SAS 8th March 2012
16:30 to 17:00
J Pich Hard tautologies
SAS 13th March 2012
16:00 to 16:30
J Lutz Two visions from Turing: Universality and the power of constraining resources
SAS 13th March 2012
16:30 to 17:00
C Becker-Asano Computational modeling of emotions
SAS 13th March 2012
17:00 to 17:30
I Kalimullin Limitwise monotonicity spectra and uniformity
SASW08 14th March 2012
13:50 to 14:40
A Garfinkel Far from Turing? Turing’s Paradigm in Physiology
SASW08 14th March 2012
14:50 to 15:40
K Painter Integrating experiment and theory to elucidate the chemical basis of hair and feather morphogenesis
SASW08 14th March 2012
15:50 to 16:10
M Grace & M-T Hütt Spiral-wave prediction in a lattice of FitzHugh-Nagumo oscillators
SASW08 14th March 2012
16:10 to 16:30
L Heaton & N S Jones & E Lopez & P Maini & M Fricker Transport and development in fungal networks
SASW08 14th March 2012
16:30 to 16:50
E Gaffney & S S Lee The Sensitivity of Turing's Pattern Formation Mechanism
SASW08 14th March 2012
17:10 to 18:00
M Mimura Turing's instability versus cross-diffusion-driven instability
SASW08 14th March 2012
18:10 to 19:00
J Sherratt Patterns of Sources and Sinks in Oscillatory Systems
SASW08 15th March 2012
09:30 to 10:20
I Epstein Experimental and Modeling Studies of Turing Patterns in Chemical Systems
SASW08 15th March 2012
10:40 to 11:00
M Holzer & A Scheel A slow pushed front in a Lotka-Volterra competition model
SASW08 15th March 2012
11:00 to 11:20
C Venkataraman Turing patterns on growing surfaces
SASW08 15th March 2012
11:20 to 11:40
C Fleck & B Greese & M Huelskamp Influence of cell-to-cell variability on spatial pattern formation
SASW08 15th March 2012
12:00 to 12:50
Y Nishiura Collision dynamics in dissipative systems
SAS 15th March 2012
13:30 to 15:00
H Schwichtenberg Computational content of coinductive proofs (Interest Group in Formal Mathematics)
SASW08 15th March 2012
14:00 to 14:50
M Dahlem Localized travelling pulses in mirgaine
SASW08 15th March 2012
15:10 to 15:30
M Vaeth Spatial Patterns for Reaction-Diffusion Systems with Unilateral Conditions
SASW08 15th March 2012
15:30 to 15:50
M Pellicer A PDE approach for the dynamics of the inflammatory stage in diabetic wound healing
SASW08 15th March 2012
15:50 to 16:10
S Lee & T Shibata Self-organisation of Cell Asymmetry : Turing’s inspiration is alive in a single cell
SASW08 15th March 2012
16:10 to 16:30
T Woolley & R E Baker & E A Gaffney & P K Maini Stochastic reaction and diffusion on growing domains: understanding the breakdown of robust pattern formation
SASW08 15th March 2012
16:50 to 17:40
S Kondo Turing pattern formation without diffusion
SASW08 15th March 2012
17:50 to 18:40
F Jülicher Pattern formation in active fluids
SASW08 16th March 2012
09:30 to 10:20
A Stevens Turing- and Non-Turing Type Pattern in Interacting Cell Systems
SASW08 16th March 2012
10:40 to 11:00
J Walsh & C Angstmann & P Curmi Linear Stability Analysis of Turing Patterns on Arbitrary Manifolds
SASW08 16th March 2012
11:00 to 11:20
A Madzvamuse Pattern formation during growth development: models, numerics and applications
SASW08 16th March 2012
11:20 to 11:40
M Kucera & F Jaros & T Vejchodsky The influence of non-standard boundary conditions on the generation of spatial patterns
SASW08 16th March 2012
12:00 to 12:50
M Bär Pattern formation in multiscale systems: Homogenization and beyond
SASW08 16th March 2012
14:00 to 14:50
A Scheel Wavenumber selection in closed reaction-diffusion systems
SASW08 16th March 2012
15:10 to 15:30
G Baier & M Goodfellow & P Taylor & Y Wang & D Garry Epileptic Seizure Dynamics as a Selforganised Spatio-temporal Pattern
SASW08 16th March 2012
15:30 to 15:50
S Khare & R Singh Baghel & J Dhar & R Jain Spatial Pattern Formation in Phytoplankton Dynamics in 1-D and 2-D System
SASW08 16th March 2012
15:50 to 16:10
LD Weise Spiral wave initiation in the Reaction-Diffusion-Mechanics models
SASW08 16th March 2012
16:10 to 16:30
B Vasiev & N Harrison & R Diez del Corral & C Weijer Chemotaxis and morphogen dynamics in biological tissues
SASW08 16th March 2012
16:50 to 17:40
P De Kepper & I Szalai & D Cuiñas & J Horváth The design of Turing patterns in solution chemistry
SASW08 16th March 2012
17:50 to 18:40
H Othmer The Effect of the Signaling Scheme on the Robustness of Pattern Formation in Development
SAS 20th March 2012
16:00 to 16:30
J Krajicek Proof complexity generators
SAS 20th March 2012
16:30 to 17:00
M Arslanov Definable relations in the Turing degree structures
SAS 22nd March 2012
13:30 to 15:00
L Paulson The relative consistency of the axiom of choice mechanized using Isabelle/ZF
SAS 22nd March 2012
16:00 to 16:30
JD Hamkins Infinite chess: the mate-in-n problem is decidable and the omega-one of chess
SAS 22nd March 2012
16:30 to 17:00
R Soare The Art of Classical Computability: Why Turing and Not Church?
SASW01 26th March 2012
09:30 to 10:30
J Krajicek Complexity of computations and proofs and pseudo-finite structures
SASW01 26th March 2012
11:00 to 11:30
N Galesi Proof Complexity of Paris-Harrington Tautologies
SASW01 26th March 2012
11:30 to 12:30
S Kreutzer Logical Methods in the Complexity Analysis of Graph Algorithms
SASW01 26th March 2012
14:00 to 15:00
S Dantchev Parameterised Proof Complexity
SASW01 26th March 2012
15:00 to 15:30
O Beyerdorff Parameterized Complexity of DPLL Search Procedures
SASW01 26th March 2012
16:00 to 16:30
F Yang Model Checking for Modal Intuitionistic Dependence Logic
SASW01 26th March 2012
16:30 to 17:30
J Kontinen Complexity results for dependence logic
SASW01 27th March 2012
09:00 to 10:00
A Atserias Indistinguishability in Counting Logics and the Complexity of Semi-Algebraic Proofs
SASW01 27th March 2012
10:00 to 10:30
JD Hamkins The hierarchy of equivalence relations on the natural numbers under computable reducibility
SASW01 27th March 2012
11:00 to 11:30
R Adams Ordinal Strength of Logic-Enriched Type Theories
SASW01 27th March 2012
11:30 to 12:30
S Kreutzer Logical Methods in the Complexity Analysis of Graph Algorithms II
SASW01 27th March 2012
14:00 to 15:00
A Durand The complexity of enumeration and counting for acyclic conjunctive queries
SASW01 27th March 2012
15:00 to 15:30
E Kopczynski Bounded degree and planar spectra
SASW01 27th March 2012
16:00 to 16:30
O Kullmann SAT Solving: Present and Future
SASW01 27th March 2012
16:30 to 17:00
M Vardi Phase Transitions and Computational Complexity
SASW01 27th March 2012
17:30 to 18:30
A Hodges Alan Turing: the creative power of mathematics
SASW01 28th March 2012
09:00 to 10:00
R Santhanam Strong Lower Bounds for Constant-Depth Frege Imply Lower Bounds for Frege
SASW01 28th March 2012
10:00 to 10:30
J Johannsen Separations between propositional proof systems related to clause learning
SASW01 28th March 2012
11:00 to 11:30
N Eguchi Towards a New Theory of Bounded Arithmetic for PSPACE computations
SASW01 28th March 2012
11:30 to 12:30
S Buss NP search problems: Complexity and reducibilities
SAS 28th March 2012
14:00 to 16:00
M Cramer & P Koepke & B Schroeder Interest Group in Formal Mathematics: Natural Language Proof Checking - The Naproche System
SASW01 29th March 2012
09:00 to 10:00
Y Chen From almost optimal algorithms to logics for complexity classes via listings and a halting problem
SASW01 29th March 2012
10:00 to 10:30
M Lauria Space Complexity of Polynomial Calculus (joint work with Yuval Filmus, Jakob Nordstrom, Neil Thapen, Noga Zewi)
SASW01 29th March 2012
11:00 to 11:30
L Kolodziejczyk Toda's theorem in bounded arithmetic with parity quantifiers and bounded depth proof systems with parity gates
SASW01 29th March 2012
11:30 to 12:30
S Buss NP search problems: Provability and reducibilities
SASW01 29th March 2012
14:00 to 15:00
B Holm Descriptive complexity of linear algebra
SASW01 29th March 2012
15:00 to 15:30
W Pakusa Definability of linear equation systems over groups and rings
SASW01 29th March 2012
16:00 to 16:30
J Pich Proof complexity of circuit lower bounds
SASW01 29th March 2012
16:30 to 17:30
PT Nguyen Developing logical theories for several NP search classes
SASW01 30th March 2012
09:00 to 10:00
N Thapen Fragments of approximate counting
SASW01 30th March 2012
10:00 to 10:30
E Jerábek Root finding in TC^0 and open induction
SASW01 30th March 2012
11:00 to 11:30
S Lindell Infinitary methods in finite model theory
SASW01 30th March 2012
11:30 to 12:30
N Schweikardt Locality from circuit lower bounds
SAS 3rd April 2012
16:00 to 16:30
P Kolaitis The Complexity of Query Answering in Inconsistent Databases
SAS 3rd April 2012
16:30 to 17:00
S Abramsky Propositional calculus and the nature of reality
SAS 3rd April 2012
17:00 to 17:30
D Pattinson Reasoning in non-wellfounded logics
SAS 5th April 2012
16:00 to 16:30
P Pudlak Disjoint NP-pairs, automatizability and games
SASW02 10th April 2012
10:00 to 11:00
A Gordon Verifying Crypto Protocols Written in C
SASW02 10th April 2012
11:30 to 12:30
V Vaikuntanathan Multi-key Homomorphic Encryption and Applications
SASW02 10th April 2012
13:30 to 14:30
B Warinschi Compositionality of game-based secure key-exchange
SASW02 10th April 2012
14:30 to 15:30
S Micali Rational Proofs
SASW02 10th April 2012
16:00 to 17:00
U Maurer Constructive cryptography
SASW02 11th April 2012
09:00 to 10:00
P Rogaway Foundations of Garbled Circuits
SASW02 11th April 2012
10:00 to 11:00
M Fischlin Meta-Reductions
SASW02 11th April 2012
11:30 to 12:30
J Groth Pairing-based succinct non-interactive zero-knowledge arguments
SASW02 11th April 2012
13:30 to 14:30
B Blanchet From crypto verif specifications to computationally secure implementations of protocols
SASW02 11th April 2012
14:30 to 15:30
C Gentry Quadratic Span Programs for Succinct NIZKs without PCPs
SASW02 11th April 2012
16:00 to 17:00
G Rothblum How to Compute in the Presence of Leakage
SASW02 12th April 2012
09:00 to 10:00
P Persiano Definitions of Predicate Encryption
SASW02 12th April 2012
10:00 to 11:00
E Kiltz How provably secure are cryptographic primitives used in practice
SASW02 12th April 2012
11:30 to 12:30
D Pointcheval Efficient Smooth Projective Hash Functions and Applications
SASW02 12th April 2012
13:30 to 14:30
A Sahai Leakage-Resilient Zero-Knowledge Proofs and their Applications
SASW02 12th April 2012
14:30 to 15:30
Y Tauman Kalai Where Delegation Meets Einstein
SASW02 12th April 2012
16:00 to 17:00
S Tessaro Semantic security for the wiretap channel
SASW02 12th April 2012
17:00 to 18:00
S Goldwasser Rothschild Lecture: Pseudo Deterministic Algorithms and Applications to Cryptography
SASW02 13th April 2012
09:00 to 10:00
M Naor The Privacy of the Analyst and The Power of the State
SASW02 13th April 2012
10:00 to 11:00
C Pietrzak How to fake auxiliary input
SASW02 13th April 2012
11:30 to 12:30
B Barak Zero Knowledge Proofs and Nuclear Disarmament
SASW02 13th April 2012
13:30 to 14:30
C Fournet Cryptographically verified implementation of TLS 1.2
SASW02 13th April 2012
14:30 to 15:30
Y Dodis Overcoming Weak Expectations
SASW02 13th April 2012
16:00 to 17:00
G Barthe Computer-aided security proofs
SAS 16th April 2012
14:00 to 16:00
R Glaschick Materialization of Universal Turing Machines
SAS 17th April 2012
16:00 to 16:30
N Murphy Uniformity, circuits and non-deterministic Turing machines
SAS 17th April 2012
16:30 to 17:00
D Woods The computational complexity of small universal Turing machines
SAS 17th April 2012
17:00 to 17:30
T Neary The program-size complexity of universal Turing machines
SAS 1st May 2012
16:00 to 16:30
A Kolokolova Proof complexity of expander graph techniques
SAS 1st May 2012
16:30 to 17:00
K Paterson Cryptographic theory for practice's sake
SAS 3rd May 2012
16:00 to 16:30
V Kabanets Yin and Yang of Computer Science: Algorithms versus Lower Bounds
SAS 3rd May 2012
16:30 to 17:00
R Natarajan Circularity, Paradoxes and Proofs
SAS 3rd May 2012
17:00 to 17:30
A Melnikov Hyperarithmetical categoricity and abelian groups
SAS 8th May 2012
16:00 to 16:30
M Garlik Ajtai's Completeness Theorem for Nonstandard Finite Structures
SAS 8th May 2012
16:30 to 17:00
R Downey Open Problem Session
SAS 9th May 2012
14:00 to 15:00
S Riis Valiants Shift problem: A reduction to a problem about graph guessing games
SAS 10th May 2012
16:00 to 16:30
A Setzer Consistency, physics, and coinduction
SAS 10th May 2012
16:30 to 17:00
P Aczel Syntax and Semantics - another look, especially for dependent type theories
SAS 10th May 2012
17:00 to 17:30
E Mayordomo Effective Fractal Dimension in Computational Complexity and Algorithmic Information Theory
SAS 15th May 2012
16:00 to 16:30
R Lubarsky Elementary Real Analysis
SAS 15th May 2012
16:30 to 17:00
A Beckmann Consistency statements in Bounded Arithmetic
SAS 17th May 2012
16:00 to 16:30
S Cook A Complexity Class Based on Comparator Circuits
SAS 17th May 2012
16:30 to 17:00
S Tarafder Algebra-valued models of set theory
SAS 17th May 2012
17:00 to 17:30
S Müller Polylogarithmic Cuts of Models of Weak Arithmetic
SAS 22nd May 2012
16:00 to 16:30
M Seisenberger On the Computational Content of the Minimal-Bad-Sequence Argument
SAS 22nd May 2012
16:30 to 17:00
U Berger Coinduction in Computable Analysis
SAS 22nd May 2012
17:00 to 17:30
K Lange Complexity of exponential integer parts on real closed exponential fields
SAS 29th May 2012
16:00 to 16:30
J Avigad Uniform distribution and algorithmic randomness
SAS 29th May 2012
16:30 to 17:00
Z McKensey Automorphisms of models of set theory
SAS 31st May 2012
16:00 to 16:30
R Ramanujam Bounds on proof size in security verification
SAS 31st May 2012
16:30 to 17:00
M Soskova Definability via Kalimullin Pairs
SAS 31st May 2012
17:00 to 17:30
M Escardo Searchable sets and ordinals in system T
SAS 7th June 2012
16:00 to 16:30
A Lewis The complexity of computable categoricity
SAS 7th June 2012
16:30 to 17:00
A Soskova Conservative extensions and the jump of a structure
SASW04 2nd July 2012
09:30 to 10:30
J Lutz Alan Turing in the twenty-first century: normal numbers, randomness, and finite automata
SASW04 2nd July 2012
11:00 to 12:00
A Nies Demuth randomness and its variants
SASW04 2nd July 2012
12:00 to 12:30
S Sanders Nonstandard Analysis: a new way to compute
SASW04 2nd July 2012
14:00 to 15:00
A Shen Topological arguments in Kolmogorov complexity
SASW04 2nd July 2012
15:00 to 15:30
K Miyabe Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness
SASW04 2nd July 2012
17:00 to 17:30
T Petrovic Two betting strategies that predict all compressible sequences
SASW04 2nd July 2012
17:30 to 18:00
J Rute Computable randomness and its properties
SASW04 3rd July 2012
09:00 to 10:00
S Simpson Propagation of partial randomness
SASW04 3rd July 2012
10:00 to 10:30
P Cholak Computably enumerable partial orders
SASW04 3rd July 2012
11:00 to 12:00
V Brattka On the computational content of the Baire Category Theorem
SASW04 3rd July 2012
12:00 to 12:30
C Porter Trivial measures are not so trivial
SASW04 3rd July 2012
14:00 to 15:00
M Hoyrup On the inversion of computable functions
SASW04 3rd July 2012
15:00 to 15:30
I Herbert (Almost) Lowness for K and finite self-information
SASW04 3rd July 2012
17:00 to 17:30
B Bauwens Prefix and plain Kolmogorov complexity characterizations of 2-randomness: simple proofs
SASW04 4th July 2012
09:00 to 10:00
J M Hitchcock Limitations of Efficient Reducibility to the Kolmogorov Random Strings
SASW04 4th July 2012
10:00 to 10:30
M Zimand Language compression for sets in P/poly
SASW04 4th July 2012
11:00 to 12:00
M Koucky The story of superconcentrators – the missing link
SASW04 4th July 2012
12:00 to 12:30
D Nguyen Autoreducibility for NEXP
SASW04 5th July 2012
09:00 to 10:00
D Turetsky SJT-hardness and pseudo-jump inversion
SASW04 5th July 2012
10:00 to 10:30
J Teutsch Translating the Cantor set by a random
SASW04 5th July 2012
11:00 to 12:00
G Barmpalias Exact pairs for the ideal of the $K$-trivial sequences in the Turing degrees
SASW04 5th July 2012
12:00 to 12:30
P A Heiber Normality and Differentiability
SASW04 5th July 2012
14:00 to 14:30
W Fouche Kolmogorov complexity and Fourier aspects of Brownian motion
SASW04 5th July 2012
14:30 to 15:00
J Franklin Ergodic theory and strong randomness notions
SASW04 5th July 2012
15:00 to 15:30
Z Reznikova Integration of ideas and methods of Kolmogorov Complexity and classical mathematical statistics
SASW04 5th July 2012
17:00 to 17:30
D Ryabko Limit capacity of non-stochastic steganographic systems and Hausdorff dimension
SASW04 6th July 2012
10:00 to 10:30
K Tadaki Cryptography and Algorithmic Randomness
SASW04 6th July 2012
11:00 to 12:00
A Lewis The typical Turing degree
SASW04 6th July 2012
12:00 to 12:30
H Takahashi Algorithmic randomness and stochastic selection function
SASW04 6th July 2012
14:00 to 15:00
A Day Cupping with random sets
SASW04 6th July 2012
16:00 to 17:00
R Downey Resolute sets and initial segment complexity
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons