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

A Serebrenik aserebre at win.tue.nl
Sun Jul 3 12:25:25 EDT 2005

 ************* EXTENDED DEADLINE: JULY 5, 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 5,2005  *** EXTENDED ***
   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