From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 27092BBAF for ; Sat, 27 Feb 2010 16:23:10 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8BAKPHiEtHSjh9kWdsb2JhbACCXIo8A4UziE4VAQEBAQkLCgcTAx+5coR7BIMX X-IronPort-AV: E=Sophos;i="4.49,550,1262559600"; d="scan'208,217";a="45603743" Received: from hrndva-omtalb.mail.rr.com ([71.74.56.125]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Feb 2010 16:23:09 +0100 X-Authority-Analysis: v=1.0 c=1 a=V8emIDssAAAA:8 a=jbGAzQ-FAAAA:8 a=gWDa-L1wAAAA:8 a=bhnH1oQRAAAA:8 a=DIuwlW7QAAAA:8 a=0lD2jzZSAAAA:8 a=PkvePOa-IXxp52s9uBkA:9 a=ZlxMbbOZLNGTnsGS-jcA:7 a=ieAgoE-0hTjLZEwb8zIrukK2FLAA:4 a=2fpbTcYQyJYA:10 a=8UEa9jHKgplYTvJI:21 a=PHMzFL0e0HSaJCZN:21 a=_ktLVRgheZjZ9W5OGs4A:9 a=5CluWKHeqDcEcqjYzlkA:7 a=BlkdPEPaSAXnz4ReOdD0M55disAA:4 a=EfPDQBtUUEsiMi2w:21 a=3wzL7iAS_PaLZNJN:21 X-Cloudmark-Score: 0 X-Originating-IP: 67.244.74.151 Received: from [67.244.74.151] ([67.244.74.151:15590] helo=toshibauser) by hrndva-oedge04.mail.rr.com (envelope-from ) (ecelerity 2.2.2.39 r()) with ESMTP id 94/DF-23413-CD8398B4; Sat, 27 Feb 2010 15:23:08 +0000 Message-ID: <006701cab7c0$c3f4e1d0$6401a8c0@toshibauser> From: "Neng-Fa Zhou" To: Subject: CFP of CICLOPS-WLPE'10 Date: Sat, 27 Feb 2010 10:23:07 -0500 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0064_01CAB796.DAF3F940" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.2180 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 X-Spam: no; 0.00; logic-based:01 solver:01 backtracking:01 recursion:01 real-world:01 parallelism:01 parallelism:01 udine:01 logic-based:01 udine:01 compilation:01 compile-time:01 mlp:01 rewriting:01 lncs:01 This is a multi-part message in MIME format. ------=_NextPart_000_0064_01CAB796.DAF3F940 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable ******************************************************************* Call For Papers CICLOPS-WLPE 2010 Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments Edinburgh, Scotland, U.K. July 15, 2010 http://users.dsic.upv.es/~ciclops-wlpe10/ Satellite event of the 26th International Conference on Logic Programming (ICLP 2010) http://www.floc-conference.org/ICLP-home.html ******************************************************************* Important Dates: Paper Submission: March 31, 2010 Notification of Authors: April 29, 2010 Camera-ready: May 17, 2010 (tentative) Workshop: July 15, 2010 Invited talks: Programming with Boolean Satisfaction Michael Codish, Ben-Gurion University of the Negev (Israel) Solving Constraint Satisfaction Problems by a SAT Solver Naoyuki Tamura, Kobe University (Japan) Workshop description CICLOPS is a series of colloquia on the implementation of constraint logic programming. Logic and Constraint programming is an important declarative programming paradigm. The features offered by this paradigm such as rule-basedness, pattern matching, automated backtracking, recursion, tabling, and constraint solving have been proved convenient for many programming tasks. Recent improvements in implementation technologies combined with advances in hardware and systems software have made logic and constraint programming a viable choice for many real-world problems. CICLOPS'10 continues a tradition of successful workshops on Implementations of Logic Programming Systems, previously held with in Budapest (1993) and Ithaca (1994), the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993 and 1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages held in Port Jefferson (1997), Manchester (1998), Las Cruces (1999), and London (2000), and more recently the Colloquium on Implementation of Constraint and LOgic Programming Systems in Paphos (Cyprus, 2001), Copenhagen (2002), Mumbai (2003), Saint Malo (France, 2004), Sitges (Spain, 2005), Seattle (U.S.A., 2006), Porto (Portugal, 2007), Udine (Italy, 2008), and Pasadena (U.S.A, 2009). WLPE is a series of workshops on practical logic-based software development methods and tools. Software plays a crucial role in modern society. While software keeps on growing in size and complexity, it is more than ever required to be delivered on time, free of error and meeting the most stringent efficiency requirements. Thus more demands are placed on the software developer, and consequently, the need for methods and tools that support the programmer in every aspect of the software development process is widely recognized. Logic plays a fundamental role in analysis, verification and optimization in all programming languages, not only in those based directly on logic. The use of logic-based techniques in software development is a very active area in computing; emerging programming paradigms and growing complexity of the properties to be verified pose new challenges for the community, while emerging reasoning techniques can be exploited. WLPE'10 continues the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington D.C., USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges (Barcelona), Spain (2005), Seattle, USA (2006), Porto, Portugal (2007) and Udine, Italy (2008). More information about the series of WLPE workshops can be found at http://www.cs.usask.ca/projects/envlop/WLPE/ CICLOPS-WLPE 2010 aims at bringing together, in an informal setting, people involved in research in the design and implementation of logic and constraint programming languages and systems and on logic-based methods and tools which support program development and analysis. In addition to papers describing more conceptual and theoretical work, papers describing the implementation of, and experience with, such tools will be welcome. Topics: * Abstract machines and compilation techniques * Compile-time analysis and its application to code generation * Memory management, indexing, and garbage collection issues * Profiling tools and performance evaluation * Implementation of concurrent, parallel, and distributed systems * Extensions such as tabling, constraints, probabilistic reasoning, = and learning * New features such as ASP and coinduction * Object-oriented and module systems * Integration with other systems such as CP, SAT, LP/MLP, and = Database systems * Experiences from using systems in real-life applications * Static and dynamic analysis * Debugging and testing * Program verification and validation, * Code generation from specifications, * Termination analysis, * Constraints * Rewriting * Profiling and performance analysis, * Type and mode analysis, * Module systems, * Optimization tools, * Program understanding, * Refactoring * Logical meta-languages Authors who are interested in taking part in the workshop, but are unsure if their work falls within its scope, are invited to contact the organizers and will be given suitable advice. Submission details: All papers must be written in English, in Springer LNCS format (http://www.springeronline.com/lncs/), and not exceed 15 pages. Submissions must be made through the easychair system available at=20 http://www.easychair.org/conferences/?conf=3Dciclopswlpe2010=20 All accepted papers will be included in the workshop proceedings to be published as a technical report and distributed at the workshop, as well as electronically at the Computing Research Repository (CoRR). Program Committee: Rafael Caballero, Complutense University Madrid, Spain Vitor Santos Costa, Universidade do Porto, Portugal Martin Gebser, University of Potsdam, Germany Samir Genaim, Complutense University of Madrid, Spain Yoshitaka Kameya, Tokyo Institute of Technology, Japan Andy King, University of Kent, UK Huiqing Li, University of Kent, U.K. Lunjin Lu, Oakland University, MI, USA Paulo Moura, Universidade da Beira Interior, Portugal Ulrich Neumerkel, Technische UniversitSt Wien, Austria Enrico Pontelli, New Mexico State University, USA Joachim Schimpf, Monash University, Australia Peter Schneider-Kamp, University of Southern Denmark, Denmark Wim Vanhoof, University of Namur, Belgium German Vidal, Technical University of Valencia Neng-Fa Zhou, The City University of New York, NY, USA Workshop organizers: German Vidal DSIC, Universidad Politecnica de Valencia Camino de Vera S/N, 46022 Valencia, Spain http://www.dsic.upv.es/~gvidal/ Neng-Fa Zhou Department of Computer and Information Science, Brooklyn College The City University of New York 2900 Bedford Avenue, Brooklyn, NY 11210-2889 http://www.sci.brooklyn.cuny.edu/~zhou/ ------=_NextPart_000_0064_01CAB796.DAF3F940 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
****************************************************************= ***
           =             &= nbsp;    =20 Call For Papers
 
          &nbs= p;            = ;    =20 CICLOPS-WLPE 2010
 
          &nbs= p;            = ;    =20 Joint Workshop on
      Implementation of = Constraint=20 Logic Programming=20 Systems
          &n= bsp;           &nb= sp;          =20 and
          = Logic-based=20 Methods in Programming Environments
 
          &nbs= p;            = ;  =20 Edinburgh, Scotland,=20 U.K.
           = ;            =      =20 July 15,=20 2010
           = ;    =20 http://users.dsic.upv.= es/~ciclops-wlpe10/
 
          &nbs= p;            = ; =20 Satellite event of the
   26th International Conference on = Logic=20 Programming (ICLP=20 2010)
          &nbs= p;    =20 http://www.floc-co= nference.org/ICLP-home.html
 
****************************************************************= ***
 

Important Dates:
 
Paper = Submission:         =20 March 31, 2010
Notification of Authors:   April 29,=20 2010
Camera-ready:        &nbs= p;    =20 May 17, 2010=20 (tentative)
Workshop:        &= nbsp;        =20 July 15, 2010
 
 
 
Invited talks:
 
Programming with Boolean Satisfaction
Michael Codish, Ben-Gurion = University of the Negev (Israel)
 
Solving Constraint Satisfaction Problems by a SAT Solver
Naoyuki = Tamura,=20 Kobe University (Japan)
 

Workshop description
 
CICLOPS is a series of colloquia on the implementation of=20 constraint
logic programming. Logic and Constraint programming is an=20 important
declarative programming paradigm. The features offered by=20 this
paradigm such as rule-basedness, pattern matching,=20 automated
backtracking, recursion, tabling, and constraint solving = have=20 been
proved convenient for many programming tasks. Recent = improvements=20 in
implementation technologies combined with advances in hardware=20 and
systems software have made logic and constraint programming a=20 viable
choice for many real-world problems.
 
CICLOPS'10 continues a tradition of successful workshops=20 on
Implementations of Logic Programming Systems, previously held with = in
Budapest (1993) and Ithaca (1994), the Compulog Net workshops=20 on
Parallelism and Implementation Technologies held in Madrid (1993=20 and
1994), Utrecht (1995) and Bonn (1996), the Workshop on = Parallelism=20 and
Implementation Technology for (Constraint) Logic Programming=20 Languages
held in Port Jefferson (1997), Manchester (1998), Las = Cruces=20 (1999),
and London (2000), and more recently the Colloquium on=20 Implementation
of Constraint and LOgic Programming Systems in Paphos = (Cyprus,=20 2001),
Copenhagen (2002), Mumbai (2003), Saint Malo (France, 2004),=20 Sitges
(Spain, 2005), Seattle (U.S.A., 2006), Porto (Portugal, 2007), = Udine
(Italy, 2008), and Pasadena (U.S.A, 2009).
 
WLPE is a series of workshops on practical logic-based=20 software
development methods and tools. Software plays a crucial role = in=20 modern
society. While software keeps on growing in size and = complexity, it=20 is
more than ever required to be delivered on time, free of error=20 and
meeting the most stringent efficiency requirements. Thus more=20 demands
are placed on the software developer, and consequently, the = need=20 for
methods and tools that support the programmer in every aspect of=20 the
software development process is widely recognized. Logic plays=20 a
fundamental role in analysis, verification and optimization in=20 all
programming languages, not only in those based directly on logic. = The
use of logic-based techniques in software development is a very=20 active
area in computing; emerging programming paradigms and=20 growing
complexity of the properties to be verified pose new = challenges=20 for
the community, while emerging reasoning techniques can be=20 exploited.
 
WLPE'10 continues the series of successful international workshops=20 on
logic programming environments held in Ohio, USA (1989), Eilat,=20 Israel
(1990), Paris, France (1991), Washington D.C., USA (1992),=20 Vancouver,
Canada (1993), Santa Margherita Ligure, Italy (1994), = Portland,=20 USA
(1995), Leuven, Belgium (1997), Las Cruces, USA (1999), Paphos,=20 Cyprus
(2001), Copenhagen, Denmark (2002), Mumbai, India (2003), = Saint=20 Malo,
France (2004), Sitges (Barcelona), Spain (2005), Seattle, USA=20 (2006),
Porto, Portugal (2007) and Udine, Italy (2008). More = information=20 about
the series of WLPE workshops can be found at
http://www.cs.usask= .ca/projects/envlop/WLPE/
 
CICLOPS-WLPE 2010 aims at bringing together, in an informal=20 setting,
people involved in research in the design and implementation = of=20 logic
and constraint programming languages and systems and on=20 logic-based
methods and tools which support program development and = analysis.=20 In
addition to papers describing more conceptual and theoretical=20 work,
papers describing the implementation of, and experience with,=20 such
tools will be welcome.
 

Topics:
 
     * Abstract machines and compilation=20 techniques
     * Compile-time analysis and its=20 application to code generation
     * Memory = management,=20 indexing, and garbage collection issues
     * = Profiling=20 tools and performance evaluation
     * = Implementation of=20 concurrent, parallel, and distributed = systems
     *=20 Extensions such as tabling, constraints, probabilistic reasoning, and=20 learning
     * New features such as ASP and=20 coinduction
     * Object-oriented and module=20 systems
     * Integration with other systems = such as CP,=20 SAT, LP/MLP, and Database systems
     * = Experiences from=20 using systems in real-life applications
     * = Static and=20 dynamic analysis
     * Debugging and=20 testing
     * Program verification and=20 validation,
     * Code generation from=20 specifications,
     * Termination=20 analysis,
     * = Constraints
    =20 * Rewriting
     * Profiling and performance=20 analysis,
     * Type and mode=20 analysis,
     * Module=20 systems,
     * Optimization=20 tools,
     * Program=20 understanding,
     *=20 Refactoring
     * Logical meta-languages
 
Authors who are interested in taking part in the workshop, but=20 are
unsure if their work falls within its scope, are invited to=20 contact
the organizers and will be given suitable advice.
 

Submission details:
 
All papers must be written in English, in Springer LNCS = format
(http://www.springeronline.co= m/lncs/),=20 and not exceed 15
pages. Submissions must be made through the = easychair=20 system available
at
 
  htt= p://www.easychair.org/conferences/?conf=3Dciclopswlpe2010=20
 
All accepted papers will be included in the workshop proceedings to = be
published as a technical report and distributed at the workshop,=20 as
well as electronically at the Computing Research Repository = (CoRR).
 

Program Committee:
 
Rafael Caballero, Complutense University Madrid, Spain
Vitor = Santos=20 Costa, Universidade do Porto, Portugal
Martin Gebser, University of = Potsdam,=20 Germany
Samir Genaim, Complutense University of Madrid, = Spain
Yoshitaka=20 Kameya, Tokyo Institute of Technology, Japan
Andy King, University of = Kent,=20 UK
Huiqing Li, University of Kent, U.K.
Lunjin Lu, Oakland = University, MI,=20 USA
Paulo Moura, Universidade da Beira Interior, Portugal
Ulrich=20 Neumerkel, Technische Universit=8At Wien, Austria
Enrico Pontelli, = New Mexico=20 State University, USA
Joachim Schimpf, Monash University, = Australia
Peter=20 Schneider-Kamp, University of Southern Denmark, Denmark
Wim Vanhoof,=20 University of Namur, Belgium
German Vidal, Technical University of=20 Valencia
Neng-Fa Zhou, The City University of New York, NY, USA
 

Workshop organizers:
 
German Vidal
DSIC, Universidad Politecnica de Valencia
Camino = de Vera=20 S/N, 46022 Valencia, Spain
http://www.dsic.upv.es/~gvidal/<= /A>
 
Neng-Fa Zhou
Department of Computer and Information Science, = Brooklyn=20 College
The City University of New York
2900 Bedford Avenue, = Brooklyn, NY=20 11210-2889
http://www.sci.brooklyn.= cuny.edu/~zhou/
 
 
------=_NextPart_000_0064_01CAB796.DAF3F940--