[ Apologies for multiple messages.
Abstract submission deadline: Aug 30th
Paper submission deadline: Sep 3rd (strict) ]
======================================================================
LAST CALL FOR PAPERS
Ninth International Symposium on
Practical Aspects of Declarative Languages 2007
(PADL '07)
http://www.informatik.uni-kiel.de/~mh/padl07
Nice, France
January 14-15, 2007
Co-located with ACM POPL'07
======================================================================
Declarative languages build on sound theoretical foundations to
provide attractive frameworks for application development. These
languages have been successfully applied to a wide array of different
real-world situations, including database management, active networks,
software engineering, web applications, decision support systems, or
music composition.
New developments in theory and implementation have opened up new
application areas. At the same time, the application 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 often 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 practioners 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 and their impact on applications;
* evaluation of implementation techniques on practical applications;
* novel uses of declarative languages in the classroom; and
* practical experiences
PADL 07 welcomes new ideas and approaches pertaining to applications
and implementation of declarative languages, and is not limited to the
scope of the past eight PADL symposia.
PADL 07 will be co-located with the ACM POPL.
----------------------------------------------------------------------
IMPORTANT DATES AND SUBMISSION GUIDELINES
Abstract Submission: August 30, 2006
Paper Submission: September 3, 2006 (strict)
Notification: October 2, 2006
Final Manuscript: October 22, 2006
Symposium: January 14-15, 2007
All submissions must be original work written in English. Submissions
must be unpublished and not submitted for publication elsewhere. Work
that already appeared in unpublished or informally published workshops
proceedings may be submitted.
Authors should submit an electronic copy of the full paper (written in
English) in Postscript (Level 2) or PDF via the web page of PADL 07.
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, submissions
should adhere to the LNCS paper formatting guidelines.
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 programm 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 may make multiple
awards.
----------------------------------------------------------------------
PROGRAM COMMITTEE
Matthias Blume (Toyota Technological Institute at Chicago, USA)
Manuel Chakravarty (University of New South Wales, Australia)
Marc Feeley (University of Montreal, Canada)
Hai-Feng Guo (University of Nebraska at Omaha, USA)
Gopal Gupta (University of Texas at Dallas, USA)
Michael Hanus (University of Kiel, Germany, Chair)
Michael Leuschel (University of Duesseldorf, Germany)
Simon Peyton Jones (Microsoft Research, Cambridge, UK)
Enrico Pontelli (New Mexico State University, USA)
German Puebla (Technical University of Madrid, Spain)
Francesca Rossi (University of Padova, Italy)
Michel Rueher (University of Nice, France)
Christian Schulte (Royal Institute of Technology, Sweden)
Zoltan Somogyi (University of Melbourne, Australia)
Peter Stuckey (University of Melbourne, Australia)
Doaitse Swierstra (Utrecht University, The Netherlands)
Simon Thompson (University of Kent, UK)
Pascal Van Hentenryck (Brown University, USA)
German Vidal (Technical University of Valencia, Spain)
----------------------------------------------------------------------
CONTACTS:
For information about papers and submissions, please contact the Program Chair:
Michael Hanus
PC Chair - PADL 2007
Institut fuer Informatik
University of Kiel
D-24098 Kiel, Germany
Email: mh(a)informatik.uni-kiel.de
For other information about the conference, please contact:
Gopal Gupta
Department of Computer Science
University of Texas at Dallas
Dallas, TX, U.S.A.
Email: gupta(a)utdallas.edu
Sponsored by: COMPULOG Americas (http://www.cs.nmsu.edu/~complog)
----------------------------------------------------------------------
==============================================================================
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/
-----------------------------------------------------------------------------
Does CIAO install on that machine ?
ciao_get_arch
says
SCO
and make all
says
Makefile:48: /Users/bmd/CIAO/ciao-1.10p7/makefile-sysdep/mkf-SCO: No such file or directory
make: *** No rule to make target `/Users/bmd/CIAO/ciao-1.10p7/makefile-sysdep/mkf-SCO'. Stop.
Cheers
Bart Demoen
==============================================================================
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
Ninth International Symposium on
Practical Aspects of Declarative Languages 2007
(PADL '07)
http://www.informatik.uni-kiel.de/~mh/padl07
Nice, France
January 14-15, 2007
Co-located with ACM POPL'07
======================================================================
Declarative languages build on sound theoretical foundations to
provide attractive frameworks for application development. These
languages have been successfully applied to a wide array of different
real-world situations, including database management, active networks,
software engineering, web applications, decision support systems, or
music composition.
New developments in theory and implementation have opened up new
application areas. At the same time, the application 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 often 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 practioners 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 and their impact on applications;
* evaluation of implementation techniques on practical applications;
* novel uses of declarative languages in the classroom; and
* practical experiences
PADL 07 welcomes new ideas and approaches pertaining to applications
and implementation of declarative languages, and is not limited to the
scope of the past eight PADL symposia.
PADL 07 will be co-located with the ACM POPL.
----------------------------------------------------------------------
IMPORTANT DATES AND SUBMISSION GUIDELINES
Abstract Submission: August 30, 2006
Paper Submission: September 3, 2006 (strict)
Notification: October 2, 2006
Final Manuscript: October 22, 2006
Symposium: January 14-15, 2007
All submissions must be original work written in English. Submissions
must be unpublished and not submitted for publication elsewhere. Work
that already appeared in unpublished or informally published workshops
proceedings may be submitted.
Authors should submit an electronic copy of the full paper (written in
English) in Postscript (Level 2) or PDF via the web page of PADL 07.
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, submissions
should adhere to the LNCS paper formatting guidelines.
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 programm 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 may make multiple
awards.
----------------------------------------------------------------------
PROGRAM COMMITTEE
Matthias Blume (Toyota Technological Institute at Chicago, USA)
Manuel Chakravarty (University of New South Wales, Australia)
Marc Feeley (University of Montreal, Canada)
Hai-Feng Guo (University of Nebraska at Omaha, USA)
Gopal Gupta (University of Texas at Dallas, USA)
Michael Hanus (University of Kiel, Germany, Chair)
Michael Leuschel (University of Duesseldorf, Germany)
Simon Peyton Jones (Microsoft Research, Cambridge, UK)
Enrico Pontelli (New Mexico State University, USA)
German Puebla (Technical University of Madrid, Spain)
Francesca Rossi (University of Padova, Italy)
Michel Rueher (University of Nice, France)
Christian Schulte (Royal Institute of Technology, Sweden)
Zoltan Somogyi (University of Melbourne, Australia)
Peter Stuckey (University of Melbourne, Australia)
Doaitse Swierstra (Utrecht University, The Netherlands)
Simon Thompson (University of Kent, UK)
Pascal Van Hentenryck (Brown University, USA)
German Vidal (Technical University of Valencia, Spain)
----------------------------------------------------------------------
CONTACTS:
For information about papers and submissions, please contact the Program Chair:
Michael Hanus
PC Chair - PADL 2007
Institut fuer Informatik
University of Kiel
D-24098 Kiel, Germany
Email: mh(a)informatik.uni-kiel.de
For other information about the conference, please contact:
Gopal Gupta
Department of Computer Science
University of Texas at Dallas
Dallas, TX, U.S.A.
Email: gupta(a)utdallas.edu
Sponsored by: COMPULOG Americas (http://www.cs.nmsu.edu/~complog)
----------------------------------------------------------------------
==============================================================================
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/
-----------------------------------------------------------------------------
==============================================================================
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/
-----------------------------------------------------------------------------
Hi List Folks --
Could someone point me to a link to the old warplan.pl program please?
I see it is used for Ciao testing, but it does not seem to be part of
the Ciao download.
Thanks! Adrian Walker
--
Internet Business Logic (R)
Executable open vocabulary English
Online at www.reengineeringllc.com
Shared use is free
Reengineering, PO Box 1412, Bristol, CT 06011-1412, USA
Phone 860 583 9677 Mobile 860 830 2085 Fax 860 314 1029
==============================================================================
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
Ninth International Symposium on
Practical Aspects of Declarative Languages 2007
(PADL '07)
http://www.informatik.uni-kiel.de/~mh/padl07
Nice, France
January 14-15, 2007
Co-located with ACM POPL'07
======================================================================
Declarative languages build on sound theoretical foundations to
provide attractive frameworks for application development. These
languages have been successfully applied to a wide array of different
real-world situations, including database management, active networks,
software engineering, web applications, decision support systems, or
music composition.
New developments in theory and implementation have opened up new
application areas. At the same time, the application 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 often 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 practioners 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 and their impact on applications;
* evaluation of implementation techniques on practical applications;
* novel uses of declarative languages in the classroom; and
* practical experiences
PADL 07 welcomes new ideas and approaches pertaining to applications
and implementation of declarative languages, and is not limited to the
scope of the past eight PADL symposia.
PADL 07 will be co-located with the ACM POPL.
----------------------------------------------------------------------
IMPORTANT DATES AND SUBMISSION GUIDELINES
Abstract Submission: August 30, 2006
Paper Submission: September 3, 2006 (strict)
Notification: October 2, 2006
Final Manuscript: October 22, 2006
Symposium: January 14-15, 2007
All submissions must be original work written in English. Submissions
must be unpublished and not submitted for publication elsewhere. Work
that already appeared in unpublished or informally published workshops
proceedings may be submitted.
Authors should submit an electronic copy of the full paper (written in
English) in Postscript (Level 2) or PDF via the web page of PADL 07.
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, submissions
should adhere to the LNCS paper formatting guidelines.
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 programm 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 may make multiple
awards.
----------------------------------------------------------------------
PROGRAM COMMITTEE
Matthias Blume (Toyota Technological Institute at Chicago, USA)
Manuel Chakravarty (University of New South Wales, Australia)
Marc Feeley (University of Montreal, Canada)
Hai-Feng Guo (University of Nebraska at Omaha, USA)
Gopal Gupta (University of Texas at Dallas, USA)
Michael Hanus (University of Kiel, Germany, Chair)
Michael Leuschel (University of Duesseldorf, Germany)
Simon Peyton Jones (Microsoft Research, Cambridge, UK)
Enrico Pontelli (New Mexico State University, USA)
German Puebla (Technical University of Madrid, Spain)
Francesca Rossi (University of Padova, Italy)
Michel Rueher (University of Nice, France)
Christian Schulte (Royal Institute of Technology, Sweden)
Zoltan Somogyi (University of Melbourne, Australia)
Peter Stuckey (University of Melbourne, Australia)
Doaitse Swierstra (Utrecht University, The Netherlands)
Simon Thompson (University of Kent, UK)
Pascal Van Hentenryck (Brown University, USA)
German Vidal (Technical University of Valencia, Spain)
----------------------------------------------------------------------
CONTACTS:
For information about papers and submissions, please contact the Program Chair:
Michael Hanus
PC Chair - PADL 2007
Institut fuer Informatik
University of Kiel
D-24098 Kiel, Germany
Email: mh(a)informatik.uni-kiel.de
For other information about the conference, please contact:
Gopal Gupta
Department of Computer Science
University of Texas at Dallas
Dallas, TX, U.S.A.
Email: gupta(a)utdallas.edu
Sponsored by: COMPULOG Americas (http://www.cs.nmsu.edu/~complog)
----------------------------------------------------------------------
==============================================================================
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 am new to prolog and even newer to PiLLoW so apologize in advance if
this is a stupid question.
I am having problems with PiLLoW's example check_links.
I sligthly modified it to list every link instead of just bad ones.
Problem is that it doesn't enter in every 'env' as I would expect.
Instead, it finds strange 'env's like 'h1', 'p' or 'ul' which doesn't
exist in the html I am looking into.
Try for example:
trace, main(['http://ningein.freeservers.com']).
This is a trivial html page I setup with a link inside. It doesn't find it.
Best regards,
Norberto
==============================================================================
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/
-----------------------------------------------------------------------------
Hi,
I must be missing something. I installed ciao on windows using the
precompiled binaries, and get the following behavior:
$ ciaosh.bat
Ciao-Prolog 1.10 #5: Fri Aug 6 19:01:54 2004
?- use_module(library(dict)).
Note: module dict already in executable, just made visible
yes
?- dictionary(D).
{ERROR: dict:dictionary/1 - undefined predicate}
no
?-
Is this expected? Sorry if this is a trivial FAQ, but my reading of the
docs didn't find anything else that should have been done before using
the module.
Cheers, Josh
==============================================================================
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 --- FLoC'06
The 2006 Federated Logic Conference
Seattle, Washington, USA
August 10 -- August 22, 2006
http://www.easychair.org/FLoC-06/
Early registration deadline: July 10, 2006.
We are pleased to announce the fourth Federated Logic Conference
(FLoC'06) to be held in Seattle, Washington, in August 2006, at the
Seattle Sheraton (http://www.easychair.org/FLoC-06/floc-hotel.html).
FLoC'06 promises to be the premier scientific meeting in computational
logic in 2006. The following conferences will participate in FLoC'06:
CAV Conference on Computer Aided Verification (Aug 17-20)
ICLP Int'l Conference on Logic Programming (Aug 17-20)
IJCAR Int'l Joint Conference on Automated Reasoning (Aug 17-20)
LICS IEEE Symposium on Logic in Computer Science (Aug 12-15)
RTA Conference on Rewriting Techniques and Applications (Aug 12-14)
SAT Int'l Conference on Theory and Applications of
Satisfiability Testing (Aug 12-15)
The six major conferences will be accompanied by 41 workshops, held on
Aug. 10-11, 15-16, and 21-22.
The FLoC'06 program includes a keynote session to commemorate the Goedel
Centenary, with John Dawson and Dana Scott as speakers, a keynote talk
by David Harel, plenary talks by Randy Bryant and David Dill, and
invited talks by F. Bacchus, A. Blass, B. Buchberger, A. Darwiche, M.
Das, J. Esparza, J. Giesl, A. Gordon, T. Hoare, O. Kupferman, M. Lam, D.
Miller, K. Sakallah, J. Stoy, and C. Welty.
Seattle, the Emerald city, sits on the shores of Puget Sound surrounded
by mountains to the east and west. Lovely views of blue waters and snow
capped peaks seem to appear everywhere - around the next bend in the
road or between the buildings downtown. Seattle is the gateway to the
Pacific Northwest, a premier tourist attraction.
In Seattle, Mt. Rainier enchants visitors; in Vancouver, British
Columbia, the Coast Range juts out over downtown; and in Portland, 5,000
acres of forestland north of the city center harbor deer, elk, and the
odd bear and cougar.
Online registration for FLoC is now open at:
http://www.easychair.org/FLoC-06/
Deadline for early registration is July 10, 2006.
The rates agreed upon between FLoC and the Seattle Sheraton are
very reasonable rates for a first-class hotel in downtown
Seattle during the summer vacation season. To reduce conference
costs and keep registration fees reasonable, FLoC is
contractually obligated to meet a commitment for a certain
number of FloC attendees staying in the conference hotel. FLoC
attendees are strongly encouraged to use the Seattle Sheraton for
conference accommodation. Deadline for preferred hotel rate is
July 21, 2006.
FLoC'06 Steering Committee
Moshe Y. Vardi (General Chair)
Thomas Ball (Conference Co-Chair)
Jakob Rehof (Conference Co-Chair)
Edmund Clarke (CAV)
Reiner Hahnle (IJCAR)
Manuel Hermenegildo (ICLP)
Phokion Kolaitis (LICS)
Henry Kautz (SAT)
Aart Middeldorp (RTA)
Andrei Voronkov (IJCAR)
==============================================================================
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 PAPERS: TACAS 2007
Thirteenth International Conference on
Tools and Algorithms for the Construction and Analysis of Systems
www.doc.ic.ac.uk/tacas07/
Part of ETAPS 2007, March 24 - April 1, 2007, Braga, Portugal
IMPORTANT DATES
* 6 Oct 2006: Submission deadline (strict) for abstracts of research and tool
demonstration papers
* 13 Oct 2006: Submission deadline (strict) for full versions of research and
tool demonstration papers
* 8 Dec 2006: Notification of acceptance
* 5 Jan 2007: Camera-ready versions due
CONFERENCE DESCRIPTION
TACAS is a forum for researchers, developers and users interested in
rigorously based tools and algorithms for the construction and analysis
of systems. The conference serves to bridge the gaps between different
communities that share common interests in, and techniques for, tool
development and its algorithmic foundations. The research areas covered
by such communities include but are not limited to formal methods, software
and hardware verification, static analysis, programming languages, software
engineering, real-time systems, communications protocols, and biological
systems. The TACAS forum provides a venue for such communities at which
common problems, heuristics, algorithms, data structures and methodologies
can be discussed and explored. In doing so, TACAS aims to support researchers
in their quest to improve the utility, reliability, flexibility and efficiency
of tools and algorithms for building systems.
Tool descriptions and case studies with a conceptual message, as well as
theoretical papers with clear relevance for tool construction are all
encouraged. The specific topics covered by the conference include, but
are not limited to, the following:
* Specification and verification techniques for finite and
infinite-state systems
* Software and hardware verification
* Theorem-proving and model-checking
* System construction and transformation techniques
* Static and run-time analysis
* Abstraction techniques for modeling and validation
* Compositional and refinement-based methodologies
* Testing and test-case generation
* Analytical techniques for secure, real-time, hybrid, critical,
biological or dependable systems
* Integration of formal methods and static analysis in high-level
hardware design or software environments
* Tool environments and tool architectures
* SAT solvers
* Applications and case studies
As TACAS addresses a heterogeneous audience, potential authors are strongly
encouraged to write about their ideas and findings in general and jargon-
independent, rather than in application- and domain-specific, terms. Authors
reporting on tools or case studies are strongly encouraged to indicate how
their experimental results can be reproduced and confirmed independently.
PROGRAMME COMMITTEE
Christel Baier (U. Bonn, Germany)
Armin Biere (Johannes Kepler U., Austria)
Jonathan Billington (University of South Australia, Australia)
Ed Brinksma (ESI and U. of Twente, The Netherlands)
Rance Cleaveland (U. of Maryland & Fraunhofer USA Inc, USA)
Byron Cook (tool chair) (Microsoft Research, Cambridge, UK)
Dennis Dams (Bell Labs, Lucent Technologies, Murray Hill, USA)
Marsha Chechik (U. Toronto, Canada)
Francois Fages (INRIA Rocquencourt, France)
Kathi Fisler (Worcester Polytechnic, USA)
Limor Fix (Intel Research Laboratory, Pittsburgh, USA)
Hubert Garavel (INRIA Rhones-Alpes, France)
Susanne Graf (VERIMAG, Grenoble, France)
Orna Grumberg (co-chair) (TECHNION, Israel Institute of Technology, Israel)
John Hatcliff (Kansas State U., USA)
Holger Hermanns (U. des Saarlandes, Germany)
Michael Huth (co-chair) (Imperial College London, UK)
Daniel Jackson (Massachusetts Institute of Technology, USA)
Somesh Jha (U. of Wisconsin at Madison, USA)
Orna Kupferman (Hebrew U., Jerusalem, Israel)
Marta Kwiatkowska (U. of Birmingham, UK)
Kim Larsen (Aalborg U., Denmark)
Michael Leuschel (Heinrich-Heine U., Duesseldorf, Germany)
Andreas Podelski (Max-Planck-Institut fuer Informatik, Saarbruecken, Germany)
Tiziana Margaria-Steffen (U. Goettingen, Germany)
Tom Melham (Oxford U., UK)
CR Ramakrishnan (SUNY Stony Brook, USA)
Jakob Rehof (Fraunhofer ISST, Germany)
Natarajan Shankar (SRI, Menlo Park, USA)
Bernhard Steffen (U. Dortmund, Germany)
Lenore Zuck (U. of Illinois, USA).
INVITED SPEAKER
K. Rustan M. Leino (Microsoft Research, USA)
SUBMISSION GUIDELINES
Papers should be submitted using the TACAS 2007 Conference Service. As with
other ETAPS conferences, TACAS accepts two types of contributions:
* research papers and
* tool demonstration papers.
Both types of contributions will appear in the proceedings and have
oral presentations during the conference.
Research papers:
Research papers cover one or more of the topics above, including tool
development and case studies from a perspective of scientific research.
Research papers are evaluated by the TACAS Program Committee. Submitted
research papers must:
* be in English and have a maximum of 15 pages (including figures and
bibliography)
* present original research which is unpublished and not
submitted elsewhere (conferences or journals) -- in particular,
simultaneous submission of the same contribution to multiple ETAPS
conferences is forbidden
* use the Springer-LNCS style
* be submitted electronically in Postscript or PDF form via the TACAS 2007
Conference Service (abstract no later than 6 October, 2006, and full
paper no later than 13 October, 2006)
Submissions deviating from these instructions may be rejected without review.
Any questions regarding this policy should be directed to the Program Committee
Co-Chairs Orna Grumberg (www.cs.technion.ac.il/users/orna/) or Michael Huth
(www.doc.ic.ac.uk/~mrh/) prior to submitting.
Tool demonstration papers:
Tool demonstration papers present tools based on aforementioned technologies
(e.g., theorem-proving, model-checking, static analysis, or other formal
methods) or fall into the above application areas (e.g., system construction
and transformation, testing, analysis of real-time, hybrid or biological
systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool
Chair, Byron Cook (http://research.microsoft.com/users/bycook/default.htm)
with the help of the Programme Committee.
Submitted tool demonstration papers must:
* be in English and have a maximum of 4 pages
* have an appendix (not included in the 4 page count) that
provides a detailed description of:
- how the oral presentation will be conducted, e.g.
illustrated by a number of snapshots
- the availability of the tool, the number and types of users, other
information which may illustrate the maturity and robustness of the tool
- if applicable, a link to a web-page for the tool
(The appendix will not be included in the proceedings, but during the
evaluation of the tool demonstration papers it will be equally
important as the pages submitted for publication in the proceedings.)
* use the Springer-Verlag LNCS style
* clearly describe the enhancements and novel features of the tool in case that
one of its previous versions has already been presented at meetings or
published in some form
* be submitted electronically in Postscript or PDF form via the TACAS 2007
Conference Service (abstract no later than 6 October, 2006, and full paper
no later than 13 October, 2006)
Submissions deviating from these instructions may be rejected without review.
Any questions regarding this policy should be directed to the Tool Chair
Byron Cook.
==============================================================================
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/
-----------------------------------------------------------------------------
[New final deadline: June 10th]
ICLP'06 Workshop on Multi-valued Logic and Applications
Affliated with FLoC'06
Seattle, Washington
August 21 2006
FINAL CALL FOR PAPERS
Multi-Valued logics provide powerful mechanisms for reasoning about
domains that are incomplete and inconsistent, such as databases,
knowledge representation, model checking,asynchronous electronic
circuits, etc.
It is interesting to study the various semantics of multi-valued
logics in general and in particular, logic programming from the
perspective of multi-valued logics. The classical semantic
formulations of logic programming, such as the minimal Herbrand model
semantics, the well-founded semantics, the answer set semantics need
to reinterpreted in the multi-valued scenario. Given a solid semantic
foundation for a multi-valued logic programming framework, it can then
be used as an elegant declarative specification language for the above
application domains.
Research in this area spans theoretical issues regarding the semantics
and the role of negation, to implementation strategies, to practical
tools for solving problems in various application domains.
The workshop is meant to provide a channel for interaction between
researchers working in these areas, by presenting their results and
fostering discussion. This will engender new directions for
researchers to pursue and showcase the considerable amount of research
that has already been performed in the area.
Authors are invited to submit original research, survey or tutorial
papers in the areas of Multiple-valued Logic and Multi-valued Logic
Programming, including, but not restricted to:
# Algebraic and formal aspects
# Implementation techniques for Multi-Valued LP Languages
# Logic synthesis and Optimization
# Circuit/ Device Implementation
# Multi-Valued Model Checking
# Switching functions
# Machine Learning/ Data Mining
# Biocomputing
# Theorem Proving in Multi-Valued Logics
# Fault Detection and diagnosis
# Reliability
# Information retrieval
# Knowledge Representation/ Discovery
# Automated Reasoning
Important Dates:
Submission deadline: June 10, 2006
Notification to authors: June 20, 2006
Camera-ready copy due: June 30, 2006
Submissions can be made in PDF or PS format at
http://www.easychair.org/MVLPA2006/.
If you have any questions, please send email to
axm011500(a)utdallas.edu.
==============================================================================
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/
-----------------------------------------------------------------------------
==============================================================================
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/
-----------------------------------------------------------------------------