skip to content
 

Seminars archive

E.g., 2018-12-11
E.g., 2018-12-11
Event Code Date Speaker Seminar Title Presentation Material
PDSW03 26th June 2006 A nontrivial constant c=0.29795219028 in one and three dimensional random walks
LAA 26th June 2006 Modelling in logic; solving with SAT
PDSW03 26th June 2006 Scaling functions for finite-size corrections in extreme statistics
LAA 23rd June 2006 A deterministic subexponential algorithm for solving parity games
LAA 22nd June 2006 On the complexity of infinite computations
LAA 20th June 2006 Analysis of recursive Markov chains, recursive Markov decision processes and recursive stochastic games. Part III.
PDS 15th June 2006 M Bramson Exclusion processes in one and higher dimensions
LAA 15th June 2006 Analysis of recursive Markov chains, recursive Markov decision processes and recursive stochastic games (Part II)
LAA 14th June 2006 Environment abstraction for parameterised systems
PDS 13th June 2006 Point processes with specified correlation functions
LAA 13th June 2006 Analysis of recursive Markov chains, recursive Markov decision processes and recursive stochastic games (Part I)
LAA 12th June 2006 Model theory on well-behaved finite structures
PDS 9th June 2006 Informal discussions
PDS 8th June 2006 Dynamical and mosaic lengths in a model glass
LAA 8th June 2006 Choiceless polynomial time
PDS 6th June 2006 Social balance on networks: The dynamics of friendship and hatred
LAA 6th June 2006 And logic begat computer science: When giants roamed the Earth
5th June 2006 S Cook Computational complexity and proofs of combinatorial principles
LAA 5th June 2006 Post's lattice with applications to complexity theory (Part III)
PDS 2nd June 2006 Statistical mechanics: Historical overview and current issues
PDS 1st June 2006 A possible classification for nonequilibrium steady states
LAA 1st June 2006 Post's lattice with applications to complexity theory (Part II)
PDS 31st May 2006 Phase transitions and mesoscopic structures in systems with long range interactions
PDS 30th May 2006 A sigma model approach to glassy dynamics
LAA 30th May 2006 Post's lattice with applications to complexity theory (Part I)
PDS 25th May 2006 Multiclass invariant measures for TASEP and multitype queuing systems
LAA 25th May 2006 A physical analysis of mechanical computability
PDS 23rd May 2006 Pattern formation in nonequilibrium systems: the Liesegang case
LAA 23rd May 2006 Automata-based techniques for the analysis of dynamic concurrent programs
PDS 18th May 2006 Quasi stationary distributions and Fleming Viot processes
LAA 18th May 2006 Solving games without determinization
LAA 17th May 2006 Model checking for probabilistic real-time systems
PDS 16th May 2006 Shear-thickening and the glass transition
LAA 16th May 2006 Don't care words with an application to the automata-based approach for real addition
15th May 2006 Picocanonical Ensembles: A theoretical description of metastable state
LAA 15th May 2006 Connecting logic and learning
LAAW05 12th May 2006 Compact propositional encodings of first-order theories
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons