 Atelier sur le calcul polyédrique17 au 20 octobre 2006Programme |
|||
|
||||||||||
Le mardi 17 octobre 2006 |
||||||||
|
|
||||||||
|
09:00 - 10:00
|
Inscription
|
Salle 5345
|
|
09:00 - 10:00
|
Café croissants
|
Salle 6245
|
|
10:00 - 10:10
|
Introduction
|
Salle 6214
|
|
Session 1a - Polyhedral Computation
Salle de réunion : 6214 |
|
10:10 - 10:50
|
Komei Fukuda
(Swiss Federal Institute of Technology, Zurich and Lausanne) Introduction to Polyhedral Computation | Résumé |
|
10:50 - 11:30
|
Gerhard Reinelt
(University of Heidelberg) Polyhedral Computations and Practical Problem Solving | Résumé |
|
11:30 - 12:10
|
Jesús De Loera
(University of California, Davis) Recent Progress in the Test Set method for Lattice Point Problems | Résumé |
|
12:10 - 14:00
|
Pause déjeuner
|
|
Session 1b - Combinatorial Generation
Salle de réunion : 6214 |
|
14:00 - 14:40
|
Brendan D. McKay
(Australian National University) Constructive Enumeration without Isomorphs | Résumé |
|
14:40 - 15:20
|
Alexander Hulpke
(Colorado State University) Computing with group actions (in GAP) | Résumé |
|
15:20 - 16:00
|
Khaled Elbassioni
(Max-Planck-Institut für Informatik) Some combinatorial generation techinques and their applications in vertex enumeration | Résumé |
|
Session 1c - Open Problems (16h00 - 17h00)
Salle de réunion : 6214 |
|
Günter Rote
(Freie Universität Berlin) On the number of cells in the source unfolding of convex 4-polytopes | Résumé |
|
Antoine Deza
(McMaster University) Polytopes and arrangements: diameter and curvature | Résumé |
|
16:00 - 17:00
|
D'autres présentations sont les bienvenues
|
|
|
17:00
|
Cocktail de bienvenue
|
Salle 6245
|
Le mercredi 18 octobre 2006 |
||||||||
|
|
||||||||
|
09:30 - 10:00
|
Café croissants
|
Salle 6245
|
|
Session 2a - Discrete Geometry
Salle de réunion : 6214 |
|
10:00 - 10:40
|
Charles Audet
(École Polytechnique de Montréal) Extremal problems for convex polygons | Résumé |
|
10:40 - 11:20
|
Achill Schürmann
(University of Magdeburg) Polyhedra with symmetries in the geometry of numbers | Résumé |
|
11:20 - 12:00
|
Tamon Stephen
(Simon Fraser University) Colourful Simplicial Depth | Résumé |
|
12:00 - 14:00
|
Pause déjeuner
|
|
Session 2b - Computational Complexity
Salle de réunion : 6214 |
|
14:00 - 14:40
|
Endre Boros
(Rutgers University) Vertex generation and related problems | Résumé |
|
14:40 - 15:20
|
Vladimir Gurvich
(Rutgers University) Generating all vertices of a polyhedron is hard | Résumé |
|
15:20 - 16:00
|
Discussion
|
|
|
16:00 - 17:00
|
Café
|
Salle 6245
|
Le jeudi 19 octobre 2006 |
||||||||
|
|
||||||||
|
09:30 - 10:00
|
Café croissants
|
Salle 6245
|
|
Session 3a - Semidefinite Programming
Salle de réunion : 6214 |
|
10:00 - 10:40
|
Masakazu Kojima
(Tokyo Institute of Technology) Sparsity in Sum of Squares and Semidefinite Programming Relaxation of Polynomial Optimization Problems | Résumé |
|
10:40 - 11:20
|
Pablo A. Parrilo
(Massachusetts Institute of Technology) Exact semidefinite representations for genus zero curves | Résumé |
|
11:20 - 12:00
|
Frank Vallentin
(Centrum voor Wiskunde en Informatica) Approximating symmetric polyhedra using semidefinite programming | Résumé |
|
12:00 - 14:00
|
Pause déjeuner
|
|
Session 3b - Applications
Salle de réunion : 6214 |
|
14:00 - 14:40
|
Hiroshi Imai
(University of Tokyo) Polyhedral Approaches to Quantum Information | Résumé |
|
14:40 - 15:20
|
Thorsten Theobald
(Technische Universität Berlin) Computation of Nash equilibria in restricted games | Résumé |
|
15:20 - 16:00
|
Matthias Franz
(Siemens AG) Using polyhedral computations to understand the geometry and topology of G-varieties | Résumé |
|
16:00 - 17:00
|
Café
|
Salle 6245
|
Le vendredi 20 octobre 2006 |
||||||||
|
|
||||||||
|
09:30 - 10:00
|
Café croissants
|
Salle 6245
|
|
Session 4a - Structured Input
Salle de réunion : 6214 |
|
10:00 - 10:40
|
Jean-François Maurras
(Université de la Méditerranée) On the connectivity of the $k$-clique polyhedra | Résumé |
|
10:40 - 11:20
|
Mathieu Dutour Sikiric
(Rudher Boskovic Institute) The recursive adjacency decomposition method | Résumé |
|
11:20 - 11:30
|
Pause
|
|
Session 4b - Applications II
Salle de réunion : 6214 |
|
11:30 - 12:10
|
Roberto Bagnara
(Università di Parma) Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems | Résumé |
|
12:10 - 12:50
|
René Brandenberg
(Technische Universität München) Approximating optimal containment problems | Résumé |
Mise à jour: Le lundi 16 octobre 2006 11:01