CALL FOR PAPERS!!!
Tenth International Symposium on
Practical Aspects of Declarative Languages 2008
(PADL '08)
http://www.ist.unomaha.edu/padl2008/
San Francisco, USA
January 7-8, 2008
Co-located with ACM POPL'08
Declarative languages build on sound theoretical bases to provide
attractive frameworks for application development. These languages
have been successfully applied to vastly different real-world
situations, ranging from data base management to active networks to
software engineering to decision support systems.
New developments in theory and implementation have opened up new
application areas. At the same time, applications of declarative
languages to novel problems raises numerous interesting research
issues. Well-known questions include designing for scalability,
language extensions for application deployment, and programming
environments. Thus, applications drive the progress in the theory and
implementation of declarative systems, and benefit from this progress
as well.
PADL is a forum for researchers and practitioners to present original
work emphasizing novel applications and implementation techniques for
all forms of declarative concepts, including, functional, logic,
constraints, etc. Topics of interest include:
* innovative applications of declarative languages;
* declarative domain-specific languages and applications;
* practical applications of theoretical results;
* new language developments & their impact on applications;
* evaluation of implementation techniques on practical applications;
* novel uses of declarative languages in the classroom; and
* practical experiences
PADL 08 welcomes new ideas and approaches pertaining to applications
and implementation of declarative languages. PADL 08 will be
co-located with the ACM POPL.
IMPORTANT DATES AND SUBMISSION GUIDELINES
Paper Submission: August 24, 2007
Notification: September 27, 2007
Camera-ready: October 23, 2007
Symposium: January 7-8, 2008
Authors should submit an electronic copy of the full paper
(written in English) in Postscript (Level 2) or PDF. Papers must be no
longer than 15 pages, written in 11-point font and with single
spacing. Since the final proceedings will be published as Lecture
Notes in Computer Science by Springer Verlag, authors are strongly
encouraged to use the LNCS paper formatting guidelines for their
submission.
Each submission must include on its first page the paper title;
authors and their affiliations; contact author's email and postal
addresses, telephone and fax numbers, abstract, and three to four
keywords. The keywords will be used to assist us in selecting
appropriate reviewers for the paper. If electronic submission is
impossible, please contact the program chair for information on how to
submit hard copies.
MOST PRACTICAL PAPER AWARD
The Most Practical Paper award will be given to the submission that is
judged by the program committee to be the best in terms of
practicality, originality, and clarity of presentation. The program
committee may choose not to make an award, or to make multiple awards.
Contacts:
For information about papers and submissions, please contact the Program Chair:
Paul Hudak
PC co-Chair - PADL 2008
Department of Computer Science
Yale University
P.O. Box 208285
New Haven, CT 06520 - 8285
Email: hudak(a)cs.yale.edu
David S. Warren
PC co-Chair - PADL 2008
Department of Computer Science
Stony Brook University
Stony Brook, NY
Email: warren(a)cs.sunysb.edu
For other information about the conference, please contact:
Hai-Feng Guo
General Chair - PADL 2008
Department of Computer Science
College of Information Science & Technology
University of Nebraska at Omaha
Omaha, NE, U.S.A.
Email: haifengguo(a)mail.unomaha.edu
Sponsored by: COMPULOG Americas (http://www.cs.nmsu.edu/~complog) and
University of Nebraska at Omaha
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
Thanks Juan, great, we will test it and put it in the
repository. --Manuel H
--
----------------------- The Ciao System Development Team --------------------
The CLIP Group | Technical University of Madrid
ciao(a)clip.dia.fi.upm.es | University of New Mexico
http://www.cliplab.org / http://www.ciaohome.org
-----------------------------------------------------------------------------
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
i recently got a new macbook and found that i couldn't build ciao from
the current source in SVN. i kept getting a bus error from the ciao
engine built for the configuration process. i tracked it down to the
"engine/timing.c" file. that defines a different version of
"cpuspeed()" if the machine has an intel processor, but that version
uses "/proc/cpuinfo" and unfortunately, Darwin doesn't have a procfs.
i added a new version of "cpuspeed()" (for darwin) that uses sysctl
instead. it seems to work, though i'm not sure if the scales match up
properly. it seems to work, though i haven't tested it much. this
seems to be used more for GUI functions, which i don't use in what i'm
working on currently.
anyway, i've attached a patch for what i did. hopefully it will be of
use.
juan chanco
--- ciao/engine/timing.c.orig 2007-06-12 13:45:46.000000000 +0200
+++ ciao/engine/timing.c 2007-06-16 17:00:06.000000000 +0200
@@ -12,6 +12,9 @@
#include "timing_defs.h"
/* local declarations */
+#if defined(DARWIN)
+#include <sys/sysctl.h>
+#endif
#if (defined(Solaris) || defined(SunOS4) || defined(LINUX) || defined(DARWIN) \
|| defined(IRIX) || defined(Win32)) && !defined(crossWin32i86)
@@ -111,6 +114,25 @@
is equal to 1 cpu - cycle.
*/
+#if defined(DARWIN)
+/* darwin doesn't have a procfs. this should (hopefully)
+ * do the same thing, though i'm not sure if the scales match
+ * on my 2.16 ghz macbook, the value returned is 2160000000 */
+static ENG_LINT cpuspeed (void)
+{
+ int speed ;
+ size_t size=sizeof(speed) ;
+
+ if (sysctlbyname("hw.cpufrequency",&speed,&size,NULL,0))
+ {
+ return 0;
+ }
+ else
+ {
+ return speed;
+ }
+}
+#else
/* Returns the clock speed of the system's CPU in Hz, as reported by
/proc/cpuinfo. On a multiprocessor machine, returns the speed of the
first CPU. On error returns zero.
@@ -146,6 +168,7 @@
sscanf (match, "cpu MHz : %lf", &clock_speed);
return (ENG_LINT)(clock_speed * 1000000);
}
+#endif
/* Note that "cpuid" could be necessary to force the processor not do the */
/* "speculative execution". */
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
[Apologies for multiple copies...]
Please note that the submission deadline for WLPE'07 has been extended!
New deadline: June 22.
-----------------------------------------------------------
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 22, 2007 (extended)
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-Universit=E4t zu=20
Kiel, Germany)
Pat Hill (University of Leeds, U.K.)
Erwan Jahier (Verimag Laboratory, Gi=E8res, France)
Gerda Janssens (KULeuven, Belgium)
Susana Mu=F1oz-Hern=E1ndez (Universidad Polit=E9cnica 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=20
Netherlands)
Fausto Spoto (Universit=E0 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/
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
(apologies for multiple copies)
----------------------------------------------------------------------
Dear Colleague,
ICLP 2007 registration is now open. Please note that early
registration ends on June 30th. More details on the conference and
its associated workshops can be found on the website:
http://www.dcc.fc.up.pt/iclp07/
Highlights include invited talks by Gerhard Brewka on "Preferences in
Answer-Set Programming" and by Chitta Baral, on "Applications of
Logic".
We look forward to seeing all of you in Porto.
Best wishes,
The ICLP 2007 organization
----------------------------------------------------------------------
LIST OF ACCEPTED PAPERS:
Full papers
-----------
Sabrina Baselice, Piero Bonatti and Giovanni Criscuolo
On Finitely Recursive Programs
Leslie De Koninck, Tom Schrijvers and Bart Demoen
The Correspondence Between the Logical Algorithms Language and CHR
Marcin Czenko and Sandro Etalle
Core TuLiP
Paul Tarau and Brenda Luderman
A Logic Programming Framework for Combinational Circuit Synthesis
Lee Naish
Resource-Oriented Deadlock Analysis
Martin Gebser and Torsten Schaub
Generic Tableaux for Answer Set Programming
Gregory Duck, Peter Stuckey and Martin Sulzmann
Observable Confluence for Constraint Handling Rules
Alberto Pettorossi, Maurizio Proietti and Valerio Senni
Automatic Correctness Proofs for Logic Program Transformations
David Vaz, Michel Ferreira and Ricardo Lopes
Spatial-Yap: A Logic Based Geographic Information System
Pawel Pietrzak and Manuel Hermenegildo
Automatic Error Diagnosis in Logic Programs
Matti J=E4rvisalo and Emilia Oikarinen
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
Quan Phan and Gerda Janssens
Static Region Analysis for Mercury
Tran Cao Son, Enrico Pontelli, Mirek Truszczynski and Lengning Liu
Programs with Abstract Constraint Atoms: Semantical Considerations
David Toman and Gulay Unel
Logic Programming Approach to Automata-based Decision Procedures
Pedro Cabalar, David Pearce and Agustin Valverde
Minimal Logic Programs
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi and Frank Valencia
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Sergio Greco and Cristian Molinaro
Querying and Repairing Inconsistent Databases under Three-Valued =20
Semantics
Agostino Dovier, Andrea Formisano and Enrico Pontelli
Multivalued Action Languages with Constraints in CLP(FD)
Jorge Navas, Edison Mera, Pedro Lopez-Garcia and Manuel Hermenegildo
User-Definable Resource Bounds Analysis for Logic Programs
Vitor Santos Costa, Kostis Sagonas and Ricardo Lopes
Demand-Driven Indexing of Prolog Clauses
Anderson Silva and V=EDtor Santos Costa
Design, Implementation, and Evaluation of an Dynamic Compilation =20
Framework for the YAP System
Frank Raiser
Graph Transformation Systems in CHR
Posters
-------
Linh Anh Nguyen
Approximating Horn Knowledge Bases in Description Logics with =20
Regular RBoxes to Have PTIME Data Complexity
Bart Demoen and Phuong-Lan Nguyen
Action Rules in the WAM
Ka-Shu Wong
A Stronger Notion of Equivalence for Logic Programs
Rafael Caballero, Mario Rodr=EDguez Artalejo and Rafael del Vado V=EDrseda=
Declarative Debugging of Missing Answers in Constraint Functional-=20
Logic Programming
Alexei Morozov
Visual Logic Programming Method Based on Structural Analysis and =20
Design Technique
Jon Sneyers, Peter Van Weert, Tom Schrijvers and Bart Demoen
Aggregates in Constraint Handling Rules
Ricardo Rocha, Cl=E1udio Silva and Ricardo Lopes
On Applying Program Transformation to Implement Suspension-Based =20
Tabling in Prolog
Levente Hunyadi
Prosper: A Framework for Extending Prolog Applications with a Web =20
Interface
Nengfa Zhou
A Register-Free Abstract Prolog Machine with Jumbo Instructions
Emilia Oikarinen and Tomi Janhunen
A Linear Transformation from Prioritized Circumscription to =20
Disjunctive Logic Programming
Giacomo Terreni, Paolo Mancarella and Francesca Toni
Web Sites Verification and Repair: an Abductive Logic Programming =20
tool
Luciano Caroprese, Irina Trubitsyna and Ester Zumpano
View Updating through Active Integrity Constraints
Davy Van Nieuwenborgh, Martine De Cock and Dirk Vermeir
Computing Fuzzy Answer Sets using DLVHEX
Girish Palshikar
Representation and Execution of a Graph Grammar in Prolog
Margaret West
The Use of a Logic Programming Language in the Animation of Z =20
Specifications
Andrea Cali and Thomas Lukasiewicz
Tightly Integrated Probabilistic Description Logic Programs under =20
the Answer Set Semantics for the Semantic Web
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
CALL FOR PARTICIPATION
COMPUTER AIDED VERIFICATION (CAV)
19th International Conference
July 3 - 7, 2007, Berlin, Germany
http://www.cav2007.org
Regular registration deadline: June 15.
CAV 2007 is the 19th Computer-Aided Verification conference. It will be
held at the Park Inn Hotel, Alexanderplatz, Berlin, Germany, July 3-7, 2007.
The conference will start with one day of tutorials (July 3rd), followed by 4
days of the main conference (July 4-7th). Seven affiliated workshops will be
held in the two days before and the day after CAV (July 1st-2nd and
July 8th).You can find the program for CAV 2007, links to affiliated
workshops, and information on how to register for CAV and the
workshops at the conference web site: http://www.cav2007.org
IMPORTANT: The number of available hotel rooms is getting low. Please check
availability of rooms before registering.
The CAV conference is dedicated to the advancement of the theory and practice
of computer-aided formal analysis methods for hardware and software systems.
CAV considers it vital to continue its leadership in hardware verification,
and maintain its recent momentum in software verification. The conference
covers the spectrum from theoretical results to concrete applications, with an
emphasis on practical verification tools and the algorithms and techniques
that are needed for their implementation. The proceedings of the conference
will be published in the Springer-Verlag Lecture Notes in Computer Science
series. A selection of papers will be invited to a special issue of the
International Journal on Formal Methods and System Design.
INVITED TALKS:
==============
* Byron Cook (Microsoft Research): "Automatically Proving Program Termination"
* David Russinoff (AMD): "A Mathematical Approach to RTL Verification"
* Thomas Kropf (Robert Bosch AG): "Software Bugs seen from an Industrial
Perspective; or: Can Formal Methods help
on Automotive Software Development?"
TUTORIALS (July 3rd):
====================
"Modeling, Verification, and Synthesis of Component Interfaces"
by Tom Henzinger (EPFL)
"A Tutorial on Satisfiability Modulo Theories"
by Natarajan Shankar (SRI)
"A JML Tutorial: Modular Specification and Verification of Functional
Behavior for Java"
by Gary T. Leavens (Iowa State U.)
"Verification of Hybrid Systems"
by Martin Fr�nzle (CvO U Oldenburg)
Conference Program
==================
The main CAV 2007 program consists of 33 regular papers and 14 tool papers.
See http://www.cav2007.org/cavsched.html
Affiliated Events
==================
CAV 2007 will be preceeded by two (July 1st-2nd) and followed by one
day (July 8th) of workshops.
* FMICS 2007: 12th Intl. Workshop on Formal Methods for Industrial Critical
Systems, July 1-2
* SMT 2007: 5th International Workshop onSatisfiability Modulo Theories,
July 1-2
* ARTIST Workshop on tool platforms for modelling, analysis and validation
of embedded systems, July 1-2
* PDMC 2007: 6th Int. Workshop on Parallel and Distributed Methods in
verifiCation, July 8
* AHA 2007: International Symposium on Automatic Heap Analysis, July 2
* GVD 2007: 3rd German Verification Day, July 1
* SPIN 2007: 14th International SPIN Workshop on Model Checking of
Software, July 1-3
In addition, the results of two tool competitions, the "Satisfiability
Modulo Theories Competition" SMT-COMP (held in parallel with CAV), and
the "Hardware Model Checking Competition" HWMCC'07 (held before CAV), will
be presented within the scientific program of CAV 2007.
Acknowledgement
===============
CAV 2007 gratefully acknowledges the generous financial support of the
following companies and institutions:
Artist2 Network of Excellence, Cadence Design Systems, the German
Science Foundation, IBM, Informatik Saarland, Intel Corporation, Microsoft
Research, NEC and Synopsys.
CAV 2007 Program Chairs:
=======================
* Werner Damm, CvO U Oldenburg
* Holger Hermanns, Saarland U
CAV 2007 Program Committee
==========================
* Parosh Aziz Abdulla, Uppsala U
* Rajeev Alur, U Penn
* Sergey Berezin, Synopsys
* Armin Biere, JKU Linz
* Roderick Bloem, TU Graz
* Ahmed Bouajjani, U Paris 7
* Alessandro Cimatti, IRST Trento
* Edmund M. Clarke, CMU
* Werner Damm, U Oldenburg
* Limor Fix, Intel
* Patrice Godefroid, Microsoft Research
* Ganesh Gopalakrishnan, U of Utah
* Susanne Graf, Verimag
* Orna Grumberg, Technion
* Holger Hermanns, Saarland U
* Robert Jones, Intel
* Orna Kupferman, Hebrew U
* Robert P. Kurshan, Cadence
* John Lygeros, ETH Zuerich
* Tom Melham, Oxford U
* Ken McMillan, Cadence
* Jakob Rehof, U Dortmund
* Koushik Sen, UC Berkeley
* Fabio Somenzi, U Boulder
* Ashish Tiwari, SRI International
* Frits Vaandrager, U Nijmegen
* Yaron Wolfstal, IBM Haifa
CAV Steering Committee
=======================
* Edmund M. Clarke, CMU
* Mike Gordon, U. Cambridge
* Robert Kurshan, Cadence
* Amir Pnueli, NYU
=======================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
(Apologies for multiple copies)
********* CALL FOR PAPERS *********
*************** Deadline June 30, 2007 ****************
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
ASP2007
4th International Workshop on Answer Set Programming
Co-located with the
International Conference on Logic Programming ICLP 2007
September 8 and 13, 2007
Porto, Portugal
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
*** Overview ***
Answer Set Programming is by now a well-established paradigm of
declarative programming. While close in syntax to prolog-like
logic programming, its semantics is based on a program having a number
of answer sets, that represent possible consistent "views"
on the "world" defined by the program itself.
Answer Set Programming can be seen under several points of view:
as a knowledge representation language strongly related to non-=20
monotonic reasoning,
as a programming language suitable to many application domains
where incomplete/uncertain information may occur,
as an underlying formalism for many extensions tailored to
specific application domains.
An increasingly important application area is that
of databases and data integration systems,
where the need of constructing and managing
a unified view of data originating from different heterogeneous
and possibly distributed sources calls for increased flexibility in
managing inconsistency.
*** Topics: ***
All with focus on Answer Set Programming, among which:
* foundations
* extensions
* ASP-based programming languages
* reasoning about action and change
* causal reasoning
* reasoning with uncertain knowledge
* planning, diagnosis, learning
* representation of and reasoning about complex systems
* deductive databases
* data integration systems
* ASP and agents
* specification and verification of formal properties
* implementations and benchmarks
* tools and methodologies for ASP-programming
* (innovative) application domains
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
*** Submissions ***
We invite submissions of 2 kinds:
1. Submissions of high quality, original papers,
which are not simultaneously submitted for publication elsewhere.
Papers should be written in English, formatted according to
the Springer Verlag LNCS style, which can be obtained from
http://www.springeronline.com,
and not exceed 15 pages
including figures, references, etc.
Each paper should include some examples illustrating the proposed =20
techniques.
2. Submissions of system descriptions, to be presented at the =20
workshop as demos.
In this category papers should be written in English, formatted =20
according to the
Springer Verlag LNCS style, which can be obtained from
http://www.springeronline.com, and not exceed 5 pages
including figures, references, etc.
Each paper should describe a working system illustrating its =20
objectives and the implementation techniques.
Working systems possibly include solvers, solver components and =20
interfaces
and application-oriented systems that employ Answer Set Programming
for some of their functions.
Submissions should be sent by E-mail to the Workshop Co-chairs.
The message should indicate paper Title, Authors and Abstract,
with the .pdf version of the paper in attachment.
Email: stefcost(a)di.univaq.it and richard.watson(a)ttu.edu
------------------------------------------------------------------------=20=
-------------------
*** Important Dates ***
Submission Deadline: June 30, 2007
Notification: July 30, 2007
Camera Ready Copy Due: August 10, 2007
ASP'07 : September 8 and September 13, 2007
------------------------------------------------------------------------=20=
-------------------
*** Proceedings ***
A printed volume of the proceedings will be available at the workshop.
We also plan to publish a selection of extended workshop papers on a =20
journal
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
*** Invited Speaker: ***
to be announced
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
*** About ASP Workshop Series ***
You can find information about the ASP worshop series here (http://=20
asp05.cs.bath.ac.uk/).
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
*** Workshop Chairs ***
Stefania Costantini, University of L'Aquila, Italy
Richard Watson, Texas Tech University, Lubbock, Texas, USA
------------------------------------------------------------------------=20=
-------------------
*** Programme Committee ***
Marcello Balduccini, Texas Tech University, Lubbock, Texas, USA
Loreto Bravo, University of Edinburgh, UK
Marina De Vos, University of Bath, UK
Pedro Cabalar, Corunna University, Galicia, Spain
Andrea Formisano, University of Perugia, Italy
Emilia Oikarinen, Helsinki University of Technology, Finland
Mauricio Osorio, Fundacion Universidad de las Americas, Puebla, M=C8xico.
Gerald Pfeifer, Novell/SUSE Linux Products GmbH, Germany
Giorgio Terracina, University of Calabria, Italy
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
*** Workshop Web site ***
http://www.cs.ttu.edu/asp07/
For any inquiry, please send it to stefcost(a)di.univaq.it.
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
[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-Universit=E4t zu
Kiel, Germany)
Pat Hill (University of Leeds, U.K.)
Erwan Jahier (Verimag Laboratory, Gi=E8res, France)
Gerda Janssens (KULeuven, Belgium)
Susana Mu=F1oz-Hern=E1ndez (Universidad Polit=E9cnica 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=E0 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/
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------