http://blog.gmane.org/gmane.comp.ai.prolog.yap.general hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1429 <pre> ============================================================ LOPSTR'12 DEADLINE EXTENSION 22nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2012 http://costa.ls.fi.upm.es/lopstr12 Leuven, Belgium, September 18-20, 2012 NEW DEADLINES Abstract submission: June 4, 2012 Paper submission: June 10, 2012 ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 22nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2012) will be held in Leuven, Belgium; previous symposia were held in Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Odense (you might have a look at the contents of past LOPSTR symposia). LOPSTR 2012 will be co-located with PPDP 2012 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * specification * verification * analysis * specialization * composition * certification * transformational techniques in SE * synthesis * transformation * optimisation * inversion * program/model manipulation * security * applications and tools Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Important Dates Abstract submission: June 4, 2012 Paper submission: June 10, 2012 Notification (for pre-proceedings): July 13, 2012 Camera-ready (for pre-proceedings): July 20, 2012 Symposium: September 18-20, 2012 Submissions must be formatted in the Lecture Notes in Computer Science style. They cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Referees are not required to read the appendices, and thus papers should be intelligible without them. Full papers can be directly accepted for publication in the formal proceedings to be published by Springer in the LNCS series or accepted only for presentation at the symposium. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Authors should submit an electronic copy of the paper (written in English) in PDF or Postscript (Level 2). Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; 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. Papers should be submitted to the submission website for LOPSTR 2012. Invited speakers: - Tom Schrijvers, University of Ghent, Belgium - Jürgen Giesl, RWTH Aachen, Germany (shared with PPDP) Program Committee: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, US Demis Ballis University of Udine, Italy Henning Christiansen Roskilde University, Denmark Michael Codish Ben-Gurion University of the Negev, Israel Danny De Schreye K.U.Leuven, Belgium Esra Erdem Sabanci University, Istanbul Maribel Fernandez King's College London, UK John Gallagher Roskilde University, Denmark Robert Glück University of Copenhagen, Denmark Miguel Gomez-Zamalloa Complutense University of Madrid, Spain Rémy Haemmerlé Technical University of Madrid, Spain Reiner Hähnle TU Darmstadt, Germany Geoff Hamilton Dublin City University, Ireland Carsten Fuhs University College London, UK Gerda Janssens K.U.Leuven, Belgium Isabella Mastroeni University of Verona, Italy Kazutaka MatsudaUniversity of Tokyo, Japan Paulo Moura Universidade da Beira Interior, Portugal Johan Nordlander Luleå University of Technology, Sweden Andrey Rybalchenko Technische Universität München, Germany Kostis Sagonas Uppsala University, Sweden Francesca Scozzari Università "G. D'Annunzio" di Chieti, Italy Valerio Senni Universtà di Roma "Tor Vergata", Italy German Vidal Technical University of Valencia, Spain Program Chair: Elvira Albert Department of Computer Science (DSIC) Complutense University of Madrid Madrid, Spain General Co-Chairs Daniel De Schreye and Gerda Janssens Department of Computer Science K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/_______________________________________________ Yap-users mailing list Yap-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f&lt; at &gt;public.gmane.org https://lists.sourceforge.net/lists/listinfo/yap-users </pre> Jon Sneyers 2012-05-23T12:44:12 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1428 <pre>[Apologies for multiple copies...] ----------------------------------------------------------- WLPE 2012 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP 2012) September 8, 2012 Budapest, Hungary http://users.dsic.upv.es/workshops/wlpe2012/ ----------------------------------------------------------- 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. We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications. 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 * frameworks and resources for sharing in the logic programming community * profiling and performance analysis * type- and mode analysis * shape, point-to and escape analysis * module systems * optimization tools * program understanding * refactoring * logical meta-languages 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. The 22nd Workshop on Logic-based methods in Programming Environments will take place in Budapest, Hungary, as a satellite workshop of ICLP 2012, the 28the 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), Seattle, Washington USA (2006), Porto, Portugal (2007), Udine, Italy (2008), Pasadena, USA (2009), Edinburgh, UK (2010), and Odense, Denmark (2011). This year WLPE will be coordinated with CICLOPS. In particular, there will be two special events organised: (a) SWI-25, a celebration and retrospective of the open source SWI-Prolog engine on the occasion of its 25th birthday, and (b) OpenPL, an event on (1) coordinating efforts towards furthering cross-engine compatibility, with a focus on libraries and add-on packages, and (2) the creation of a user-contributing repository of Prolog code. Submission guidelines --------------------- We encourage the submission of original research in the area as well as relevant results that have been submitted, rejected, or accepted elsewhere as long as they are relevant for the WLPE community. All papers must be written in English and should not exceed 15 pages. We welcome also shorter submissions, e.g., extended abstracts and short papers, of at least 3 pages. Papers should be submitted electronically via the submission page: https://www.easychair.org/conferences/?conf=wlpe2012 An informal proceedings will be distributed electronically at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR). Important dates --------------- Submission: June 20, 2012 Notification: July 16, 2012 Camera-ready: July 27, 2012 Workshop: September 8, 2012 Workshop organizers ------------------- Win Vanhoof Faculty of Computer Science University of Namur Namur, Belgium Email: wlpe2012-2yllyS4jjq8xAGwisGp4zA&lt; at &gt;public.gmane.org Alicia Villanueva Department of Computer Science (DSIC) Universitat Politècnica de València Valencia, Spain Email: wlpe2012-2yllyS4jjq8xAGwisGp4zA&lt; at &gt;public.gmane.org Program committee ----------------- Salvador Abreu Universidade de Évora, Portugal Petra Hofstedt University of Technology Berlin, Germany Jacob Howe City University London, UK Yoshitaka Kameya Tokyo Institute of Technology, Japan Roland Kaminski Universität Postdam, Germany Lunjin Lu Oakland University, USA Alexander Serebrenik Eindhoven University of Technology, The Netherlands Peter Schneider-Kamp University of Southern Denmark, Denmark Zoltan Somogyi University of Melbourne, Australia Win Vanhoof University of Namur, Belgium Alicia Villanueva Universitat Politècnica de València, Spain Damiano Zanardini Universidad Politécnica de Madrid, Spain ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ </pre> Wim Vanhoof 2012-05-18T19:47:55 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1427 <pre> -------------------------------------------------------------- CICLOPS 2012 - Call for Papers 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems ICLP 2012 Workshop 4th September 2012 Budapest, Hungary http://www.cs.unipr.it/ciclops12/ Submission deadline: June 20, 2012 -------------------------------------------------------------- This workshop aims at discussing and exchanging experience on the design, implementation, and optimisation of logic, constraint (logic) programming systems, and other systems based on logic as a means to express computations. Experience backed up by real implementations and their evaluation will be given preference, as well as descriptions of work in progress in that direction. Topics of interest include, but are not limited to: - Sequential implementation schemes (abstract machines, translation to other languages, etc.). - Implementation of concurrent and distributed logic and constraint programming systems. - Type inference and type checking systems for CLP languages. - Compile-time analysis and its application to code generation. - Balance between compile-time effort and run-time machinery, dynamic compilation. - Interaction between high-level optimisations/transformations/specialisation and low-level issues. - Memory management and garbage collection issues. - Indexing techniques and optimisations for large size programs. - Optimisations for program generated logic and constraint programs. - Implementation of logic engines in functional and object oriented languages. - Embedding of logic and constraint programming engines in multi-paradigm systems. - Techniques for alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL etc.). - Extensions to the inference engine such as stochastic, probabilistic and quantitative elements. - Theorem provers, proof assistants and logic based natural language processing systems. - Implementation of object and agent-oriented extensions. - Inductive logic programming. - Object and module systems. - Design and implementation of declarative I/O concepts. - Implementations and ports of CLP systems for mobile devices. - Documenting, debugging, testing, and profiling tools. - Implementations of learning algorithms in logical environments. - Interfaces and their applications to other languages and systems, eg. Java, web and databases. - Cross engine compatibility and user-enabled development. ------------------------------ Workshop Goals Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote the exchange of ideas and feedback on recent developments. We hope that the workshop will provide a meeting point for people working on implementation technology for different aspects of logic and constraint-based languages and systems. We will foster and encourage discussions on the future of LP implementations with focus on extensions, standards, libraries, user-driven development and identification of key research and application areas. This year CICLOPS will be coordinated with WLPE. In particular, there will be two special events organised: (a) SWI-25, a celebration and retrospective of the open source SWI-Prolog engine on the occasion of its 25th birthday, and (b) OpenPL, an event on (1) coordinating efforts towards furthering cross-engine compatibility, with a focus on libraries and add-on packages, and (2) the creation of a user-contributing repository of Prolog code. ------------------------------ Submission Information Authors are invited to submit PDF files of papers written in English and not exceeding 15 pages using LNCS LaTeX format. Shorter submissions are also welcome, e.g. extended abstracts and short papers of at least 3 pages. Papers should be submitted electronically via : https://www.easychair.org/conferences/?conf=ciclops12 ------------------------------ Proceedings We plan for the informal workshop proceedings to be available on-line at the Computing Research Repository after the workshop. An electronic copy will also be distributed during the conference. ------------------------------ Important Dates Submission deadline: June 20, 2012 Notification of authors: July 16, 2012 Camera-ready copy due: July 27, 2012 Workshop date: Tuesday September 4, 2012 ------------------------------ Invited Speaker Tom Schrijvers (University of Ghent, Belgium) ------------------------------ History CICLOPS'11 continues a tradition of successful workshops on Implementations of Logic Programming Systems, previously held in Budapest (1993) and Ithaca (1994), the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993 and 1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages held in Port Jefferson (1997), Manchester (1998), Las Cruces (1999), and London (2000), and more recently the Colloquium on Implementation of Constraint and LOgic Programming Systems in Paphos (2001), Copenhagen (2002), Mumbai (2003), Saint Malo (2004), Sitges (2005), Seattle (2006), Porto (2007), Udine (2008), Pasadena (2009), Edinburgh (2010) - together with WLPE, Lexington (2011). ------------------------------ Program committee Mats Carlsson, SICS, Sweden Daniel Diaz, University of Paris, France Rémy Haemmerlé, Universidad Politécnica de Madrid, Spain Günter Kniesel, University of Bonn, Germany Paulo Moura, Porto and University of Beira Interior, Portugal Ricardo Rocha, University of Porto, Portugal Guido Tack, Monash University, Australia Paul Tarau, University of North Texas, USA Markus Triska, Vienna University of Technology, Austria Jan Wielemaker, Free University of Amsterdam, The Netherlands Neng-Fa Zhou, Brooklyn College, USA ------------------------------ Workshop Coordinators Nicos Angelopoulos, Netherlands Cancer Institute, The Netherlands Roberto Bagnara, University of Parma, Italy ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Yap-users mailing list Yap-users&lt; at &gt;lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/yap-users </pre> Nicos 2012-05-18T07:40:15 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1426 <pre> ============================================================ Call for papers 22nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2012 http://costa.ls.fi.upm.es/lopstr12 Leuven, Belgium, September 18-20, 2012 (co-located with PPDP 2012) ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 22nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2012) will be held in Leuven, Belgium; previous symposia were held in Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Odense (you might have a look at the contents of past LOPSTR symposia). LOPSTR 2012 will be co-located with PPDP 2012 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * specification * verification * analysis * specialization * composition * certification * transformational techniques in SE * synthesis * transformation * optimisation * inversion * program/model manipulation * security * applications and tools Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Important Dates Abstract submission: May 21,2012 Paper submission: May 25, 2012 Notification (for pre-proceedings): June 29, 2012 Camera-ready (for pre-proceedings): July 8, 2012 Symposium: September 18-20, 2012 Submissions must be formatted in the Lecture Notes in Computer Science style. They cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Referees are not required to read the appendices, and thus papers should be intelligible without them. Full papers can be directly accepted for publication in the formal proceedings to be published by Springer in the LNCS series or accepted only for presentation at the symposium. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Authors should submit an electronic copy of the paper (written in English) in PDF or Postscript (Level 2). Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; 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. Papers should be submitted to the submission website for LOPSTR 2012. Invited speakers: - Tom Schrijvers, University of Ghent, Belgium - Jürgen Giesl, RWTH Aachen, Germany (shared with PPDP) Program Committee: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, US Demis Ballis University of Udine, Italy Henning Christiansen Roskilde University, Denmark Michael Codish Ben-Gurion University of the Negev, Israel Danny De Schreye K.U.Leuven, Belgium Esra Erdem Sabanci University, Istanbul Maribel Fernandez King's College London, UK John Gallagher Roskilde University, Denmark Robert Glück University of Copenhagen, Denmark Miguel Gomez-Zamalloa Complutense University of Madrid, Spain Rémy Haemmerlé Technical University of Madrid, Spain Reiner Hähnle TU Darmstadt, Germany Geoff Hamilton Dublin City University, Ireland Carsten Fuhs University College London, UK Gerda Janssens K.U.Leuven, Belgium Isabella Mastroeni University of Verona, Italy Kazutaka MatsudaUniversity of Tokyo, Japan Paulo Moura Universidade da Beira Interior, Portugal Johan Nordlander Luleå University of Technology, Sweden Andrey Rybalchenko Technische Universität München, Germany Kostis Sagonas Uppsala University, Sweden Francesca Scozzari Università "G. D'Annunzio" di Chieti, Italy Valerio Senni Universtà di Roma "Tor Vergata", Italy German Vidal Technical University of Valencia, Spain Program Chair: Elvira Albert Department of Computer Science (DSIC) Complutense University of Madrid Madrid, Spain General Co-Chairs Daniel De Schreye and Gerda Janssens Department of Computer Science K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/_______________________________________________ Yap-users mailing list Yap-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f&lt; at &gt;public.gmane.org https://lists.sourceforge.net/lists/listinfo/yap-users </pre> Jon Sneyers 2012-05-14T11:21:27 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1425 <pre> =============================================================================== SECOND CALL FOR PAPERS ASPOCP 2012 5th Workshop on Answer Set Programming and Other Computing Paradigms http://sites.google.com/site/aspocp12 September 4th, 2012 Collocated with the International Conference on Logic Programming 2012 Budapest, Hungary September 4-8, 2012 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship which is currently extended towards satisfiability modulo theories (SMT), the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified boolean formulas (QBF), first-order logic (FOL), or FO(ID) logic is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, FOL theorem provers, and CLP systems. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications , in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and probabilistic reasoning. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format &lt;URL:http://www.springeronline.com/lncs/&gt;. Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp12 IMPORTANT DATES Submission deadline: June 19, 2012 Notification: July 19, 2012 Camera-ready articles due: July 29, 2012 Workshop: September 4, 2012 PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). LOCATION The workshop will be held in Budapest, Hungary, collocated with the International Conference on Logic Programming (ICLP) 2012. WORKSHOP CO-CHAIRS Michael Fink, Vienna University of Technology, Austria Yuliya Lierler, University of Kentucky, USA PROGRAM COMMITTEE Marcello Balduccini, Kodak Research Labs, USA Gerhard Brewka, University of Leipzig, Germany Pedro Cabalar, Corunna University, Spain Sandeep Chintabathina, University of Arkansas at Pine Bluff, USA Wolfgang Faber, University of Calabria, Italy Martin Gebser, University of Potsdam, Germany Giovambattista Ianni, University of Calabria, Italy Joohyung Lee, Arizona State University, USA Joao Leite, New University of Lisbon, Portugal, Vladimir Lifschitz, University of Texas at Austin, USA Marco Maratea, University of Genoa, Italy Alessandro Mosca, Free University of Bolzano, Italy Emilia Oikarinen, Aalto University, Finland David Pearce, Universidad Politecnica de Madrid, Spain Axel Polleres, Siemens AG Corporate Technology, Austria Peter Schueller, Vienna University of Technology, Austria Guillermo R. Simari, Universidad Nacional del Sur, Argentina Tran Cao Son, New Mexico State University, USA Miroslaw Truszczynski, University of Kentucky, USA Joost Vennekens, Catholic University of Leuven, Belgium Stefan Woltran, Vienna University of Technology, Austria Fangkai Yang, University of Texas at Austin, USA Jia-Huai You, University of Alberta, Canada ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ </pre> aspocp-Re5JQEeQqe8AvxtiuMwx3w< at >public.gmane.org 2012-05-11T11:03:30 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1424 <pre>===================================================================== Call for papers 14th International Symposium on Principles and Practice of Declarative Programming PPDP 2012 Special Issue of Science of Computer Programming (SCP) Leuven, Belgium, September 18-20, 2012 (co-located with LOPSTR 2012) ====================================================================== PPDP 2012 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to: *Functional programming *Logic programming *Answer-set programming *Functional-logic programming *Declarative visual languages *Constraint Handling Rules *Parallel implementation and concurrency *Monads, type classes and dependent type systems *Declarative domain-specific languages *Termination, resource analysis and the verification of declarative programs *Transformation and partial evaluation of declarative languages *Language extensions for security and tabulation *Probabilistic modelling in a declarative language and modelling reactivity *Memory management and the implementation of declarative systems *Practical experiences and industrial application This year the conference will be co-located with the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) and held in cooperation with ACM SIGPLAN. The conference will be held in Leuven, Belgium. Previous symposia were held at Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Proceedings will be published by ACM Press* After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 25% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2013. Important Dates: Abstract Submission: May 28, 2012 Paper submission: May 31, 2012 Notification: July 6, 2012 Camera-ready: July 18, 2012 Symposium: September 19-21, 2012 Invites for SCP: September 26, 2012 Submission of SCP: December 12, 2012 Notification from SCP: February 7, 2013 Camera-ready for SCP: March 7, 2013 Authors should submit an electronic copy of the paper (written in English) in PDF. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. Papers should consist of no more than 12 pages, formatted following the ACM SIG proceedings template (option 1). The 12 page limit must include references but excludes well-marked appendices not intended for publication. Referees are not required to read the appendices, and thus papers should be intelligible without them. Invited speakers: Torsten Schaub, University of Potsdam, Germany Juergen Giesl, RWTH Aachen, Germany (shared with LOPSTR) Program Committee: Slim Abdennadher German University in Cairo, Egypt Puri ArenasComplutense University of Madrid, Spain Marcello BalducciniKodak Research Labs, USA Amir Ben-AmramTel-Aviv Academic College, Israel Philip CoxDalhousie University, Canada Marina De VosUniversity of Bath, UK Martin ErwigOregon State University, USA Martin GebserUniversity of Potsdam, Germany Jacob HoweCity University London, UK Joxan Jaffar National University of Singapore, Singapore Gabriele Keller University of New South Wales, Australia Andy KingUniversity of Kent, UK Julia Lawall INRIA Paris, France Rita Loogen Philipps-Universitat Marburg, Germany Greg MichaelsonHeriot-Watt University, UK Matthew MightUniversity of Utah, USA Henrik NilssonUniversity of Nottingham, UK Catuscia PalamidessiINRIA Saclay and Ecole Polytechnique, France Kostis Sagonas Uppsala University, Sweden and NTUA, Greece Taisuke SatoTokyo Institute of Technology, Japan Peter Schneider-KampUniversity of Southern Denmark, Denmark Tom SchrijversUniversity of Ghent, Belgium Terrance SwiftUniversidade Nova de Lisboa, USA Mirek TruszczynskiUniversity of Kentucky, USA Stephanie Weirich University of Pennsylvania, USA Program Chair: Andy King School of Computing, University of Kent Canterbury, CT2 7NF, UK General Co-Chairs: Daniel De Schreye and Gerda Janssens Department of Computer Science K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium * Confirmation pending ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ </pre> Jon Sneyers 2012-05-14T11:21:47 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1423 <pre>DEADLINE EXTENSION - ILP 2012 - The 22nd International Conference on Inductive Logic Programming Dubrovnik, Croatia, September 17-19, 2012 --------DEADLINE EXTENSION--------- May 14: Abstracts of long papers due May 18: Long papers due http://ida.felk.cvut.cz/ilp2012 KEY DATES: June 4: Notification for long papers July 3: Short/published papers due July 24: Notification for short/published papers September 17-19: Conference INVITED SPEAKERS: Luc de Raedt: Declarative Modelling for Machine Learning Ben Taskar: Geometry of Diversity and Determinantal Point Processes: Representation, Inference and Learning CALL FOR PAPERS The ILP conference series, started in 1991, is the premier international forum on learning from structured data. Originally focusing on the induction of logic programs, it broadened its scope and attracted a lot of attention and interest in recent years. Authors are invited to submit papers presenting original results on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data. Typical, but not exclusive, topics of interest for submissions include: - theoretical aspects: learning scenarios, data/model representation frameworks, their computational and/or statistical properties, etc. - algorithmic and implementation aspects: sclability, efficiency, parallelism, management of algorithms and/or discovered patterns, discovery workflows, etc. - applications of learning from relational data in areas of science (bioinformatics, cheminformatics, medical informatics, etc.), natural language processing (computational linguistics, text and web mining etc.), engineering, the arts, etc. We solicit three kinds of papers: 1) Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Long papers will be reviewed by 3 members of the program committee. Authors will be notified prior to the conference on acceptance/rejection for the Springer post-conference proceedings. Authors of accepted papers will be assigned a standard time slot for presentation. 2) Short papers describing original work in progress, brief accounts of original ideas without conclusive experimental evaluation, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. The PC chairs will accept/reject short papers on the grounds of relevance. Authors of accepted short papers will be assigned a reduced time slot for presentation. Each short paper will be reviewed by 3 members of the program committee on the basis of both the manuscript and its presentation, and the authors of selected papers will be invited to submit a long version for the Springer post-conference proceedings; the paper will be finally accepted if satisfactorily addressing the reviewer's requirements. 3) Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML/PKDD, ICML, KDD, ICDM etc. or journal such as MLJ, DMKD, JMLR etc. The PC chairs will accept/reject such papers on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation. These papers will not appear in the Springer post-conference proceedings. Submissions in category 1 or 2 must not have been published or be under review for a journal or for another conference with published proceedings. They should be submitted in the Springer LNCS format. Long (short) papers must not exceed 12 (6) pages. Papers in category 3 should be submitted in their original format and the authors should indicate the original publication venue. A special issue of the Machine Learning journal is planned following the conference, with papers selected by the PC from all the three categories above, significantly revised and/or extended to meet the MLJ criteria, and re-reviewed by the PC. Program Chairs Fabrizio Riguzzi, University of Ferrara, Italy Filip Železný, Czech Technical University in Prague, Czech Republic Local Organizers Nada Lavrač, Jozef Stefan Institute, Slovenia Tina Anžič, Jozef Stefan Institute, Slovenia Program Committee Érick Alphonse, France Dalal Alrajeh, UK Annalisa Appice, Italy Ivan Bratko, Slovenia Rui Camacho, Portugal James Cussens, UK Saso Dzeroski, Slovenia Floriana Esposito, Italy Nicola Fanizzi, Italy Daan Fierens, Belgium Nuno Fonseca, Portugal Tamás Horváth, Germany Katsumi Inoue, Japan Nobuhiro Inuzuka, Japan Andreas Karwath, Germany Kristian Kersting, Germany Ross King, Wales Ekaterina Komendantskaya, UK Stefan Kramer, Germany Nada Lavrac, Slovenia Francesca Alessandra Lisi, Italy Donato Malerba, Italy Stephen Muggleton, UK Ramon Otero, Spain Aline Paes, Brasil David Page, USA Bernhard Pfahringer, NZ Ganesh Ramakrishnan, India Jan Ramon, Belgium Oliver Ray, UK Chiaki Sakama, Japan José Santos, UK Vitor Santos Costa, Portugal Michèle Sebag, France Jude W. Shavlik, USA Takayoshi Shoudai, Japan Aswhin Srinivasan, India Prasad Tadepalli, USA Alireza Tamaddoni-Nezhad, UK Tomoyuki Uchida, Japan Christel Vrain, France Stefan Wrobel, Germany Akihiro Yamamoto, Japan Gerson Zaverucha, Brazil ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Yap-users mailing list Yap-users&lt; at &gt;lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/yap-users </pre> Fabrizio Riguzzi 2012-05-07T17:32:23 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1422 <pre> ========================================================================= Call for Papers Ninth International Workshop on Constraint Handling Rules CHR 2012 http://dtai.cs.kuleuven.be/CHR/CHR2012/ Budapest (Hungary), September 4th, 2012 (co-located with ICLP 2012) ========================================================================= Introduction The CHR 2012 Workshop will be held on September 4th, 2012 in Budapest, Hungary, at the occasion of the 28th International Conference on Logic Programming (ICLP 2010), the premier international venue for presenting research in logic programming. More information on the venue and the co-located conference and workshops can be found on the ICLP website (http://www.cs.bme.hu/iclp2012/). The Constraint Handling Rules (CHR) language has become a major declara- tive specification formalism and implementation language for constraint reasoning algorithms and applications. Algorithms specified using infe- rence rules, rewrite rules, sequents, proof rules, or logical axioms can often be directly written in CHR. Its clean semantics facilitates pro- gram design, analysis, and transformation. For more information, please visit the CHR website (http://dtai.cs.kuleuven.be/CHR/). The aim of the CHR workshop series is to stimulate and promote interna- tional research and collaboration on topics related to the CHR language. The workshop is a lively, friendly forum for presenting and discussing new results, interesting applications, and work in progress. Previous Workshops on Constraint Handling Rules were organized in 2004 in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice (Italy) at ICALP, in 2007 in Porto (Portugal) at ICLP, in 2008 in Hagen- berg (Austria) at RTA, in 2009 in Pasadena (California, US) at ICLP, in 2010 in Edinburgh (Scotland, UK) at ICLP, and in 2011 in Cairo (Egypt), at the 2nd CHR summer school. Topics of Interest The workshop calls for full papers and short papers describing ongoing work on any aspect of CHR and related approaches. The following topics are relevant (this list is non-exhaustive): - (Logical) Algorithms - Applications - Comparisons with Related Approaches - Constraint Solvers - Critical Assessment - Expressiveness and Complexity - Implementations and Optimization - Language Extensions (Types, Modules,...) - Program Analysis - Program Transformation and Generation - Programming Environments (Debugging) - Programming Pearls - Programming Tools - Retractable Constraints - Semantics - System Descriptions Important dates - Paper submission deadline: July 2nd, 2012 - Notification of acceptance: August 1st, 2012 - Final version due: August 17, 2012 (tentative) - Workshop date: September 4th, 2012 Submission Information The four broad categories for submissions are: 1. technical papers for describing technically sound, innovative ideas that can advance the state of the art of CHR 2. application papers, where the emphasis will be on the use of CHR in the application, on the impact on the application domain, and the lessons learned from this application 3. system and tool papers, emphasising the novelty, practicality, usability and general availability of the systems and tools described 4. short papers, for ongoing work not yet ready for full publication and research project overviews. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers must not exceed 15 pages. The limit for short papers is 8 pages, as is the standard page limit for application papers, and system and tool papers. However, particularly strong contributions in the latter two areas may be submitted as technical paper as well. All papers must be in the Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS home page (http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0). Submissions must be made via the EasyChair submission system, available at http://www.easychair.org/conferences/?conf=chr2012 Programme Committee - Henning Christiansen, Roskilde University, Denmark - Veronica Dahl, Simon Fraser University, Canada - François Fages, INRIA Paris-Rocquencourt, France - Thom Frühwirth, Ulm University, Germany (co-chair) - Maurizio Gabbrielli, Universita' di Bologna, Italy - Rémy Haemmerlé, Universidad Politecnica de Madrid, Spain - Thierry Martinez, INRIA Paris-Rocquencourt, France - Eric Monfroy, Université de Nantes, France - Tom Schrijvers, University of Ghent, Belgium - Jon Sneyers, KU Leuven, Belgium (co-chair) - Armin Wolf, Fraunhofer FIRST, Germany Workshop Coordinators Contact: chr2012-bC77Qfv0vuxrovVCs/uTlw&lt; at &gt;public.gmane.org Jon Sneyers Department of Computer Science, KU Leuven Leuven, Belgium http://people.cs.kuleuven.be/~jon.sneyers/ Thom Frühwirth Programmiermethodik und Compilerbau, Ulm University Ulm, Germany http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/_______________________________________________ Yap-users mailing list Yap-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f&lt; at &gt;public.gmane.org https://lists.sourceforge.net/lists/listinfo/yap-users </pre> Jon Sneyers 2012-04-27T06:54:23 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1421 <pre>Hi Vitor, It is a while ago that we reported issues with the stable YAP 6.2.3 and this message is to confirm that it really *is* stable! During the past months we ran regression tests producing 540 million lines of N3 data per day and it really works in an excellent way :-) Thanks!! Jos Kind regards, Jos De Roo | Agfa HealthCare Senior Researcher | HE/Advanced Clinical Applications Research http://www.agfa.com/w3c/jdroo http://twitter.com/josderoo Agfa HealthCare NV, Moutstraat 100, B-9000 Gent, Belgium http://www.agfa.com/healthcare ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ </pre> jos.deroo-HhcJg5Z4elQ< at >public.gmane.org 2012-04-25T22:44:10 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1420 <pre>===================================================================== Call for papers 14th International Symposium on Principles and Practice of Declarative Programming PPDP 2012 Special Issue of Science of Computer Programming (SCP) Leuven, Belgium, September 18-20, 2012 (co-located with LOPSTR 2012) ====================================================================== PPDP 2012 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to: *Functional programming *Logic programming *Answer-set programming *Functional-logic programming *Declarative visual languages *Constraint Handling Rules *Parallel implementation and concurrency *Monads, type classes and dependent type systems *Declarative domain-specific languages *Termination, resource analysis and the verification of declarative programs *Transformation and partial evaluation of declarative languages *Language extensions for security and tabulation *Probabilistic modelling in a declarative language and modelling reactivity *Memory management and the implementation of declarative systems *Practical experiences and industrial application This year the conference will be co-located with the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) and held in cooperation with ACM SIGPLAN. The conference will be held in Leuven, Belgium. Previous symposia were held at Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Proceedings will be published by ACM Press* After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 25% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2013. Important Dates: Abstract Submission: May 28, 2012 Paper submission: May 31, 2012 Notification: July 6, 2012 Camera-ready: July 18, 2012 Symposium: September 19-21, 2012 Invites for SCP: September 26, 2012 Submission of SCP: December 12, 2012 Notification from SCP: February 7, 2013 Camera-ready for SCP: March 7, 2013 Authors should submit an electronic copy of the paper (written in English) in PDF. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. Papers should consist of no more than 12 pages, formatted following the ACM SIG proceedings template (option 1). The 12 page limit must include references but excludes well-marked appendices not intended for publication. Referees are not required to read the appendices, and thus papers should be intelligible without them. Invited speakers: Torsten Schaub, University of Potsdam, Germany Juergen Giesl, RWTH Aachen, Germany (shared with LOPSTR) Program Committee: Slim Abdennadher German University in Cairo, Egypt Puri ArenasComplutense University of Madrid, Spain Marcello BalducciniKodak Research Labs, USA Amir Ben-AmramTel-Aviv Academic College, Israel Philip CoxDalhousie University, Canada Marina De VosUniversity of Bath, UK Martin ErwigOregon State University, USA Martin GebserUniversity of Potsdam, Germany Jacob HoweCity University London, UK Joxan Jaffar National University of Singapore, Singapore Gabriele Keller University of New South Wales, Australia Andy KingUniversity of Kent, UK Julia Lawall INRIA Paris, France Rita Loogen Philipps-Universitat Marburg, Germany Greg MichaelsonHeriot-Watt University, UK Matthew MightUniversity of Utah, USA Henrik NilssonUniversity of Nottingham, UK Catuscia PalamidessiINRIA Saclay and Ecole Polytechnique, France Kostis Sagonas Uppsala University, Sweden and NTUA, Greece Taisuke SatoTokyo Institute of Technology, Japan Peter Schneider-KampUniversity of Southern Denmark, Denmark Tom SchrijversUniversity of Ghent, Belgium Terrance SwiftUniversidade Nova de Lisboa, USA Mirek TruszczynskiUniversity of Kentucky, USA Stephanie Weirich University of Pennsylvania, USA Program Chair: Andy King School of Computing, University of Kent Canterbury, CT2 7NF, UK General Co-Chairs: Daniel De Schreye and Gerda Janssens Department of Computer Science K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium * Confirmation pending ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ </pre> Jon Sneyers 2012-04-25T06:45:59 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1419 <pre>Hi Fabrizio That's a bug of stack expansion in the middle of parsing. The bug should have been fixed now in git. Vitor On Apr 14, 2012, at 5:19 PM, Fabrizio Riguzzi wrote: ------------------------------------------------------------------------------ For Developers, A Lot Can Happen In A Second. Boundary is the first to Know...and Tell You. Monitor Your Applications in Ultra-Fine Resolution. Try it FREE! http://p.sf.net/sfu/Boundary-d2dvs2 </pre> Vítor Santos Costa 2012-04-15T21:42:54 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1418 <pre>Hi Vitor, when loading the file I am sending you (in zipped format), YAP 6.3.1 says % % YAP OOOPS: tried to access illegal address 0xb6fc017c!!!!. % % while Yap 5.1.4 successfully loads the file. Cheers, Fabrizio ------------------------------------------------------------------------------ For Developers, A Lot Can Happen In A Second. Boundary is the first to Know...and Tell You. Monitor Your Applications in Ultra-Fine Resolution. Try it FREE! http://p.sf.net/sfu/Boundary-d2dvs2_______________________________________________ Yap-users mailing list Yap-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f&lt; at &gt;public.gmane.org https://lists.sourceforge.net/lists/listinfo/yap-users </pre> Fabrizio Riguzzi 2012-04-14T16:19:07 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1417 <pre> ============================================================ Call for papers 22nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2012 http://costa.ls.fi.upm.es/lopstr12 Leuven, Belgium, September 18-20, 2012 (co-located with PPDP 2012) ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 22nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2012) will be held in Leuven, Belgium; previous symposia were held in Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Odense (you might have a look at the contents of past LOPSTR symposia). LOPSTR 2012 will be co-located with PPDP 2012 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * specification * verification * analysis * specialization * composition * certification * transformational techniques in SE * synthesis * transformation * optimisation * inversion * program/model manipulation * security * applications and tools Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Important Dates Abstract submission: May 21,2012 Paper submission: May 25, 2012 Notification (for pre-proceedings): June 29, 2012 Camera-ready (for pre-proceedings): July 8, 2012 Symposium: September 18-20, 2012 Submissions must be formatted in the Lecture Notes in Computer Science style. They cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Referees are not required to read the appendices, and thus papers should be intelligible without them. Full papers can be directly accepted for publication in the formal proceedings to be published by Springer in the LNCS series or accepted only for presentation at the symposium. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Authors should submit an electronic copy of the paper (written in English) in PDF or Postscript (Level 2). Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; 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. Papers should be submitted to the submission website for LOPSTR 2012. Invited speakers: - Tom Schrijvers, University of Ghent, Belgium - Jürgen Giesl, RWTH Aachen, Germany (shared with PPDP) Program Committee: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, US Demis Ballis University of Udine, Italy Henning Christiansen Roskilde University, Denmark Michael Codish Ben-Gurion University of the Negev, Israel Danny De Schreye K.U.Leuven, Belgium Esra Erdem Sabanci University, Istanbul Maribel Fernandez King's College London, UK John Gallagher Roskilde University, Denmark Robert Glück University of Copenhagen, Denmark Miguel Gomez-Zamalloa Complutense University of Madrid, Spain Rémy Haemmerlé Technical University of Madrid, Spain Reiner Hähnle TU Darmstadt, Germany Geoff Hamilton Dublin City University, Ireland Carsten Fuhs University College London, UK Gerda Janssens K.U.Leuven, Belgium Isabella Mastroeni University of Verona, Italy Kazutaka MatsudaUniversity of Tokyo, Japan Paulo Moura Universidade da Beira Interior, Portugal Johan Nordlander Luleå University of Technology, Sweden Andrey Rybalchenko Technische Universität München, Germany Kostis Sagonas Uppsala University, Sweden Francesca Scozzari Università "G. D'Annunzio" di Chieti, Italy Valerio Senni Universtà di Roma "Tor Vergata", Italy German Vidal Technical University of Valencia, Spain Program Chair: Elvira Albert Department of Computer Science (DSIC) Complutense University of Madrid Madrid, Spain General Co-Chairs Daniel De Schreye and Gerda Janssens Department of Computer Science K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium ------------------------------------------------------------------------------ For Developers, A Lot Can Happen In A Second. Boundary is the first to Know...and Tell You. Monitor Your Applications in Ultra-Fine Resolution. Try it FREE! http://p.sf.net/sfu/Boundary-d2dvs2_______________________________________________ Yap-users mailing list Yap-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f&lt; at &gt;public.gmane.org https://lists.sourceforge.net/lists/listinfo/yap-users </pre> Jon Sneyers 2012-04-11T07:05:43 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1416 <pre>Hi Jason Two other approaches: - you can try using the thread functionality. You configure yap with --enable-threads and fork an extra thread per directory. - you can use the MPI interface, but that might be overkill in this example. Cheers Vitor ------------------------------------------------------------------------------ Better than sec? Nothing is better than sec when it comes to monitoring Big Data applications. Try Boundary one-second resolution app monitoring today. Free. http://p.sf.net/sfu/Boundary-dev2dev </pre> Vítor Santos Costa 2012-04-11T20:35:54 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1415 <pre> Dear Jason, It is is unlikely that this is the most elegant solution, but if you are on linux/mac you can just start a number of (background processes from the command-line. You can either change your source file to have some basic awareness of command line input (eg see argv/1) or start yap with the appropriate -g call. For instance yap -f -l source_file.pl -g goal(dir1) &amp; There is nothing stoping you from running these from within Yap (via shell/1, system/1, process_create/3). Nicos Angelopoulos --- bioinformatics.nki.nl/~nicos On Wed, 11 Apr 2012 14:59:32 +0300 Jason Filippou &lt;jason.filippou-Re5JQEeQqe8AvxtiuMwx3w&lt; at &gt;public.gmane.org&gt; wrote: ------------------------------------------------------------------------------ Better than sec? Nothing is better than sec when it comes to monitoring Big Data applications. Try Boundary one-second resolution app monitoring today. Free. http://p.sf.net/sfu/Boundary-dev2dev </pre> Nicos 2012-04-11T19:12:06 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1414 <pre>Hello list, I have a predicate goal/1 which takes as an argument a directory path. In my code, I have 30 different grounded definitions of goal/1, each with an argument representing a static directory path, like so: goal('directory1'):- doSomethingWithDirectory('directory1'), ..... goal('directory2'):- doSomethingWithDirectory('directory1'), ..... To execute all different grounded definitions of goal/1 without prompting for unification questions, I type in the YAP prompt: ?- findall(X, goal(X), _). But this is still cumbersome, because I have to wait for the job corresponding to directory1 to finish, then move on to directory2, and so on. I'd like to execute the different definitions of goal/1 in parallel to speed up execution. Is there any way to do this through YAP? Thanks, Jason </pre> Jason Filippou 2012-04-11T11:59:32 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1413 <pre> I am just wondering if there is a middle/long term plan to port YAP to Android (or other operative system for mobile systems). I think it should be possible, since at the end Android is executed over a Linux, but I do not think if would be easy for the amount of customizations that google probably added when building the OS (but not sure about that). Sergio </pre> sergioc78 2012-04-08T16:39:12 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1412 <pre> =============================================================================== CALL FOR PAPERS ASPOCP 2012 5th Workshop on Answer Set Programming and Other Computing Paradigms http://sites.google.com/site/aspocp12 September 4th, 2012 Collocated with the International Conference on Logic Programming 2012 Budapest, Hungary September 4-8, 2012 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship which is currently extended towards satisfiability modulo theories (SMT), the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified boolean formulas (QBF), first-order logic (FOL), or FO(ID) logic is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, FOL theorem provers, and CLP systems. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications , in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and probabilistic reasoning. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format &lt;URL:http://www.springeronline.com/lncs/&gt;. Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp12 IMPORTANT DATES Submission deadline: June 19, 2012 Notification: July 19, 2012 Camera-ready articles due: July 29, 2012 Workshop: September 4, 2012 PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). LOCATION The workshop will be held in Budapest, Hungary, collocated with the International Conference on Logic Programming (ICLP) 2012. WORKSHOP CO-CHAIRS Michael Fink, Vienna University of Technology, Austria Yuliya Lierler, University of Kentucky, USA PROGRAM COMMITTEE Marcello Balduccini, Kodak Research Labs, USA Gerhard Brewka, University of Leipzig, Germany Pedro Cabalar, Corunna University, Spain Sandeep Chintabathina, University of Arkansas at Pine Bluff, USA Wolfgang Faber, University of Calabria, Italy Martin Gebser, University of Potsdam, Germany Giovambattista Ianni, University of Calabria, Italy Joohyung Lee, Arizona State University, USA Joao Leite, New University of Lisbon, Portugal, Vladimir Lifschitz, University of Texas at Austin, USA Marco Maratea, University of Genoa, Italy Alessandro Mosca, Free University of Bolzano, Italy Emilia Oikarinen, Aalto University, Finland David Pearce, Universidad Politecnica de Madrid, Spain Axel Polleres, Siemens AG Corporate Technology, Austria Peter Schueller, Vienna University of Technology, Austria Guillermo R. Simari, Universidad Nacional del Sur, Argentina Tran Cao Son, New Mexico State University, USA Miroslaw Truszczynski, University of Kentucky, USA Joost Vennekens, Catholic University of Leuven, Belgium Stefan Woltran, Vienna University of Technology, Austria Fangkai Yang, University of Texas at Austin, USA Jia-Huai You, University of Alberta, Canada ------------------------------------------------------------------------------ Better than sec? Nothing is better than sec when it comes to monitoring Big Data applications. Try Boundary one-second resolution app monitoring today. Free. http://p.sf.net/sfu/Boundary-dev2dev </pre> aspocp-Re5JQEeQqe8AvxtiuMwx3w< at >public.gmane.org 2012-04-02T17:21:06 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1411 <pre> CALL FOR PARTICIPATION: FLOPS 2012 ================================== Eleventh International Symposium on Functional and Logic Programming May 23-25, 2012 Takikawa Memorial Hall, Kobe University, Kobe, Japan http://www.org.kobe-u.ac.jp/flops2012/ *Early Registration: April 25 (Wed)* FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. The 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) and satellite workshops including WFLP 2012 will be held in the week after FLOPS at Nagoya, Japan. Invited Speakers &lt; at &gt; FLOPS ================ - Tachio Terauchi (Graduate School of Information Science, Nagoya University). Automated Verification of Higher-order Functional Programs - Michael Codish (Department of Computer Science, Ben-Gurion University of the Negev). Programming with Boolean Satisfaction - Stephanie Weirich (School of Engineering and Applied Science, University of Pennsylvania). Dependently-typed programming in GHC See the full program at http://www.org.kobe-u.ac.jp/flops2012/program.html Register now at http://www.org.kobe-u.ac.jp/flops2012/index.html#REGISTRATION CONFERENCE ORGANIZERS GENERAL CHAIR ============= - Naoyuki Tamura (Kobe University, Japan) PROGRAM CO-CHAIRS ================= - Tom Schrijvers (Ghent University, Belgium) - Peter Thiemann (University of Freiburg, Germany) CONFERENCE SPONSORS =================== - Japan Society for Software Science and Technology (JSSST) SIGPPL - Information Science and Technology Center, Kobe University IN COOPERATION WITH =================== - ACM SIGPLAN - Asian Association for Foundation of Software (AAFS) - Association for Logic Programming (ALP) </pre> Tom Schrijvers 2012-03-29T12:24:41 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1410 <pre>Hello Vitor, Thanks for your answers and great job on prolog. It took me some times to think about limitations you pointed out, trying to find alternative solution. I understand it is at least possible to have or-parallelism yap working in a shared memory multi processor environment (multi threading I guess). After your first remark, I understand that there is a side-effect issue that makes CHR not ready to use yap implicit or-paralellism, even in a shared memory environment. If my knowledge is correct, it may be because of rules concurrency in the store. Anyway, if I wish to use parallel CHR, yap is not yet the solution, despite of its great performance benefit, as it needs explicit parallelism that should be however integrated into CHR. I am now investigating Martin Sulzmann's CCHR solution, on top of shared memory STM-based Haskell. I even saw a PVM based Glasgow Parallel Haskell &lt;http://www.macs.hw.ac.uk/%7Edsg/gph/&gt;that could be the base for, I hope, a distributed memory CHR solver, already created on top of a multisetrewrite &lt;http://sulzmann.blogspot.fr/2008/10/multi-set-rewrite-rules-with-guards-and.html&gt; haskell package. Because of its compliance with K.U. Leuven CHR system, if Tom has some work ready that could be tested, even in a shared memory environment, I would be glad off course to try it on my own code. Cheers, Jean-Michel. ------------------------------------------------------------------------------ This SF email is sponsosred by: Try Windows Azure free for 90 days Click Here http://p.sf.net/sfu/sfd2d-msazure_______________________________________________ Yap-users mailing list Yap-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f&lt; at &gt;public.gmane.org https://lists.sourceforge.net/lists/listinfo/yap-users </pre> Jean-Michel Rioux 2012-03-22T16:02:33 http://permalink.gmane.org/gmane.comp.ai.prolog.yap.general/1409 <pre> Hallo, I try to build yap 6.3.1 on openindiana as a 64 bit app. I got a working yap after solving the problems: 1) C/pl-yap.c doesn't include ieeefp.h but uses macros defined there. The configure correctly detects the presence of ieeefp.h, and defines HAVE_IEEEFP_H in config.h; including the header fixes the problem. 2) os/pl-file.c doesn't include limits.h but uses MB_LEN_MAX macro; including limits.h resolves the problem. 3) os/pl-option.c doesn't include limits.h but uses MAX_LONG macro; including limits.h resolves the problem. 4) packages/clib/maildrop/rfc2045/rfc2045mkboundary.c checks HAS_GETHOSTNAME, but should check HAVE_GETHOSTNAME (the result is a conflicting definition of gethostname) 5) linking dtd2pl: the flag -m64 gets lost somewhere - I've got it in CFLAGS, CXXFLAGS and LDFLAGS which I give to the top level configure script, but the linking of dtd2pl is attempted as: / /usr/bin/gcc -shared -o dtd2pl parser.o util.o charmap.o catalog.o model.o xmlns.o utf8.o xml_unicode.o dtd2pl.o prolog.o 6) the build of the R interface is attempted by default, regardless if R is present or not. configure --without-R fixes the problem. Kind regards Michael Figiel / ------------------------------------------------------------------------------ This SF email is sponsosred by: Try Windows Azure free for 90 days Click Here http://p.sf.net/sfu/sfd2d-msazure </pre> Michael Figiel 2012-03-25T18:40:41 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.ai.prolog.yap.general