Home     |     .Net Programming    |     cSharp Home    |     Sql Server Home    |     Javascript / Client Side Development     |     Ajax Programming

Ruby on Rails Development     |     Perl Programming     |     C Programming Language     |     C++ Programming     |     IT Jobs

Python Programming Language     |     Laptop Suggestions?    |     TCL Scripting     |     Fortran Programming     |     Scheme Programming Language


 
 
Cervo Technologies
The Right Source to Outsource

MS Dynamics CRM 3.0

Scheme Programming Language

WLPE'07 Workshop on Logic-based Methods in Programming Environments


[Apologies for multiple copies...]

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

                 WLPE' 07 - CALL FOR PAPERS

             Workshop on Logic-based Methods in
                  Programming Environments

               (satellite workshop of ICLP'07)

                     September 13, 2007
                       Porto, Portugal

            http://www.comp.leeds.ac.uk/hill/WLPE07/
-----------------------------------------------------------

The 17th Workshop on Logic-based methods in Programming Environments
will take place in Porto, Portugal, as a satellite workshop
of ICLP'07, the 23th 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) and Seattle, Washington USA (2006).

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.
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
  * profiling and performance analysis
  * type- and mode analysis
  * module systems
  * optimization tools

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.

Submission guidelines
---------------------

We invite the submission of full papers which, excluding references,
should not exceed 16 pages, or short papers describing work in
progress which should be no more than 6 pages.  Authors are requested
to submit their paper in standard postscript or pdf format (preferable
in Springer LNCS style) to:

      http://www.easychair.org/WLPE07/

An informal proceedings will be distributed at the workshop.
After the workshop, the proceedings will be publicly available on-line in
the Computing Research Repository (CoRR).

Important dates
---------------

  Submission:   June 15, 2007
  Notification: July 8, 2007
  Camera-ready: August 15, 2007
  Workshop:     September 13, 2007

Workshop organizers
-------------------

Patricia Hill
School of Computing, University of Leeds
Leeds, England
Phone: +44 113 343 6807
Fax: +44 113 343 5468
http://www.comp.leeds.ac.uk/hill/

Wim Vanhoof
Insitut d'Informatique, University of Namur
Namur, Belgium
Phone: +32 81 72 49 77
Fax: +32 81 72 49 67
http://www.info.fundp.ac.be/~wva/

Program committee
-----------------

John Gallager                   (Roskilde University, Denmark)
Gopal Gupta                     (University of Texas at Dallas, U.S.A)
Michael Hanus                   (Christian-Albrechts-Universitt zu
Kiel, Germany)
Pat Hill                        (University of Leeds, U.K.)
Erwan Jahier                    (Verimag Laboratory, Gires, France)
Gerda Janssens                  (KULeuven, Belgium)
Susana Muoz-Hernndez          (Universidad Politcnica de Madrid, Spain)
Baudouin Le Charlier            (Catholic University of Louvain, Belgium)
Lunjin Lu                       (Oakland University, USA)
German Puebla                   (Technical University of Madrid, Spain)
Alexander Serebrenik            (Technische Universiteit Eindhoven, The
Netherlands)
Fausto Spoto                    (Universit di Verona, Italy)
Wim Vanhoof                     (University of Namur, Belgium)
Enea Zaffanella                 (Parma University, Italy)

Event's Web homepage
--------------------
http://www.comp.leeds.ac.uk/hill/WLPE07/

Add to del.icio.us | Digg this | Stumble it | Powered by Megasolutions Inc