|
CP2001 Doctoral Programme
December 1, 2001
Paphos, Cyprus
www.math.unipd.it/~frossi/doctoral.html
|
Pictures of the doctoral dinner
Other CP 2001 pictures
In addition to the technical presentations, a special programme for PhD
students will be held alongside the
CP 2001 conference.
Students will be able to
present their work and receive feedback from more senior members of the
community. In addition, there will be tutorials about research skills and
career issues. Students attending the doctoral programme will also present
their work in the poster session of the main conference.
The CP 2001 doctoral programme has the following objectives: to
provide a setting for mutual feedback on participants' current
research and guidance on future research directions; to develop a
supportive community of scholars and a spirit of collaborative
research; to support a new generation of researchers with information
and advice on academic, research, industrial, and non-traditional
career paths; to contribute to the conference goals through
interaction with other researchers and participation in conference
events.
Program:
The program will consists of students' presentations and
tutorials given by senior researchers of the field.
Preliminary schedule for Dec. 1st:
- 9:00: Opening (Francesca Rossi)
- 9:15-10:30 (session chair: Alan Borning):
- Improving satisfiability algorithms by using search pruning techniques
Ines Lynce, Technical University of Lisbon
-
An incremental and non-binary CSP solver: the hyperpolyhedron
search algorithm
Miguel Angel Salido, University of Valencia
- Distributed dynamic backtracking
Arnold Maestre, LIRMM-CNRS
-
Exploiting the structure of constraint satisfaction problems
by interchangeability
Nicoleta Neagu, EPFL
-
Optimum symmetry breaking in CSPs using group theory
Iain McDonald, University of St. Andrews, Scotland
-
10:30-11:00: Coffee break
- 11:00-12:30 (session chair: Christian Bessiere):
- Counting satisfiable k-CNF formulas
Mitch Harris, University of Illinois
- Automatic generation of implied clauses for SAT
Lyndon Drake, University of York
- Comparing SAT encodings for model checking
Dan Sheridan, University of York
- Heterogeneous constraints in engineering
Frank Seelisch, Daimler Chrysler
- A method for comparing soft constraint frameworks
Rosella Gennari, CWI and ILLC
- Partially ordered constraint optimization problems
Marco Gavanelli, University of Ferrara
- 12:30-14:00: Lunch
- 14:00-15:00: Doctoral tutorial (chair: Pedro Meseguer)
How to write a review
Toby Walsh, University of York
- 15:00-15:45 (session chair: Pedro Meseguer):
- Aircraft assignment: a basic CP model
Erik Kilborn, Chalmers Univ of Tech, Sweden
- Building negative reduced cost paths using constraint programming
Louis-Martin Rousseau, University of Montreal
- Constraint-based methods in object-oriented programming environments
Georg Ringwelski, GMD FIRST
-
15:45-16:00: Coffee break
-
16:00-17:15 (session chair: Francesca Rossi):
- Stable generated models of generalized constraint logic programs
Sibylle Schwarz, University of Leipzig
-
Verification of infinite-state systems by specialization
of CLP programs
Fabio Fioravanti, CNR and University of Roma
-
Labelling heuristics for CSP application domains
Keynep Kiziltan, Uppsala University
- A global constraint for parallelizing the execution of task sets
in non-preemptive scheduling
Michael Marte, University of Munich
- High-level modelling and reformulation of constraint satisfaction problems
Brahim Hnich, Uppsala University
Accepted students (by clicking on their name you will get a 6-page
description of their work):
- Ines Lynce, Technical University of Lisbon
- Hyuckchul Jung, Univ. of Southern California
- Iain McDonald,
Univ. of St. Andrews, Scotland
- Frank Seelisch, Daimler Chrysler
- Michael Marte, Univ. of Munich
- Nicoleta Neagu, EPFL
- A. Panati, Univ. Torino
- Miguel Angel Salido, Univ. of Valencia
- Louis-Martin Rousseau ,
Univ. of Montreal
- Georg Ringwelski, GMD FIRST
- Marco Gavanelli , Univ. of Ferrara
- Dan Sheridan, Univ. of York
- Lyndon Drake, Univ. of York
- Rosella Gennari , CWI and ILLC
- Fabio Fioravanti , CNR and UNiv. of Roma
- Arnold Maestre, LIRMM-CNRS
- Amy Beckwith,
Univ. of Nebraska-Lincoln
- Keynep Kiziltan , Uppsala Univ.
- Brahim Hnich , Uppsala Univ.
- Sibylle Schwarz, Univ. of Leipzig
- Marius-Calin Silaghi, EPFL
- Mitch Harris , Univ. of Illinois
- Pragnesh Modi, Univ. of
Southern California
- Erik Kilborn,
Chalmers Univ of Tech, SWEDEN
- Frank Valencia, BRICS
Tutorials:
- How to transform an idea into a company,
Ashish Gupta
Friday, Nov. 30, 16:00 .
- How to write a good paper, K. Apt, CWI
Monday, Nov. 26, 16:45.
- How not to give a talk, E. Freuder, Univ. of New Hampshire
Tuesday, Nov. 27, 17:15.
- How to write a review, T. Walsh, Univ. of York
Saturday, Dec.1, 14:00 (first meeting at the student dinner, Nov. 26).
Social events:
- Doctoral programme dinner, Tuesday, Nov. 27, 20:00 .
Meeting point: Coral Beach hotel reception.
The dinner is offered by the doctoral programme sponsors.
Organizing Committee:
- Christian Bessiere, LIRMM-CNRS, France
- Alan Borning, University of Washington, USA
- Eugene C. Freuder, University of New Hampshire, USA
- Pedro Meseguer, IIIA-CSIC, Spain
- Francesca Rossi (doctoral programme chair), University of Padova, Italy
- Toby Walsh (CP 2001 program chair), University of York, UK
Sponsors:
Inquiries:
Additional information will be posted at the URL
www.math.unipd.it/~frossi/doctoral.html and may be obtained by
contacting the chair of the organizing committee at
frossi@math.unipd.it.
Francesca Rossi (
frossi@math.unipd.it)