Ciao-users

ciao-users@cliplab.org

948 discussions

Final CFP: 9th Int'l Symposium on Practical Aspects of Declarative Languages (PADL)
by Gopal Gupta 29 Aug '06

29 Aug '06

[ 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/ -----------------------------------------------------------------------------

1 0

CIAO and MacBook Pro
by Bart Demoen 14 Aug '06

14 Aug '06

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/ -----------------------------------------------------------------------------

2 1

CFP for Practical Aspects of Declarative Languages: 9th Symposium
by Gopal Gupta 06 Aug '06

06 Aug '06

[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/ -----------------------------------------------------------------------------

1 0

warplan.pl
by Internet Business Logic 03 Aug '06

03 Aug '06

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/ -----------------------------------------------------------------------------

2 1

CFP for Practical Aspects of Declarative Languages: 9th Symposium
by Gopal Gupta 02 Aug '06

02 Aug '06

1 0

PiLLoW
by Norberto Ingein 24 Jul '06

24 Jul '06

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/ -----------------------------------------------------------------------------

1 0

None
by Josh Berdine 22 Jul '06

22 Jul '06

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/ -----------------------------------------------------------------------------

2 1

FLoC 06 -- Call For Participation
by Kreutzer + Schweikardt 04 Jul '06

04 Jul '06

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/ -----------------------------------------------------------------------------

1 0

Call For Papers: TACAS 2007
by Grumberg + Huth 17 Jun '06

17 Jun '06

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/ -----------------------------------------------------------------------------

1 0

Multi-Valued Logic Programming and App: Extended Deadline
by Gopal Gupta 09 Jun '06

09 Jun '06

[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/ -----------------------------------------------------------------------------

1 0

← Newer
1
...
44
45
46
47
48
49
50
...
95
Older →

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users