# Seminars archive

Event Code Date Speaker Seminar Title Presentation Material
LAA 18th April 2006 T Brihaye O-minimal hybrid systems, bisimulation and control
LAAW04 13th April 2006 On the power of Lovasz-Schrijver hierarchy
LAAW04 13th April 2006 P Naumov Meta complexity of propositional proofs
LAAW04 13th April 2006 Parametrised proof complexity
LAAW04 13th April 2006 A complete resolution-like calculus for Maxsat
LAAW04 13th April 2006 The strength of multilinear proofs
LAAW04 12th April 2006 Connections between zero-one programming, communication complexity and proof complexity
LAAW04 12th April 2006 Narrow proofs may be spacious: separating space and width in resolution
LAAW04 12th April 2006 T Pitassi Using lower bounds in proof complexity
LAAW04 11th April 2006 Resolution by pebbling games
LAAW04 11th April 2006 S Riis Sporadic propositional proofs
PDS 11th April 2006 Phase transitions or crossovers: Anomalous finite-size effects in low-dimensional driven systems
LAAW04 11th April 2006 R Impagliazzo Which SAT instances are the hardest?
LAAW04 11th April 2006 A minimal quantified proof system for polytime reasoning
LAAW04 11th April 2006 The proof complexity of matrix algebra
LAAW04 11th April 2006 Constraint propagation as a proof system
LAAW04 11th April 2006 S Cook Capturing complexity classes by their reasoning power
LAAW04 10th April 2006 When can $S^1_2$ prove the weak pigeonhole principle?
LAAW04 10th April 2006 E Jerabek Approximate counting in bounded arithmetic
LAAW04 10th April 2006 $T^1_2, T^2_2$ and search problems
LAAW04 10th April 2006 Uniform proof complexity
LAAW04 10th April 2006 The complexity of proving the discrete Jordan Curve theorem and related principles
LAAW04 10th April 2006 P Pudlak $On \forall\Sigma_1^b$ sentences provable in bounded arithmetic
PDSW02 7th April 2006 Clustering, coarsening and directed transport in a granular gas: Lecture III
PDSW02 7th April 2006 Introduction to nonequilibrium work theorems: Lecture III
PDSW02 7th April 2006 Growth models in one dimension and random matrices: Lecture III
LAA 7th April 2006 The semantics of modularity
PDSW02 7th April 2006 Modelling of traffic flow and related transport problems: Lecture III
PDSW02 7th April 2006 Applications of nonequilibrium models in biological systems: Lecture III
PDSW02 6th April 2006 Modelling of traffic flow and related transport problems: Lecture II
PDSW02 6th April 2006 New critical phenomena in complex networks
PDSW02 6th April 2006 Applications of nonequilibrium models in biological systems: Lecture II
LAA 6th April 2006 Games as controlled optimization problems