[TYPES] Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)

A Serebrenik aserebre at win.tue.nl
Tue May 10 16:44:48 EDT 2005

The 15th Workshop on Logic-based methods in Programming Environments
October 5, 2005                            Sitges (Barcelona), Spain
The 15th Workshop on Logic-based methods in Programming Environments
will take place in Sitges (Barcelona), Spain as a satellite workshop of 
the 21th International Conference on Logic Programming (ICLP 2005).  
This workshop continues 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) and Saint Malo, France (2004).
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 not limited to, are: 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
analysers, reasoners on occurs-check freeness and determinacy,
profilers and performance analysers, systems for types and modes
analyses, module systems, optimization tools.

Workshop organisers:
* Susana Muñoz Hernández (Universidad Politécnica de Madrid, Spain)
* Alexander Serebrenik (coordinator, Technische Universiteit Eindhoven, 
The Netherlands)

Program Committee
* Mireille Ducassé (INSA/IRISA, Rennes, France),   
* Moreno Falaschi (Università di Siena),
* Maria García de la Banda (Monash University, Australia), 
* José Manuel Gómez Pérez (ISOCO, Spain),
* Gopal Gupta (University of Texas at Dallas, U.S.A),  
* Pat Hill (University of Leeds, U.K.),
* Fred Mesnard (Université de La Réunion, France),   
* Kostis Sagonas (Uppsala Univeristy, Sweden)
* Jan-Georg Smaus (Universität Freiburg, Germany),   
* Peter Szeredi (Budapest University of Technology and Economics, Hungary),
* Wim Vanhoof (University of Namur, Belgium)
Submissions: Length of papers can range from 2 to 15 A4-pages. 
Informal proceedings will be published locally and distributed at the workshop.
Authors are requested to email an electronic copy of a paper in standard 
ps or pdf format  to: Alexander Serebrenik (A.Serebrenik at tue.nl, phone: 
+31 40 247 3595)

Important dates: 
  Submission:   July 1,2005  
  Notification: July 25, 2005  
  Camera-ready: August 24, 2005
  Workshop:     October 5, 2005 (one half-day)

Additional information can be obtained from the workshop coordinator.
Event's Web homepage: 


More information about the Types-list mailing list