Friday, September 3 
14:00  Opening ceremony 
14:30  Plenary lecture
Jan Saxl (University of Cambridge, United Kingdom):
Some recent applications of the classification of finite simple groups 
15:30  Coffee break 
16:00 
Discrete Mathematics and Combinatorics 
Complexity of Computations and Proofs 
Mathematical Fluid Mechanics 
Mathematical Statistical Physics 
Peter Cameron (University of London, United Kingdom):
Cyclic automorphisms of homogeneous structures
Gabor Tardos (Alfred Renyi Institute of Mathematics, Budapest, Hungary):
Local chromatic number and the BorsukUlam theorem 
Peter Buergisser (University of Paderborn, Germany):
Counting Complexity classes for algebraic geometry
Oleg Verbitsky (Lviv University, Ukraine):
First order descriptive complexity of finite graphs 
Josef Malek (Charles University, Prague, Czech Rep.):
Steady flows of incompressible fluids with nonconstant viscosity
 contributed talks:
M. Pokorny (Prague):
Stabilization to equilibria for compressible NavierStokes equations with infinite mass



18:00  MVSJCMF business meeting 

Saturday, September 4 
9:00  Plenary lecture
Eduard Feireisl (Czech Academy of Sciences, Prague):
On the mathematical theory of viscous compressible fluids

10:00  Coffee break 
10:30 
Discrete Mathematics and Combinatorics 
Complexity of Computations and Proofs 
Mathematical Fluid Mechanics 
Mathematical Statistical Physics 
 contributed talks
Peter Mihok (Kosice):
Homomorphism closed properties of object systems and hereditary properties of their cores
Miklos Ruszinko (Budapest):
Random Intersecting Hypergraphs
Martin Loebl (Prague):
On the dimer problem and the Ising problem in finite 3D lattices

Peter Bro Miltersen (University of Aarhus, Denmark):
Topologically constrained bounded width computation
Albert Atserias (Universitat Politecnica de Catalunya, Barcelona, Spain):
The Complexity of Random 3SAT: a Survey and New Results 
Victor Starovoitov (CAESAR, Bonn, Germany):
The problem on a motion of a rigid body in a fluid:
Uniqueness of the solution and some other questions
Marius Tucsnak (University of Nancy, France):
Analysis and control of the motion of a rigid body immersed in a fluid 
Marek Biskup (University of California, Los Angeles, U.S.A.):
Acquaintance chains and longrange percolation


12:30  Lunch break 
14:30  Plenary lecture
Errico Presutti (Universita di Roma "Tor Vergata", Italy):
Probabilistic and variational methods in problems of phase coexistence 
15:30  Coffee break 
16:00 
Discrete Mathematics and Combinatorics 
Complexity of Computations and Proofs 
Mathematical Fluid Mechanics 
Mathematical Statistical Physics 
Oriol Serra (Universitat Politecnica de Catalunya, Barcelona, Spain):
On the ErdosTuran property of basis
Patrice Ossona de Mendez (CNRS, Paris, France):
Touching and Crossing 
Stefan S. Dantchev (University of Leicester, United Kingdom):
Complexity gaps in propositional proof complexity
Stanislav Zak (Prague):
Branching programs
Robert Spalek (Amsterdam):
Strong direct product theorems and optimal timespace tradeoffs 
Antonin Novotny (University of ToulonVar, France):
Large time behaviour of flows of viscous compressible and heat conducting gas
 contributed talks:
R. Vodak (Berlin):
On a decay rate for 2D viscous compressible NavierStokes equations
S. Necasova (Prague):
Steady fall of a rigid body in a viscous fluid 
Dmitry Ioffe (Technion, Haifa, Izrael):
Random phase boundaries statistical mechanics


18:00  Conference dinner 

Sunday, September 5 
9:00  Plenary lecture
Alexander A. Razborov (Institute for Advanced Study,
Princeton, U.S.A. / Steklov Mathematical Institute, Moscow, Russia):
Some Current Trends in Proof Complexity 
10:00  Coffee break 
10:30 
Discrete Mathematics and Combinatorics 
Complexity of Computations and Proofs 
Mathematical Fluid Mechanics 
Mathematical Statistical Physics 
 contributed talks:
Daniel Kral (Prague):
Edgedisjoint odd cycles in planar graphs
Petr Hlineny (Ostrava/Prague):
On the Computational Complexity of Matroid Minors

Michal Koucky (Montreal/Prague):
Complexity measures through the lense of Kolmogorov
Kerry Ojakian (Prague):
Ramsey Lower Bounds in Bounded Arithmetic
Antonina Kolokolova (Prague):
Systems of bounded arithmetic from descriptive complexity
Neil Thapen (Oxford):
Weak theories of linear algebra
Pavel Pudlak (Prague):
Hard principles based on games 

Kostya Khanin (Newton Institute, Cambridge, United Kingdom):
Directed polymers in random potentials

