(apologies for multiple copies) ----------------------------------------------------------- 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_at_...155... Remy Haemmerle Universidad Politecnica de Madrid Madrid, Spain Email: wlpe13_at_...155...Received on Tue May 07 2013 - 12:36:31 CEST
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST