Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints
Programming Languages
2007-05-23 v1
Abstract
Homepage of the workshop proceedings, with links to all individually archived papers
Keywords
Cite
@article{arxiv.cs/0110012,
title = {Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints},
author = {Krzysztof R. Apt and Roman Bartak and Eric Monfroy and Francesca Rossi and Sebastian Brand},
journal= {arXiv preprint arXiv:cs/0110012},
year = {2007}
}
Comments
2 invited talks, 17 papers
Related papers
View all related →
Logic in Computer Science · Computer Science
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
Grant Passmore, Ruben Gamboa
2020-09-29
Robotics · Computer Science
Proceedings of the 1st Workshop on Robotics Challenges and Vision (RCV2013)
Aitor Aladren, Sasa Bodiroza, Hamidreza Chitsaz, J. J. Guerrero +11
2014-02-14
Robotics · Computer Science
Proceedings of the 1st International Workshop on Robot Learning and Planning (RLP 2016)
Nancy Amato, Charles Anderson, Gregory Chirikjian, Hamidreza Chitsaz +12
2016-10-11
High Energy Physics - Phenomenology · Physics
Summary of the Workshop on Multi-Parton Interactions (MPI@LHC 2012)
H. Abramowicz, P. Bartalini, M. Baehr, N. Cartiglia +33
2013-07-02
Computational Complexity · Computer Science
Proceedings International Workshop on The Complexity of Simple Programs
Turlough Neary, Damien Woods, Anthony K. Seda, Niall Murphy
2009-10-13
Programming Languages · Computer Science
Proceedings of the Eleventh Workshop on Constraint Handling Rules
Rémy Haemmerlé, Jon Sneyers
2014-06-09
Programming Languages · Computer Science
Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi
Gabriel Ciobanu
2012-11-16
Computers and Society · Computer Science
Survey of Methods, Resources, and Formats for Teaching Constraint Programming
Tejas Santanam, Helmut Simonis
2024-03-20
Computation and Language · Computer Science
Finite-State Phonology: Proceedings of the 5th Workshop of the ACL Special Interest Group in Computational Phonology (SIGPHON)
Jason Eisner, Lauri Karttunen, Alain Theriault
2007-05-23
Programming Languages · Computer Science
Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011
Salvador Abreu, Vitor Santos Costa
2011-12-22
Programming Languages · Computer Science
Proceedings of CICLOPS-WLPE 2010
German Vidal, Neng-Fa Zhou
2010-09-22
Logic in Computer Science · Computer Science
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
Rob Sumners, Cuong Chau
2022-05-24
Programming Languages · Computer Science
Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems
Ricardo Rocha, Christian Theil Have
2013-08-01
Logic in Computer Science · Computer Science
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
Michele Pagani, Sandra Alves
2019-04-23
Information Retrieval · Computer Science
Proceedings of FACTS-IR 2019
Alexandra Olteanu, Jean Garcia-Gathright, Maarten de Rijke, Michael D. Ekstrand
2019-07-15
Logic in Computer Science · Computer Science
Proceedings Eighth Workshop on Intersection Types and Related Systems
Naoki Kobayashi
2017-03-31
Biomolecules · Quantitative Biology
Community recommendations on cryoEM data archiving and validation
Gerard J. Kleywegt, Paul D. Adams, Sarah J. Butcher, Cathy Lawson +43
2024-03-07
Software Engineering · Computer Science
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software
Gwen Salaün, Xiang Fu, Sylvain Hallé
2010-09-20
Nuclear Theory · Physics
Correlation and Fluctuation in Multiparticle Production: Some Closing Remarks
Rudolph C. Hwa
2008-11-26
Distributed, Parallel, and Cluster Computing · Computer Science
Proceedings of the 1st International Workshop on Low Carbon Computing (LOCO 2024)
Wim Vanderbauwhede, Lauritz Thamsen, José Cano
2026-01-07
General Relativity and Quantum Cosmology · Physics
Summary of Session A6: Alternative Theories of Gravity
R. B. Mann
2007-05-23
Software Engineering · Computer Science
Towards an Understanding of Scaling Frameworks and Business Agility: A Summary of the 6th International Workshop at XP2018
Torgeir Dingsøyr, Nils Brede Moe, Helena Holmstrom Ohlsson
2018-12-27
High Energy Physics - Phenomenology · Physics
Summary of activities in the Working Group on QCD Cascades of the HERA Monte Carlo workshop
Nick Brook, Leif Lonnblad
2007-05-23
Machine Learning · Computer Science
A collection of the accepted papers for the Human-Centric Representation Learning workshop at AAAI 2024
Dimitris Spathis, Aaqib Saeed, Ali Etemad, Sana Tonekaboni +5
2024-03-19
Logic in Computer Science · Computer Science
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics
Ornela Dardha, Valentina Castiglioni
2021-08-24