Coimbra, Portugal
March 18 - 22, 2013
Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains.
Back to topThe track is concerned with all aspects of computing with constraints including algorithms, applications, environments, languages, models, and systems. Contributions are welcome from any discipline concerned with constraints, including artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, and symbolic computation. We also solicit papers from any domain employing constraints, including computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, vision, visualization, and user interfaces. Papers that bridge disciplines or combine theory and practice or discuss novel reasoning methods are especially welcome. A special attention is focused around the use of constraint technologies in the networking, wireless and internet fields.
Back to topWe would like to invite authors to submit papers on research on constraint solving and programming, with particular emphasis on assessing the current state of the art and identifying future directions.
Submissions fall into the following categories:
Submission instructions:
Accepted papers instructions:
The schedule of important dates for the track is as follows, note that the submission deadline is strict:
Farhad Arbab, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
Roman Bartak, Charles University, Czech Republic
Stefano Bistarelli, Università di Perugia and IIT-CNR of Pisa, Italy
Sebastian Brand, NICTA, Australia
Carlos Castro, UTFSM Valparaiso, Chile
Martine Ceberio, University of Texas at El Paso, USA
Berthe Y. Choueiry, University of Nebraska-Lincoln, USA
Xiao-Shan Gao, Chinese Academy of Sciences, China
Christophe Jermann, LINA - Université de Nantes, France
Robert Joan-Arinyo, Universitat Politècnica de Catalunya, Catalonia
Narendra Jussien, Ecole des Mines de Nantes / INRIA / CNRS, France
Arnaud Lallouet, University of Caen, France
Jimmy Lee, The Chinese University of Hong Kong
Ian Miguel, St. Andrew's University, Scotland
Eric Monfroy, UTFSM, Chile and LINA, University of Nantes, France
Carlos Alberto Olarte, Pontificia Universidad Javeriana, Cali, Colombia
Barry O'Sullivan, University College Cork, Ireland
Francesco Santini, INRIA-Rocquencourt, France
Frédéric Saubion, LERIA, Université d'Angers, France
József Váncza, Hungarian Academy of Sciences, Hungary
Roland Yap, National University of Singapore, Republic of Singapore
Back to top