posted by organizer: jfmc || 4293 views || tracked by 6 users: [display]

WLPE 2013 : 23rd Workshop on Logic-based methods in Programming Environments

FacebookTwitterLinkedInGoogle


Conference Series : Workshop on Logic Programming Environments
 
Link: http://clip.dia.fi.upm.es/Conferences/WLPE13/
 
When Aug 24, 2013 - Aug 25, 2013
Where Istanbul (Turkey)
Submission Deadline Jun 3, 2013
Notification Due Jun 24, 2013
Final Version Due Jul 15, 2013
Categories    logic   programming   computer science   environments
 

Call For Papers

-----------------------------------------------------------

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 3, 2013
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: wlpe13@clip.dia.fi.upm.es

Remy Haemmerle
Universidad Politecnica de Madrid
Madrid, Spain
Email: wlpe13@clip.dia.fi.upm.es

Related Resources

AIFU 2024   10th International Conference on Artificial Intelligence and Applications
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
UKCI 2024   23rd UK Workshop on Computational Intelligence
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
LPNMR 2024   17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
ICLP 2024   International Conference on Logic Programming