Menu
▾
▴
eclipse-clp-publicity — Conference announcements etc
You can subscribe to this list here.
| 2009 |
Jan
|
Feb
|
Mar
(2) |
Apr
|
May
|
Jun
(2) |
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2010 |
Jan
|
Feb
(3) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2011 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
(2) |
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2015 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(1) |
| 2016 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
(1) |
Sep
|
Oct
|
Nov
(1) |
Dec
|
| 2017 |
Jan
(1) |
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2018 |
Jan
|
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Joachim S. <jsc...@co...> - 2018-04-03 11:59:48
|
************************************************************************
CICLOPS 2018: Call for Papers and Talk Proposals
16th International Colloquium
on Implementation of Constraint
and LOgic Programming Systems
18 July 2018
Oxford, UK
https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS2018/
Co-located with ICLP'18 and FLoC.
************************************************************************
Important Dates
===============
Paper submission: 29 April 2018
Author Notification: 11 May 2018
Camera-ready Copy: 25 June 2018
Dates are intended as Anywhere on Earth.
Aims and Scope
==============
This workshop aims at discussing and exchanging experience on the
design, implementation, and optimization of logic, constraint (logic)
programming systems, and other systems based on logic as a means to
express computations. Experience backed up by real implementations and
their evaluation will be given preference, as well as descriptions of
work in progress in that direction.
Topics include, but are not limited to:
* Sequential implementation schemes (abstract machines,
translation to other languages, etc.).
* Implementation of concurrent and distributed logic and
constraint programming systems.
* Implementation of type inference and type checking systems for
logic and constraint programming languages.
* Compile-time analysis and its application to code generation.
* Balance between compile-time effort and run-time machinery,
dynamic compilation.
* Interaction between high-level optimizations / transformations /
specialization and low-level issues.
* Memory management and garbage collection issues.
* Indexing techniques and optimizations for large size programs.
* Optimizations for program generated logic and constraint
programs.
* Implementation of logic engines in functional and object
oriented languages.
* Embedding of logic and constraint programming engines in
multi-paradigm systems.
* Implementation techniques for alternative logic engines and
inference mechanisms (ASP, SAT, QSAT, DL etc.).
* Implementation of theorem provers, proof assistants and logic
based natural language processing systems.
* Implementation of object and agent-oriented extensions to logic
and constraint programming languages.
* Object and module systems.
* Design and implementation of declarative I/O concepts for logic
and constraint programming languages.
* Implementations and ports of logic and constraint programming
systems for mobile phones and netbooks.
* Documenting, debugging, testing, and profiling tools for logic
and constraint programming systems.
* Novel compilation methods to modern hardware (e.g. GPUs).
Workshop Goals
==============
Our intent is to bring together, in an informal setting, people
involved in research on sequential and parallel implementation
technologies for logic and constraint programming languages and
systems, in order to promote the exchange of ideas and feedback on
recent developments. We hope that the workshop will provide a meeting
point for people working on implementation technology for different
aspects of logic and constraint-based languages and systems.
Paper Submissions
=================
Submission Categories
---------------------
The workshop welcomes a range of different submissions, including contributions
to theory, reports of interesting applications, reports of work in progress,
experience papers, suggestions for new challenging problems, system
descriptions, comparison and discussion papers, and improvements to known
results/proofs/implementations. We distinguish several different categories:
* Novel Research: Abstracts, Short and Long Papers
These are works on novel research contributions at any stage in the
research process (hence the choice of format). These can also be extended
papers of short technical communications at ICLP.
* Talk Proposals: Abstracts
These are proposals for talks about papers already submitted or presented
elsewhere or has appeared in a journal. For instance, these can be extended
presentations of the short technical communication talks at ICLP.
For all accepted submissions, at least one author is required to attend the
workshop and give a presentation of 30 minutes including discussion.
Submission Procedure
--------------------
All submissions (talk abstracts, short and long papers) must be written in
English and use Springer's LNCS format. Abstracts are 1-2 pages, short papers
5-6, and long papers up to 15 pages.
Submit through EasyChair:
https://easychair.org/conferences/?conf=ciclops2018
New Reviewing Procedure
-----------------------
To provide a fast notification, before the common FLoC deadline, the reviewing
will proceed in two stages:
In the first phase the program chair and program committee perform a quick
review of the papers to determine their suitability for acceptance. The authors
are notified of this decision on May 11.
In the second phase, the program committee performs a more in-depth review, to
provide the authors with useful feedback to revise their submission. The
authors receive these reviews on May 25 and have until June 25 to produce their
final copy.
Proceedings
===========
The proceedings are informal and will be available from the CICLOPS website and
as a KU Leuven technical report.
Program Committee
=================
Joachim Schimpf (Coninfer Ltd)
Jose F. Morales (IMDEA Software Institute) - chair
Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center)
Paul Tarau (University of North Texas)
Paulo Moura (CRACS & INESC TEC)
Pedro Lopez-Garcia (IMDEA Software Institute and Spanish Council for Scientific
Research)
Ricardo Rocha (University of Porto)
Slim Abdhennadher (German University in Cairo)
Theresa Swift (NOVALINKS, Universidade Nova de Lisboa)
Tom Schrijvers (KU Leuven) - chair
Organizer
=========
Tom Schrijvers (KU Leuven)
tom...@ku...
|
|
From: Joachim S. <jsc...@co...> - 2017-01-20 12:02:03
|
-------- Forwarded Message --------
Subject: ICLP 2017 - Call for Workshop
Date: Thu, 19 Jan 2017 20:34:44 -0700
From: Enrico Pontelli <epo...@cs...>
To: Enrico <epo...@cs...>
*** CALL FOR WORKSHOP PROPOSALS ***
ICLP 2017
33rd International Conference on Logic Programming
August 29 - September 1, 2017
Melbourne, Australia
http://iclp17.a4lp.org
ICLP 2017, the 33rd International Conference on Logic Programming,
will be held in Melbourne, Australia, from August 29 to September 1, 2017.
The ICLP conference series has a long standing tradition of hosting
a rich set of co-located workshops. ICLP workshops provide a unique
opportunity for the presentation and discussion of work that can be
preliminary in nature, novel ideas, and new open problems to a wide and
interested audience.
Co-located workshops also provide an opportunity for presenting
specialized topics and opportunities for intensive discussions and
project collaboration. The topics of the workshops co-located with
ICLP 2017 can cover any areas related to logic programming, (e.g.,
theory, implementation, environments, language issues, alternative
paradigms, applications), including cross-disciplinary areas. However,
any relevant workshop proposal will be considered.
The format of the workshop will be decided by the workshop organizers,
but ample time should be allowed for general discussion. Workshops can
vary in length, but the optimal duration will be half a day or a full
day.
Workshop Proposal:
==================
Those interested in organizing a workshop at ICLP 2017 are invited to
submit a workshop proposal. Proposals should be in English and about
two pages in length. They should contain:
* The title of the workshop.
* A brief technical description of the topics covered by the workshop.
* A discussion of the timeliness and relevance of the workshop.
* A list of some related workshops held in the last years
* The estimated length of the workshop and an estimate of the number of
expected attendees.
* The names, affiliation and contact details (email, web page,
phone) of the workshop organizers together with a designated
contact person.
* Previous experience of the workshop organizers in
workshop/conference organization.
Proposals are expected in text or PDF format. All proposals should be
submitted to the Workshop Chair by email by March 27, 2017.
Reviewing Process:
==================
Each submitted proposal will be reviewed by the Workshop, Program and
General Chairs. Proposals that appear well-organized and that fit the
goals and scope of ICLP will be selected. The decision will be
notified by email to the responsible organizer by April 10, 2017.
The definitive length of the workshop will be planned according to the
number of submissions received by the different workshops. For every
accepted workshop, the ICLP local organizers will prepare a meeting
room. The workshops and the conference organizers will collaborate in
establishing a uniform approach to produce uniform and accessible proceedings
for the workshops.
Workshop Organizers' Tasks:
===========================
* Producing a "Call for Papers" for the workshop and posting it
on the Internet and other means. A web page URL should be provided by
May 1, 2017, and will be published on the ICLP 2017 home page.
* Providing a brief description of the workshop for the conference
program.
* Reviewing/accepting submitted papers.
* Scheduling workshop activities in collaboration with the local
organizers and the Workshop Chair.
* Providing a workshop program in a format specified by the conference
organizers for posting by August 15, 2017.
* Coordinating the preparation of the workshop proceedings according to
the specifications provided by the Workshop chair.
Location:
=========
Workshops be collocated with ICLP 2017, in Melbourne, Australia.
See the ICLP 2017 web site (http://iclp17.a4lp.org) for location details.
Important Dates:
================
March 27, 2017: Proposal submission deadline
April 10, 2017: Notification
May 1, 2017: Deadline for receipt of CfP and workshop web page URL
August 15, 2017: Deadline for workshop program TBA: ICLP workshops
Submissions:
============
Please submit your workshop proposals by email to the Workshop Chair.
Workshop Chair:
===============
Enrico Pontelli epontell at cs.nmsu.edu
|
|
From: Joachim S. <jsc...@co...> - 2016-11-25 00:13:23
|
-------- Forwarded Message -------- Subject: PADL'17 Call for Participation Date: Thu, 24 Nov 2016 13:35:08 +0100 From: Walid Taha <mar...@gm...> To: ecl...@li... Dear colleague, You are cordially invited you to participate in 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) http://bit.ly/PADL-2017 Paris, France 16th and 17th January 2017 Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017) Registration site: http://popl17.sigplan.org/attending/registration Early registration deadline: December 17th, 2016 Program posted: http://bit.ly/PADL-2017 Conference Description =================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Program Committee =============== Erika Abraham, RWTH Aachen University Marcello Balduccini, Drexel University Lars Bergstrom, Mozilla Research Bart Bogaerts, Aalto University Edwin Brady, University of St Andrews Martin Brain, University of Oxford Mats Carlsson, SICS Manuel Carro, Technical University of Madrid (UPM) Stefania Costantini, University dell'Aquila Marc Denecker, KU Leuven Thomas Eiter, TU Wien Esra Erdem, Sabanci University Thom Fruehwirth, University of Ulm Marco Gavanelli, University of Ferrara Martin Gebser, University of Potsdam Jeremy Gibbons, University of Oxford Hai-Feng Guo, University of Nebraska at Omaha Jurriaan Hage, Universiteit Utrecht Geoffrey Mainland, Drexel University Henrik Nilsson, University of Nottingham Enrico Pontelli, New Mexico State University Ricardo Rocha, University of Porto Peter Schüller, Marmara University Peter Sestoft, IT University of Copenhagen Martin Sulzmann, Karlsruhe University of Applied Sciences Paul Tarau, University of North Texas Kazunori Ueda, Waseda University Niki Vazou, University of California, San Diego Philip Wadler, University of Edinburgh Daniel Winograd-Cort, University of Pennsylvania Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center Lukasz Ziarek, SUNY Buffalo Program Chairs: Yuliya Lierler, University of Nebraska Omaha Walid Taha, Halmstad University Contacts ====== For additional information about papers and submissions, please contact the Program Chairs: Yuliya Lierler University of Nebraska Omaha, USA http://faculty.ist.unomaha.edu/ylierler/ Walid Taha Halmstad University, Sweden http://www.effective-modeling.org/p/walid-taha.html email: pa...@ea... |
|
From: Joachim S. <jsc...@co...> - 2016-08-24 22:50:23
|
-------- Forwarded Message -------- Subject: 2nd CFP PADL 2017, Paris: 19th International Symposium on Practical Aspects for Declarative Languages, Jan 16-17 Date: Mon, 22 Aug 2016 14:30:29 +0000 From: Yuliya Lierler <yli...@un...> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) Second Call for Papers for 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) http://bit.ly/PADL-2017 Paris, France 16th and 17th January 2017 Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017) The two best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication in the journal Theory and Practice of Logic Programming. Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2017 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2017 will be co-located with the Symposium on Principles of Programming Languages (POPL 2017), in Paris, France. Important Dates and Submission Guidelines ========================================= Abstract submission: September 12, 2016 Paper submission: September 19, 2016 Notification: October 18, 2016 Camera-ready: November 1, 2016 Symposium: January 16-17, 2017 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl17 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2017 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2017 will appear in the LNCS series of Springer Verlag ( www.springer.com/lncs <http://www.springer.com/lncs> ). Two papers accepted for publication at PADL'17 will be nominated for the Most Practical Paper award (one of them as the Student Best Paper), each in cash amount of 250 Euro. These two papers will be invited to submit an extended version of their contribution to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. The extended paper will undergo an additional review process. Program Committee ================= Erika Abraham, RWTH Aachen University Marcello Balduccini, Drexel University Lars Bergstrom, Mozilla Research Bart Bogaerts, Aalto University Edwin Brady, University of St Andrews Martin Brain, University of Oxford Mats Carlsson, SICS Manuel Carro, Technical University of Madrid (UPM) Stefania Costantini, University dell'Aquila Marc Denecker, KU Leuven Thomas Eiter, TU Wien Esra Erdem, Sabanci University Thom Fruehwirth, University of Ulm Marco Gavanelli, University of Ferrara Martin Gebser, University of Potsdam Jeremy Gibbons, University of Oxford Hai-Feng Guo, University of Nebraska at Omaha Jurriaan Hage, Universiteit Utrecht Geoffrey Mainland, Drexel University Henrik Nilsson, University of Nottingham Enrico Pontelli, New Mexico State University Ricardo Rocha, University of Porto Peter Schüller, Marmara University Peter Sestoft, IT University of Copenhagen Martin Sulzmann, Karlsruhe University of Applied Sciences Paul Tarau, University of North Texas Kazunori Ueda, Waseda University Niki Vazou, University of California, San Diego Philip Wadler, University of Edinburgh Daniel Winograd-Cort, University of Pennsylvania Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center Lukasz Ziarek, SUNY Buffalo Program Chairs: Yuliya Lierler, University of Nebraska Omaha Walid Taha, Halmstad University Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Yuliya Lierler University of Nebraska Omaha, USA http://faculty.ist.unomaha.edu/ylierler/ Walid Taha Halmstad University, Sweden http://www.effective-modeling.org/p/walid-taha.html email: pa...@ea... |
|
From: Joachim S. <jsc...@co...> - 2016-07-14 10:12:33
|
-------- Forwarded Message --------
Subject: 2016 Autumn School on Computational Logic
Date: Mon, 11 Jul 2016 14:43:41 +0000
From: John Patrick Gallagher <jp...@ru...>
To: ecl...@li...
<ecl...@li...>
The 2016 Autumn School on Computational Logic will be held on
October 16-17, 2016, in New York, affiliated to the
32nd International Conference on Logic Programming (ICLP'16).
Researchers and PhD students are encouraged to attend. Student
scholarships are available (Deadline for application: July 24)
Association for Logic Programming
2016 Autumn School on Computational Logic
http://iclp16school.webs.upv.es/
October 16-17, New York, USA
(Affiliated to ICLP'16)
Researchers interested in research in computational logic are
invited to attend the 2016 Autumn School. The 2-day school is
suited for those who wish to learn advanced topics in computational
logic and logic programming. It will consist of four half-day
tutorials on the following topics:
1. Constraint Logic Programming
Lecturer: Roman Bartak, Charles University, Czech Republic
2. Language processing through logic grammars and constraints
Lecturer: Veronica Dahl, Simon Fraser University, Canada
3. Answer Set Programming: foundations and applications
Lecturer: Torsten Schaub, University of Potsdam, Germany
4. Verification and probabilistic programming
Lecturer: C.R. Ramakrishnan, SUNY Stony Brook, USA
A number of scholarships for students that cover local expenses for the
duration of the school are available. To apply for these scholarships,
students should also register to the Doctoral Consortium and send the
following information to German Vidal at gv...@ds... by July 24th:
- A short vita of the applicant.
- A letter of recommendation from applicant's faculty advisor.
- A one paragraph statement outlining how the school will benefit the applicant.
The letter from the advisor should also certify that the applicant is a
full-time student.
Organizers:
John Gallagher, Roskilde University, Denmark
German Vidal, Universitat Politecnica de Valencia, Spain
|
|
From: Joachim S. <jsc...@co...> - 2015-12-13 20:06:02
|
-------- Forwarded Message -------- Subject: Call for Papers: 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS), affiliated with ETAPS 2016 Date: Sat, 12 Dec 2015 20:53:54 +0000 From: John Patrick Gallagher <jp...@ru...> To: ecl...@li... <ecl...@li...> [Apologies for multiple postings] Call for Papers 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ETAPS 2016 April 3, 2016. Eindhoven, The Netherlands http://hcvs2016.it.uu.se/ Submission deadlines: - abstract submission: January 25, 2016 - paper submission: February 1, 2016 - paper notification: February 27, 2016 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g. ICLP and CP) and Program Verification community (e.g. CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: Nikolaj Bjorner (Microsoft Research) Mats Carlsson (SICS) Fabio Fioravanti (University of Chieti-Pescara) John Gallagher (Roskilde University and IMDEA Software Institute) - chair Pierre Ganty (IMDEA Software Institute) Arie Gurfinkel (Carnegie Mellon University) Temesghen Kahsai (NASA Ames Research Center, Carnegie Mellon University) Michael Leuschel (University of Duesseldorf) David Monniaux (CNRS/Verimag) Jorge A. Navas (NASA Ames Research Center) Corneliu Popeea (CQSE) Philipp Ruemmer (Uppsala University) - chair Andrey Rybalchenko (Microsoft Research) Valerio Senni (ALES Srl - United Technologies Research Center) Natasha Sharygina (University of Lugano) Peter Stuckey (University of Melbourne) Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=vs2016. |
|
From: Joachim S. <jsc...@co...> - 2013-06-05 12:19:50
|
-------- Original Message --------
Subject: EXTENDED DEADLINE: WLPE 2013 Call For Papers
Date: Wed, 5 Jun 2013 11:18:22 +0200
From: Jose F. Morales <jos...@im...>
To: undisclosed-recipients:;
(apologies for multiple copies)
* DEADLINE EXTENSION: Paper submission deadline is now June 15th
-----------------------------------------------------------
WLPE 2013 - CALL FOR PAPERS
Workshop on Logic-based Methods in
Programming Environments
(satellite workshop of ICLP 2013)
24-25 August 2013
Istanbul, Turkey
http://clip.dia.fi.upm.es/Conferences/WLPE13/
-----------------------------------------------------------
The workshop aims at providing an informal meeting for researchers
working on logic-based tools for development and analysis of programs.
In addition to papers describing more conceptual work on environmental
tools, we solicit papers describing the implementation of and
experimentation with such tools.
We hope to attain the same friendly atmosphere as in past workshops, which
enabled fruitful exchanges leading to joint research and subsequent
publications.
Areas particularly relevant to the workshop include:
* static and dynamic analysis
* debugging and testing
* program verification and validation
* code generation from specifications
* termination and non-termination analysis
* reasoning on occurs-check freeness and determinacy
* frameworks and resources for sharing in the logic programming community
* profiling and performance analysis
* type- and mode analysis
* shape, point-to and escape analysis
* module systems
* optimization tools
* program understanding
* refactoring
* logical meta-languages
Note that this list is not exhaustive and, if you are interested in
taking part in the workshop but unsure if your work falls within its
scope, do contact the organisers who will be happy to advise.
The 23rd Workshop on Logic-based methods in Programming Environments
will take place in Istanbul, Turkey, as a satellite workshop of ICLP
2013, the 29th International Conference on Logic Programming. This
workshop will continue the series of successful international
workshops on logic programming environments held in Ohio, USA (1989),
Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992),
Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994),
Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997),
Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark
(2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain
(2005), Seattle, Washington USA (2006), Porto, Portugal (2007), Udine,
Italy (2008), Pasadena, USA (2009), Edinburgh, UK (2010), Lexington,
USA (2011), and Budapest, Hungary (2012).
Submission guidelines
---------------------
We encourage the submission of original research in the area as well as
relevant results that have been submitted, rejected, or accepted elsewhere
as long as they are relevant for the WLPE community.
All papers must be written in English and should not exceed 15 pages. We
welcome also shorter submissions, e.g., extended abstracts and short
papers, of at least 3 pages.
Submissions must be made in Springer's LNCS format via the page:
https://www.easychair.org/conferences/?conf=wlpe2013
An informal proceedings will be distributed electronically at the workshop.
After the workshop, the proceedings will be publicly available on-line in
the Computing Research Repository (CoRR).
Important dates
---------------
Submission: June 15, 2013 [EXTENDED!]
Notification: June 24, 2013
Camera-ready: July 15, 2013
Workshop: August 24-25, 2013
Program committee
-----------------
Salvador Abreu Universidade de Evora, Portugal
Michael Codish Ben Gurion University, Israel
John Gallagher Roskilde University, Denmark
Remy Haemmerle Universidad Politecnica de Madrid, Spain
Jacob Howe City University London, UK
Jose F. Morales IMDEA Software Institute, Spain
Vitor Santos Costa Universidade do Porto, Portugal
Peter Schneider-Kamp University of Southern Denmark, Denmark
Sylvain Soliman Inria Paris-Rocquencourt, France
Terrance Swift New University of Lisboa, Portugal
Win Vanhoof University of Namur, Belgium
Alicia Villanueva Universitat Politecnica de Valencia, Spain
Workshop organizers
-------------------
Jose F. Morales
IMDEA Software Institute
Madrid, Spain
Email: wl...@cl...
Remy Haemmerle
Universidad Politecnica de Madrid
Madrid, Spain
Email: wl...@cl...
|
|
From: Joachim S. <jsc...@co...> - 2013-06-05 12:18:15
|
-------- Original Message --------
Subject: [constraints] TRICS 2013 Workshop Call for Papers
Date: Wed, 29 May 2013 21:07:17 +0100
From: Peter Nightingale <pw...@st...>
Reply-To: con...@ya...
To: constraints <con...@ya...>
Call for Papers
TRICS 2013 - Techniques foR Implementing Constraint programming Systems
Constraint programming systems are software systems that support the modeling and solving of
problems using constraint programming. Such systems include constraint programming libraries and
runtime systems for constraint programming languages. The workshop will focus on design and
implementation of such systems.
Possible topics include the following:
* software design aspects of CP systems
* data structures and algorithms for constraint solving
* parallelization approaches
* design and implementation of programming/modeling/solving environments for constraint programming
* surveys of often-used but undocumented folklore techniques
* solvers employing techniques other than standard search and propagation, such as
conflict-driven learning or multi-valued decision diagrams
* hybrid solvers integrating methods such as local search, mathematical programming, SAT solving,
or AI techniques
The workshop
After three very successful workshops in 2000 (Singapore), 2002 (Ithaca), and 2010 (St Andrews),
this fourth iteration will again provide a forum for research in implementation of constraint
programming systems.
This workshop encourages submissions and participation from all members of the CP community and all
people interested in the implementation of constraint programming systems. It will provide a place
at CP where useful results, practical tricks and preliminary work can be presented, which by itself
may not be sufficent for a submission to the full conference but is still of interest to other CP
practitioners.
Contributing
Contributions to the workshop can include paper presentations and system demonstrations. In
addition, there will be a lightning track where people get five minutes to present preliminary
results, implementation tricks, or system advertisements.
To ensure high quality of the workshop, at least one author of each accepted submission must attend
the workshop. Workshop participants need to register through the main conference registration site
and pay the workshop registration fee.
Proceedings will be made available electronically during the workshop.
Submission procedure
Submissions of *papers and extended abstracts* must be made electronically through Easychair
<https://www.easychair.org/conferences/?conf=trics2013>.
*Papers and extended abstracts* must be submitted as a PDF file in the Lecture Notes in Computer
Science (LNCS) style. The page limit is 15 pages plus any number of pages for references. Shorter
papers are explicitly welcomed, as are extended abstracts with only a few pages.
Paper submissions will be reviewed by the program committee. Those that are well written and make a
worthwhile contribution to the workshop topic will be accepted for publication in the workshop
proceedings, and their authors will be able to present their work at the workshop.
For *lightning talks and system demonstrations*, please email the organising committee at the
following address: tri...@gm... <mailto:tri...@gm...>.
Important dates
* Paper and extended abstract submission deadline: July 8, 2013
* Notification of acceptance/rejection: August 9, 2013
* Camera-ready version: August 23, 2013
* Submission deadline for lightning talks and system demonstrations: September 6, 2013
* Workshop: September 16, 2010
Organising committee
* Christopher Jefferson <http://www.cs.st-andrews.ac.uk/%7Ecaj/>, University of St. Andrews
* Peter Nightingale <http://www.cs.st-andrews.ac.uk/%7Epn/>, University of St. Andrews
* Guido Tack <http://www.csse.monash.edu/%7Eguidot/>, Monash University
Program committee
* Mats Carlsson <http://www.sics.se/%7Ematsc/>, Swedish Institute of Computer Science, Sweden
* Ian Gent <http://www.cs.st-andrews.ac.uk/%7Eipg/>, University of St Andrews, UK
* Willem-Jan van Hoeve <http://www.andrew.cmu.edu/user/vanhoeve/>, Carnegie Mellon University, USA
* Xavier Lorca <http://www.emn.fr/z-info/xlorca/>, Ecole des Mines de Nantes, France
* Laurent Michel <http://ash.engr.uconn.edu/%7Eldm/work/>, University of Connecticut, USA
* Radoslaw Szymanek, Vistula University, Warsaw, Poland and Crossing-Tech, Lausanne, Switzerland
__._,_.___
Reply via web post
<http://groups.yahoo.com/group/constraints/post;_ylc=X3oDMTJxZXZxbm9yBF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRtc2dJZAMxMDM2BHNlYwNmdHIEc2xrA3JwbHkEc3RpbWUDMTM2OTg1ODA1OA--?act=reply&messageNum=1036>
Reply to sender
<mailto:pw...@st...?subject=Re%3A%20TRICS%202013%20Workshop%20Call%20for%20Papers> Reply
to group
<mailto:con...@ya...?subject=Re%3A%20TRICS%202013%20Workshop%20Call%20for%20Papers> Start
a New Topic
<http://groups.yahoo.com/group/constraints/post;_ylc=X3oDMTJmcTRkdDR1BF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRzZWMDZnRyBHNsawNudHBjBHN0aW1lAzEzNjk4NTgwNTg->
Messages in this topic
<http://groups.yahoo.com/group/constraints/message/1036;_ylc=X3oDMTM1NGlqcTcxBF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRtc2dJZAMxMDM2BHNlYwNmdHIEc2xrA3Z0cGMEc3RpbWUDMTM2OTg1ODA1OAR0cGNJZAMxMDM2>
(1)
Recent Activity:
* New Members
<http://groups.yahoo.com/group/constraints/members;_ylc=X3oDMTJna3ZrcjhrBF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRzZWMDdnRsBHNsawN2bWJycwRzdGltZQMxMzY5ODU4MDU4?o=6>
1
* New Links
<http://groups.yahoo.com/group/constraints/links;_ylc=X3oDMTJoa21oOThtBF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRzZWMDdnRsBHNsawN2bGlua3MEc3RpbWUDMTM2OTg1ODA1OA-->
1
Visit Your Group
<http://groups.yahoo.com/group/constraints;_ylc=X3oDMTJmZTNqdXY4BF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRzZWMDdnRsBHNsawN2Z2hwBHN0aW1lAzEzNjk4NTgwNTg->
Yahoo! Groups
<http://groups.yahoo.com/;_ylc=X3oDMTJlcDdlZmtvBF9TAzk3NDc2NTkwBGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRzZWMDZnRyBHNsawNnZnAEc3RpbWUDMTM2OTg1ODA1OA-->
Switch to: Text-Only
<mailto:con...@ya...?subject=Change%20Delivery%20Format:%20Traditional>,
Daily Digest <mailto:con...@ya...?subject=Email%20Delivery:%20Digest> .
Unsubscribe <mailto:con...@ya...?subject=Unsubscribe> . Terms of Use
<http://docs.yahoo.com/info/terms/> . Send us Feedback
<mailto:ygr...@ya...?subject=Feedback%20on%20the%20redesigned%20individual%20mail%20v1>
.
__,_._,___
|
|
From: Ed F. <ed....@nw...> - 2013-03-27 04:29:47
|
Contractor position for 1 – 3 months, working on a breakthrough K12 assessment project. Looking for someone who can start immediately. Depending on success of project, maybe potential for full-time employment. Contact Dr. Ed Freeman…
Thanks…
-ED-
Ed Freeman Ph.D
VP Research and Development
NWEA
121 NW Everett St
Portland, OR, 97209
503-548-5207
303-514-5500 — cell
"Do or do not. There is no try."
|
|
From: Joachim S. <joa...@mo...> - 2011-03-23 04:52:35
|
-------- Original Message --------
Subject: CFP: COLA@EPIA 2011
Date: Tue, 22 Mar 2011 22:13:25 +0100
From: Paulo Moura <pm...@di...>
To: ecl...@li...
[apologies for multiple posts; please distribute]
-------------------------------------------------
First Call for Papers
EPIA 2011 - 15th Portuguese Conference on Artificial Intelligence
Thematic Track: COLA - COmputational Logic with Applications
October 10-13
Universidade de Lisboa, Portugal
http://epia2011.appia.pt/
=Overview ==
The development of sophisticated intelligent systems requires more
and more sound and appropriate foundations and tools, resulting in
new problems and challenges for the computational logic
practitioners. Computational logic has been widely used in complex
applications in important areas such as the Deductive Databases,
Natural Language Processing and Program Analysis, and more recently
on the Semantic Web and related Web Tools. These novel applications
have exposed the limits of existing approaches, showing the need for
research on better languages and more sophisticated implementations
of reasoning systems. The COLA thematic track of EPIA 2011 covers
the broad area of Computational Logic and its applications, with
special interest on topics related with new formalisms,
environments, languages, tools, and applications. A non-exhaustive
list of topics follows:
- Logic based knowledge representation and applications
- Declarative semantics of rule languages and applications
- Program Analysis, Program Transformation, Validation and
Verification, Debugging, Profiling
- Implementation of reasoning systems, in particular logic programming,
contextual logic programming, and tabling systems
- Abductive and Inductive Logic Programming
- Ontologies, Description Logics and integration with reasoning systems
- Reasoning with incomplete and uncertain information, including
non-monotonic reasoning as well as probabilistic and fuzzy logic
programming formalisms
- Reasoning on the Semantic Web
- Applications: Deductive Databases, Data Integration,
Natural Language, Semantic Web, and Web Tools
=Important Dates ==
Deadline for paper submission: May 10, 2011
Notification of paper acceptance: June 10, 2011
Camera-ready papers: July 1, 2011
Conference dates: October 10-13, 2011
=Submission Guidelines ==
All papers should be submitted through the conference management
website at:
http://www.easychair.org/conferences/?conf=ia2011
Papers should not exceed fifteen (15) pages in length and must be
formatted according to the information for LNCS authors. Papers must
be submitted in PDF (Adobe's Portable Document Format) format and
will not be accepted in any other format. Papers that exceed 15
pages or do not follow the LNCS guidelines risk being rejected
automatically without a review. At least one author of each
accepted paper must register for the conference. More information
about the Springer's Lecture Notes in Computer Science (LNCS) are
available on the Springer LNCS Web site
http://www.springer.com/computer/lncs?SGWID=164-6-793341-0
The best papers (the exact number is decided by the EPIA Chairs)
will appear in the proceedings published by Springer in the LNAI
series. The remaining accepted papers will be published in a venue
TBA.
=Organizing Committee ==
Paulo Moura, Universidade da Beira Interior, Portugal
Vitor Nogueira, Universidade de Évora, Portugal
=Program Committee ==
Angelika Kimmig, K. University of Leuven, Belgium
Axel Pollers, National University of Ireland, Ireland
Bart Demoen, K. University of Leuven, Belgium
Daniel Diaz, University of Paris 1, France
David Warren, University of Stony Brook, USA
Enrico Pontelli, New Mexico State University, USA
Gopal Gupta, University of Texas at Dallas, USA
Joachim Schimpf, Monash University, Australia
João Leite, CENTRIA and Universidade Nova de Lisboa, Portugal
José Alferes, CENTRIA and Universidade Nova de Lisboa, Portugal
Paulo Gomes, Universidade de Coimbra, Portugal
Peter Robinson, University of Queensland, Australia
Roberto Bagnara, University of Parma, Italy
Salvador Abreu, Universidade de Évora, Portugal
Vítor Costa, Universidade do Porto, Portugal
=Contact Information ==
col...@di...
-----------------------------------------------------------------
Paulo Jorge Lopes de Moura, PhD
Assistant Professor
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal
Office 3.18 Ext. 3276
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:pm...@di...>
Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/> Blog: <http://blog.logtalk.org/>
-----------------------------------------------------------------
|
|
From: Joachim S. <joa...@in...> - 2009-07-09 07:39:02
|
Conference on Transportation Scheduling and Disruption Handling
---------------------------------------------------------------
Prato, Italy September 17-19th 2009
Location: Monash Prato, Italy
The integration between scheduling and disruption handling has recently become a focus of
intensive research. The area presents three challenges: how to schedule in a way that is
robust to disruption; how to reschedule after a disruption so as to minimize costs; and
how to schedule and reschedule in an integrated way so as to get back on schedule as
quickly as possible with minimal additional cost.
The focus of this conference is on software algorithms for optimization of transportation
schedules, focusing on the interaction between scheduling and on-the-day operation. The
research community targeted by the conference is the "hybrid algorithms" community
combining techniques from Constraint Programming, Artificial Intelligence and Operational
Research.
Presenters include:
* Edmund Burke
* Panos Pardalos
* Louis-Martin Rousseau
* Martin Savelsbergh
The conference is organized by the CTI-Monash Centre for Optimisation, and is sponsored by
Constraint Technologies International.
http://www.infotech.monash.edu.au/about/news/conferences/cti-monash2009/
|
|
From: Joachim S. <joa...@in...> - 2009-06-25 06:52:10
|
-------- Original Message --------
Subject: CFP: track CSP of ACM SAC 2010
Date: Tue, 23 Jun 2009 17:26:51 +0200
From: Eric Monfroy <eri...@gm...>
To: ecl...@li...
Track on Constraint Solving and Programming
part of
the 25th Annual ACM Symposium on Applied Computing
Hosted by
University of Applied Sciences, Western Switzerland (HES-SO)
and
Ecole Polytechnique fédérale de Lausanne (EPFL)
Sierre, Switzerland
Monday March 22 - Friday March 26, 2010
SAC 2010: http://www.acm.org/conferences/sac/sac2010/
CSP Track: http://www.sci.unich.it/~bista/organizing/constraint-sac2010/
************************************************************************
OVERVIEW
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.
************************************************************************
SCOPE
The 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.
************************************************************************
SUBMISSIONS
Authors are invited to submit original work, not previously published,
and currently not submitted elsewhere.
We 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.
Submission instructions:
Submissions MUST BE "Original, unpublished work".
Submissions should be properly anonymized to facilitate blind
reviewing: The author(s) name(s) and address(es) must NOT appear in
the body of the paper, and self-reference should be in the third
person. This is to facilitate blind review. Only the title should be
shown at the first page without the author's information." The body
of each paper should not exceed 4,000 words. Papers failing to comply
with length limitations risk immediate rejection. At least three
reviewers will be assigned to each submission to the track. Accepted
papers are published by ACM in both printed form and CD-ROM; they are
also available on the Web through the ACM Digital Library. Once
accepted, papers must fit within five (5) two column pages (please
check the author kit on the main SAC website: the format is usually
the format used in the ACM templates), with the option (at additional
expense) to add three (3) more pages. A second set of selected
papers, which did not get accepted as full papers, will be accepted as
posters and will be published as extended 2-page abstracts in the
symposium proceedings.
Authors of accepted papers must be prepared to sign a copyright
statement and must pay the registration fee and guarantee that their
paper will be presented at the conference.
*) Submissions will be in electronic format, via the website:
eCMS site http://sac.cs.iupui.edu/SAC2010/
*) Submissions must follow the template reported here:
http://www.acm.org/conferences/sac/sac2009/downloads09.htm
*) Paper size: 5 pages. Authors are allowed up to 8 but
each extra page will be charged 80USD.
We strongly suggest to use for submission the available
camera ready templates, and adhere to the 5 page limitation.
After completing the submission, please send also an email to:
Eri...@in... <mailto:Eri...@in...>
The body of the email should include the title of the paper, the
author(s) name(s) and affiliation(s), and the address (including
e-mail, telephone, and fax) to which correspondence should be sent.
The subject of the email should be "SAC2009 constraint track
submission"
Registration is required for paper and poster inclusion in the
Conference Proceedings, and for event attendance.
************************************************************************
IMPORTANT DATES
The schedule of important dates for the track is as follows,
note that the submission deadline is **strict**:
Sept. 8, 2009: Paper submission
Oct. 19, 2009: Author notification
Nov. 2, 2009: Camera-Ready Copy
************************************************************************
ORGANISATION:
Organising Committee
--------------------
Stefano Bistarelli
Dipartimento di Scienze
Università degli studi "G. D'Annunzio" di Chieti-Pescara, Italy
Email: bi...@sc... <mailto:bi...@sc...>
Web: http://www.sci.unich.it/~bista/
and
Istituto di Informatica e Telematica
C.N.R. Pisa, Italy
Email: ste...@ii...
<mailto:ste...@ii...>
Eric Monfroy (Primary Contact)
Universidad Técnica Federico Santa María,
Valparaíso, Chile
and
LINA
University of Nantes,France
Email: Eri...@in... <mailto:Eri...@in...>
Web: http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/
Barry O'Sullivan
Cork Constraint Computation Centre
Department of Computer Science
University College Cork, Ireland
Email: b.o...@cs... <mailto:b.o...@cs...>
Web: http://www.cs.ucc.ie/~osullb/
Programme Committee (tentative)
----------------------------------
Roman Bartak, Charles University, Czech Republic
Stefano Bistarelli, Università degli studi "G. D'Annunzio", Pescara,
Italy and IIT-CNR, Pisa, Italy
Lucas Bordeaux, Microsoft Research, U.K.
Sebastian Brand, NICTA, Australia
Carlos Castro, UTFSM Valparaiso, Chile
Martine Ceberio, University of Texas at El Paso
Berthe Y. Choueiry, University of Nebraska-Lincoln, USA
Yves Colombani, FICO
Bart Demoen, Katholieke Universiteit Leuven, The Netherlands
Thom Frühwirth, Universität Ulm, Germany
Narendra Jussien, Ecole des Mines de Nantes, France
Tetsuo Ida, University of Tsukuba, Japan
Arnaud Lallouet, University of Caen, France
Jimmy Lee, 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, LIX, École Polytechnique, France
Barry O'Sullivan, University College Cork, Ireland
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
Peter Zoeteweij, Intellimagic, The Netherlands
|
|
From: Joachim S. <joa...@in...> - 2009-06-25 00:11:57
|
6 messages has been excluded from this view by a project administrator.
