From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 1014db,fb8307b55766860d,start X-Google-Thread: 103376,fb8307b55766860d,start X-Google-Attributes: gid1014db,gid103376,public X-Google-Language: ENGLISH,CP1252 Path: g2news1.google.com!news2.google.com!news4.google.com!news.glorb.com!tudelft.nl!txtfeed1.tudelft.nl!feed10.multikabel.net!multikabel.net!feed20.multikabel.net!skynet.be!newspost001!tjb!not-for-mail Date: Fri, 31 Mar 2006 11:53:27 +0200 From: Wim Vanhoof User-Agent: Thunderbird 1.5 (Windows/20051201) MIME-Version: 1.0 Newsgroups: comp.lang.c,comp.lang.ada Subject: [CFP] WLPE'06 - Workshop on (logic-based) Programming Environments Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit Message-ID: <442cfc16$0$29231$ba620e4c@news.skynet.be> Organization: -= Belgacom Usenet Service =- NNTP-Posting-Host: a5aa440a.news.skynet.be X-Trace: 1143798806 news.skynet.be 29231 81.240.31.40:1249 X-Complaints-To: usenet-abuse@skynet.be Xref: g2news1.google.com comp.lang.c:30103 comp.lang.ada:3690 Date: 2006-03-31T11:53:27+02:00 List-Id: ----------------------------------------------------------- WLPE' 06 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP�06) August 16, 2006 Seattle (Washington), USA http://lml.ls.fi.upm.es/~susana/Conferences/WLPE06/ ----------------------------------------------------------- Aim and Scope ------------- The 16th Workshop on Logic-based methods in Programming Environments will take place in Seattle (Washington), USA, as a satellite workshop of ICLP'06, the 22th 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) and Sitges, Spain (2005). The workshop aims at providing an informal meeting for the researchers working on logic-based tools for development and analysis of programs. This year we want to emphasize two aspects: on one hand we want to discuss the presentation, pragmatics and experiences of such tools; on the other one, we want to shift the traditional focus on environment tools for logic programming to logic-based environmental tools for programming in general. Specific topic areas relevant to the workshop include, but are not limited to: * tools for debugging and testing * tools for static and dynamic analysis * systems for program verification and validation * code generation from specifications * termination and non-termination analyzers * reasoners on occurs-check freeness and determinacy * profilers and performance analyzers * systems for types and modes analyzes * module systems * optimization tools. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools. Submission guidelines --------------------- Length of papers can range from 2 to 17 pages, preferably in LNCS format. Authors are requested to submit their paper using the submission webpage at http://vampire.cs.man.ac.uk/WLPE-06/ Alternatively, authors can send a copy of their paper (in pdf or ps format) to the workshop coordinator (wva@info.fundp.ac.be). An informal proceedings will be published as a technical report of the University of Namur and distributed at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR). Important dates --------------- Submission: May 15, 2006 Notification: June 15, 2006 Camera-ready: July 10, 2006 Workshop: August 16, 2006 Workshop organizers ------------------- Susana Mu�oz-Hern�ndez (Universidad Polit�cnica de Madrid, Spain) Wim Vanhoof (coordinator) (Univeristy of Namur, Belgium) Program Committee ----------------- Mar�a Alpuente (Universidad Polit�cnica de Valencia, Spain) Mireille Ducass� (INSA/IRISA, Rennes, France) John Gallager (Roskilde University, Denmark) Mar�a Garc�a de la Banda (Monash University, Australia) Jos� Manuel G�mez-P�rez (ISOCO Madrid, Spain) Gopal Gupta (University of Texas at Dallas, U.S.A) Moreno Falaschi (Universit� di Udine, Italy) Pat Hill (University of Leeds, U.K.) Michael Leuschel (Heinrich-Heine-Universitat D�sseldorf, Germany) Fred Mesnard (Universit� de La R�union, France) Susana Mu�oz-Hern�ndez (Universidad Polit�cnica de Madrid, Spain) Kostis Sagonas (Uppsala University, Sweden) Alexander Serebrenik (Technische Universiteit Eindhoven, The Netherlands) Zoltan Somogyi (University of Melbourne, Australia) Wim Vanhoof (University of Namur, Belgium)