Department of Computer Science | Institute of Theoretical Computer Science | CADMO

Theory of Combinatorial Algorithms

Prof. Emo Welzl and Prof. Bernd Gärtner

Activity Report 2014

Theory of Combinatorial Algorithms
Teaching and Research Group Emo Welzl

Institut für Theoretische Informatik
Departement Informatik
ETH Zürichphone +41-44-632 73 92
CH-8092 Zürichfax+41-44-632 10 63


Personnel


top

Guests


top

Grants


top

Publications


top

Lectures


top

T. HERTLI
"Breaking the PPSZ Barrier for Unique 3-SAT", CSE Theory Seminar, UC San Diego, USA (Jan 27, 2014).

M. HOFFMANN
"Graph Drawings with Relative Edge Length Specifications", 26th Canadian Conference on Computational Geometry (CCCG 2014), Halifax, Nova Scotia, Canada (Aug 12, 2014).

V. KUSTERS
"Planar Packing of Binary Trees", EuroGIGA Final Conference, Freie Universität Berlin, Germany (Feb 18, 2014).
"Column Planarity and Partial Simultaneous Geometric Embedding", Graph Drawing 2014, University of Würzburg, Germany (Sep 25, 2014).
"Reconstructing Point Set Order Types from Radial Orderings", 25th International Symposium on Algorithms and Computation (ISAAC), Jeonju Traditional Culture Center, South Korea (Dec 15, 2014).

S. STICH
"Probabilistic Estimate Sequences", TAO research seminar, INRIA Saclay, Île-de-France, France (Mar 25, 2014).
"Probabilistic Estimate Sequences", 8th workshop on Theory of Randomized Search Heuristics (ThRaSH 2014) Jena, Germany (Apr 4, 2014).
"Randomized Methods in Optimization", 8th Zurich Machine Learning and Data Science Meetup, Zurich, Switzerland (Sep 30, 2014).

M. SZEDLÁK
"Higher dimensional discrete Cheeger inequalites", Oberseminar, University of Cologne, Germany (May 7 2014).

A. THOMAS
"Recognizability & Long Cycles in USOs", COGA Breakfast Seminar, TU Berlin, Germany (Aug 26, 2014).

E. WELZL
"When Conflicting Constraints can be Resolved - the Local Lemma and Satisfiability ", The Institute Colloquium, Institute of Science and Technology (IST Austria), Klosterneuburg, Maria Gugging, Austria (Jan 13, 2014).
"The Counting of Crossing-Free Geometric Graphs - Algorithms and Combinatorics", Pre-Workshop (WALCOM) School on Algorithms and Combinatorics, IIT Chennai, India (Feb 10, 2014).
"The Counting of Crossing-Free Geometric Graphs - Algorithms and Combinatorics”, Summit 240 Conference, Alfréd Rényi Institute of Mathematics, Budapest, Hungary (Jul 10, 2014; invited plenary talk).
"The Counting of Crossing-Free Geometric Graphs - Algorithms and Combinatorics (Order on Order-Types)", Colloquium in Honor of the 60th Birthday of Peter Gritzmann, Munich Technical University, Germany, (Dec 18, 2014).

M. WETTSTEIN
"Counting and Enumerating Crossing-free Perfect Matchings", EuroGIGA Final Conference, Freie Universität Berlin, Germany (Feb 21, 2014).
"Counting and Enumerating Crossing-free Geometric Graphs", Japanese-Swiss Workshop on Combinatorics and Computational Geometry, University of Tokyo, Japan (Jun 4, 2014).
"Counting and Enumerating Crossing-free Geometric Graphs", 30th Annual Symposium on Computational Geometry (SoCG), University of Kyoto, Japan (Jun 8, 2014).

Courses and Seminars


top

Fall 14

See also the Course Catalogue

Spring 14

See also the Course Catalogue

Organization of Workshops etc.


top

Dissertations


top

Master Theses


top

Bachelor and Semester Theses / Internship Projects


top

Miscellaneous


top

K. FUKUDA
Editorial Board Member of European J. Combinatorics, Computational Geometry: Theory and Applications, Applied Mathematics Research eXpress.

B. GÄRTNER
Mitglied im Ausbildungs- und Beratungszentrum für Informatikunterricht ABZ und im Kinderlabor.
Mobilitätsberater des Departements Informatik

T. HERTLI
Teach. Assistance Coordinator.
Teach. Assistance Satisfiability of Boolean Formulas - Combinatorics and Algorithms (D-INFK) (Spring 14).
Teach. Assistance Informatik (D-MATH, D-PHYS) (Fall 14).

M. HOFFMANN
Informatik Koordinator.
Teach. Assistance Algorithms Lab (D-INFK) (Fall 14).
Member of the CGAL Editorial Board.

Program committee member of

V. KUSTERS
Coordinator Mittagsseminar.
Teach. Assistance Polynomials (D-INFK) (Spring 14).
Teach. Assistance Algorithms, Probability, and Computing (D-INFK) (Fall 14).
Best Presentation Award at Graph Drawing 2014.

J. MATOUŠEK
Elected member of the

Editorial Board member of

Program committee member of

Juror for the Richard-Rado-Prize 2014 of the Fachgruppe Diskrete Mathematik of the German Mathematical Society (DMV), awarded at the Goethe-Universität Frankfurt am Main, May 2014.
Co-winner of Best Paper Award at the 30th Annual Symposium on Computational Geometry (SoCG) (2014).

M. MILATZ
Teach. Assistance Algorithms, Probability, and Computing (D-INFK) (Fall 14).

S. STICH
Webmaster www-gremo (until Sep 30, 2014).

Program committee member of

M. SZEDLÁK
Teach. Assistance Polyhedral Computation (D-MATH) (Spring 14).
Teach. Assistance Algorithms, Probability, and Computing (D-INFK) (Fall 14).

A. THOMAS
Teach. Assistance Algorithms Lab (D-INFK) (Fall 14).
Teach. Assistance Informatik (D-MATH, D-PHYS) (Fall 14).

H. TYAGI
Webmaster www-gremo (since Oct 1, 2014).
Teach. Assistance Data Mining: Learning from Large Data Sets (D-INFK) (Spring 14).
Contact Assistant Geometry: Combinatorics and Algorithms (D-INFK) (Fall 14).

E. WELZL
Member of the board (deputy head) of the Department of Computer Science, ETH Zurich.

Editorial/Advisory Board member of

Member (chair, contact person) of selection committees for

Member of the

Program committee member of

Delegierter für Professorenwahlen an der ETH Zürich.
Elected as a corresponding member to the Austrian Academy of Sciences (OeAW).

M. WETTSTEIN
Contact Assistant Algorithms, Probability, and Computing (D-INFK) (Fall 14).


Software


top