The Czech Mathematical Society and The European Mathematical Society organize Joint EMS mathematical weekend September 3-5, 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 16-18, 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 Borsuk-Ulam 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 non-constant viscosity   - contributed talks: M. Pokorny (Prague): Stabilization to equilibria for compressible Navier-Stokes equations with infinite mass
18:00	MVS-JCMF 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 3-SAT: 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 long-range 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 Erdos-Turan 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 time-space tradeoffs Antonin Novotny (University of Toulon-Var, France): Large time behaviour of flows of viscous compressible and heat conducting gas   - contributed talks: R. Vodak (Berlin): On a decay rate for 2-D viscous compressible Navier-Stokes 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): Edge-disjoint 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.