The Czech Mathematical Society
and The European Mathematical Society organize
Joint EMS mathematical weekend
September 35, 2004, Prague, Czech Republic



Europe has a long tradition in Mathematics. The development of Mathematics in Europe
was almost always on a national, or even regional, basis.
One should therefore speak of "traditions" rather than a single "tradition"
in Mathematics in Europe. This was of course a reflection of the political
disputes and cultural differences among the many european nationalities.
However, the last two decades have witnessed major changes in these state of affairs:
many of the political conflicts have disapeared and the information revolution
has broken national barriers. Meanwhile, a European sense of identity is slowly growing.
The European Mathematical Society (EMS) has helped bringing these changes
to the European mathematical community through its various activities, including
the organization of meetings and workshops, such as the European Congress
of Mathematics and the EMS Summer Schools.
We follow the scenario suggested by EMS on series of smaller, more frequent,
meetings in specific areas of mathematics: the EMS Mathematical Weekends.
They offer a chance for European and other mathematicians working in related
areas to get together and interact on a more permanent basis.
This is the second meeting in a newly established series, following the
first EMS Mathematical Weekend
organized by the Portugese Mathematical Society in Lisbon in 2003.
Plenary lectures
 Eduard Feireisl (Czech Academy of Sciences, Prague):
On the mathematical theory of viscous compressible fluids
 Errico Presutti (Universita di Roma "Tor Vergata", Italy):
Probabilistic and variational methods in problems of phase coexistence
 Alexander A. Razborov (Institute for Advanced Study,
Princeton, U.S.A. / Steklov Mathematical Institute, Moscow, Russia):
Some Current Trends in Proof Complexity
 Jan Saxl (University of Cambridge, United Kingdom):
Some recent applications of the classification of finite simple groups
Conference photo
More photos here!
Forthcoming mathematical weekend
will be held in Barcelona, September 1618, 2005
Programme
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 
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 
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


Organizing committee
 Pavel Exner (Czech Academy of Sciences)
 Eduard Feireisl (Czech Academy of Sciences)
 chairing the session Mathematical Fluid Mechanics
 Jiri Fiala (Charles University)
 Jan Krajicek (Czech Academy of Sciences)
 chairing the session Complexity of Computations and Proofs
 Jan Kratochvil (Charles University)
 Roman Kotecky (Charles University)
 chairing the session Mathematical Statistical Physics
 Jaroslav Nesetril (Charles University)
 chairing the session Discrete Mathematics and Combinatorics
 Jiri Rakosnik (Czech Academy of Sciences)
Please contact session chairs for the possibility of delivering a short presentation.
Local information
The mathematical weeekend will take place in the newly reconstructed building of the
School of Computer Science of Faculty of
Mathematics and Physics,
Charles University, which is located in the very historical Prague's quarter Mala Strana,
just below the Prague Castle (see the photo).
The accommodation can be reserved in nearby hotels and guest rooms in
student residences upon request. A limited pool of reserved rooms will be offered in
first come first serve manner.
There is no conference fee charged.
Acknowledgement
The meeting is organized by jointly by
European Mathematical Society and
Czech Mathematical Society  section of the
Union of Czech Mathematicians and Physicists.
We greatly appreciate support by
Charles University in Prague  Faculty of Mathematics and Physics,
Institute for Theoretical Computer Science (ITI) and by
Research Training Network COMBSTRU
 Combinatorial Structure of Intractable Problems.