Ciao-users March 2009

ciao-users@cliplab.org

3 participants
3 discussions

RR 2009 Call for papers
by Terrance Swift 23 Mar '09

23 Mar '09

Apologies for multiple postings CALL FOR PAPERS The Third International Conference on Web Reasoning and Rule Systems (RR 2009) http://www.rr-conference.org/RR2009 Chantilly, Virginia, USA October 25-26, 2009 Co-located with the International Semantic Web Conference '09 The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2009 builds on the success of the first two International Conferences on Web Reasoning and Rule Systems, held in 2007 in Innsbruck and in and 2008 in Karlsruhe, which received enthusiastic support from the Web Rules community. In 2009, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. Suggested topics include the following, which is not to be considered as an exhaustive list: * Representation techniques for web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies such as the W3C Rule Interchange Format (RIF), Web Ontology Language (OWL2) and SPARQL working groups, or the W3C Uncertainty Reasoning for the World Wide Web Incubator Group, etc. * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers ------------------------------------------------------------------------ SUBMISSION DETAILS Papers for past conferences were published in the Springer LNCS series (acceptance pending for this year). Papers may be accepted as: * full papers (15 pages in the proceedings) * short papers (8 pages in the proceedings) * posters (2 pages in the proceedings). The stated lengths include title, abstract and list of references. All papers should be formatted according to the Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair, at http://www.easychair.org/conferences/?conf=rr2009 ------------------------------------------------------------------------ TENTATIVE DATES * Abstract submission: June 28, 2009 * Paper submission: July 4, 2009 * Acceptance decisions: August 1, 2009 * Camera-ready papers due: August 25, 2009 ------------------------------------------------------------------------ PROGRAM COMMITTEE Grigoris Antoniou FORTH-ICS (GR) Marcelo Arenas PUC Chile (CL) Leopoldo Bertossi Carleton University (CA) Piero Bonatti Univ. of Naples Frederico II (IT) Carlos Damasio Universidade Nova de Lisboa (PT) Wlodek Drabent IPI PAN Warszawa (PL) Bernardo Cuenca Grau University of Oxford (UK) Volker Haarslev Concordia University (CA) Giovambattista Ianni Univ. of Calabria (IT) Manolis Koubarakis National and Kapodistrian Univ. of Athens (GR) Domenico Lembo DIS, Univ. di Roma ``La Sapienza'' (IT) Thomas Lukasiewicz Computing Lab. Univ. of Oxford (UK) Francesca Alessandra Lisi Universita degli Studi di Bari (IT) Wolfgang May Univ. Goettingen (DE) David Pearce Universidad Politde Madrid (ES) Enrico Pontelli New Mexico State University (US) Guilin Qi Univ. of Karlsruhe (DE) Marie-Christine Rousset Univ. of Grenoble (FR) Sebastian Rudolph Institute AIFB, University of Karlsruhe (DE) Sebastian Schaffert Salzburg Research Forschungsgesellschaf (AT) Michael Sintek DFKI GmbH (DE) Giorgos Stamou National Tech. University of Athens (GR) Heiner Stuckenschmidt Univ. of Mannheim (DE) York Sure AIFB - Universitaet Karlsruhe (DE) Peter Szeredi Budapest Univ of Tech. and Econ. (HU) Sergio Tessaris Free University of Bozen - Bolzano (IT) Hans Tompits Vienna Univ. of Technology (AT) Dirk Vermeir Vrije Universiteit Brussel (BE) ------------------------------------------------------------ CONTACTS For information about papers and submissions, please contact a Program Chair: Axel Polleres Terrance Swift PC co-Chair - RR 2009 PC co-Chair - RR 2009 Digital Enterprise Research Institute Centre for Artificial Intelligence (DERI) (CENTRIA) National University of Ireland, Galway Departamento de Informatica FCT/UNL IDA Business Park, Lower Dangan Quinta da Torre Galway, Ireland 2829-516 CAPARICA - Portugal Email: axel.polleresderi.org Email: tswiftcs.sunysb.edu For other information about the conference, please contact the General Chair: Michael Kifer Computer Science Department SUNY Stony Brook Stony Brook, NY USA Email; kifercs.sunysb.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/ -----------------------------------------------------------------------------

1 0

CFP: CLPSE 2009 - 4th International Workshop on (Constraint) Logic Programming and Software Engineering
by Paulo Moura 01 Mar '09

01 Mar '09

(apologies for duplicates of this message) CALL FOR PAPERS CLPSE 2009 4th International Workshop on (Constraint) Logic Programming and Software Engineering July, 2009 Satellite event of ICLP 2009, Pasadena, California, USA http://logtalk.org/workshops/clpse2009/ Topics of interest ================== This workshop aims at discussing and exchanging experience in software engineering topics related to developing, documenting, testing, porting, evaluating, and maintaining large-scale (constraint) logic programming applications. Experience backed up by industrial applications and their evaluation will be given preference, as well as descriptions of work in progress in that direction. Topics include, but are not limited to: * Experiences in developing and maintaining large-scale logic programming applications. * Experiences in porting applications. * Development of portable libraries and code reuse. * Integrated development environments for logic programming. * Multi-paradigm applications. * Embedded logic programming applications. * Security issues in logic programming applications. * Processes and software design methodologies. * Design patterns in logic programming development. * Metrics for logic programming development and applications. * Implementation of domain specific languages. * Software specification and automatic software generation. * Rapid industrial prototyping using logic programming. * Logic programming in network and infrastructure services. * Logic programming based service oriented architectures. * Logic programming in enterprise architectures. * Integrating logic programming and databases. * Systems interoperability using logic programming. * Legacy re-engineering using logic programming. * Implementing complex business rules using logic programming. Authors who are interested in taking part in the workshop, but are unsure if their work falls within its scope, are invited to contact the workshop coordinators. Workshop Goals ============== Our intent is to bring together, in an informal setting, people involved both in research and in industrial work. We hope that the workshop will provide a meeting point for people working on software engineering topics in the context of large-scale (constraint) logic programming applications. History ======= This workshop continues a tradition of successful workshops on (Constraint) Logic Programming and Software Engineering, previously held in London (2000), Paphos (2001), and Copenhagen (2002). Submission Information ====================== Authors are invited to submit regular papers, position papers, or short papers written in English and formatted using the LNCS LaTeX style (http://www.springeronline.com/lncs/). Regular papers should not exceed 15 pages. Position papers and short papers should not exceed 5 pages. Regular papers should describe original unpublished research or industrial work relevant to the topics of the workshop. Position papers should present new ideas, vision statements, new research directions, or advocate out-of-the-box approaches to know problems. Short papers can be used to describe ongoing work, research project overviews, talk abstracts, or application notes. Paper submission is performed through EasyChair using the URL http://www.easychair.org/conferences/?conf=clpse2009. At least one author of each accepted paper is expected to register and attend the workshop to present the paper. Regular papers and position papers will be presented and discussed in time slots of 20+10 minutes. Short papers will be presented and discussed in time slots of 10+5 minutes. Important Dates =============== Submission deadline: April 6 Notification of authors: May 18 Camera-ready copy due: June 1 Workshop: TBA Organization ============ Program Committee ----------------- Salvador Abreu (University of =C9vora, Portugal) Mats Carlsson (Swedish Institute of Computer Science, Sweden) Gopal Gupta (University of Texas at Dallas, U.S.A) Kung-Kiu Lau (University of Manchester, U.K.) Arun Majumdar (Vivomind Intelligence Inc., U.S.A) Paulo Moura (CRACS - INESC Porto and University of Beira =20 Interior, Portugal) Ulrich Neumerkel (Vienna University of Technology, Austria) Ant=F3nio Porto (University of Porto, Portugal) Tom Schrijvers (Katholieke Universiteit Leuven, Belgium) Joachim Schimpf (Monash University, Melbourne, Australia) Terrance Swift (CENTRIA, Universidade Nova de Lisboa, Portugal) P=E9ter Szeredi (Budapest University of Technology and Economics, =20 Hungary) Paul Tarau (University of North Texas, U.S.A) Walter G. Wilson (Systems Development and Analysis, U.S.A) Workshop Coordinators --------------------- Paulo Moura Ulrich Neumerkel Please address any question regarding the workshop organization to the address clpse2009 =at= logtalk.org. Proceedings =========== We expect to make the informal workshop proceedings available on-line at the Computing Research Repository (http://arxiv.org/corr/home) after the workshop. An electronic copy will be distributed during the workshop. ----------------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Computer Science, University of Beira Interior 6201-001 Covilhã, Portugal Office 4.3 Ext. 3257 Phone: +351 275319891 Fax: +351 275319899 Email: <mailto:pmoura(a)di.ubi.pt> Home page: <http://www.di.ubi.pt/~pmoura> Research: <http://logtalk.org/> ----------------------------------------------------------------- ======================================= Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Commercial Users of Logic Programming: Call for Companies
by Tom Schrijvers 01 Mar '09

01 Mar '09

COMMERCIAL USERS OF LOGIC PROGRAMMING CULP 2009 http://www.cs.kuleuven.be/~toms/CULP2009/ Pasadena, CA, USA -- July 13-17 Co-located with ICLP 2009 CALL FOR COMPANIES Academic research in Logic Programming goes back at least as far as the early 1970s -- that is already more than 35 years. During most of that time, ICLP has been the premier venue for presenting academic research, and many more related workshops and symposia exist. At the same time, Logic Programming is being used widely in industry. However, it has enjoyed at lot less visibility there, and until now it has lacked a designated forum that brings together industrial practitioners and researchers. The goal of this first Commercial Users of Logic Programming (CULP) workshop is to put the commercial and practical use (and users) of Logic Programming in the spotlight. It aims at providing professionals with an opportunity to share their experience, and to enable contacts with other commercial users and academics. If you use Logic Programming in a commercial, industrial or governmental setting, we warmheartedly invite you to consider giving a talk at the workshop. Alternatively, if you know someone who would give a talk, please forward this message to them. FORMAT ------ CULP is organized as a workshop co-located with the 25th International Conference on Logic Programming. The workshop takes place on a date to be determined between July 13-17, 2009, in the Pasadena Convention Center in Pasadena, California, USA. Presentations will have 30 minute slots, of which at least 5 are reserved for discussion. They inform participants about the use of logic programming in an industrial setting. Insights and reflections on many aspects are sought. For example, but not exclusively: - Programming in the different stages and styles of commercial development, - Engineering, scalability and usability issues, - Success stories and (non-)viability of Logic Programming in particular application areas, - Aspects not directly related to application development, such as marketing, recruitment, management,..., - ... Novel research results are not expected. Of course, novel fields of application and novel approaches will be very welcome. SUBMISSIONS ----------- If you are interested in presenting at CULP 2009, send an e-mail to tom -dot- schrijvers -at- cs -dot -kuleuven -dot -be with your name, affiliation and a short description (at most one page) of the proposed talk. Full paper submissions are not required. IMPORTANT DATES --------------- Submission before: April 5, 2009 Notification: April 15, 2009 CULP workshop: July 13-17, 2009 CONFIRMED PRESENTATIONS ------------------------- The following companies have already confirmed to give a presentation. - Logic Blox http://www.logicblox.com/ - Logisoft Solutions LLC http://www.logicalsoft.net/ - Scientific Software and Systems Ltd. http://www.sss.co.nz/ - US Department of Defense - XSB Inc. http://www.xsb.com/ ============================================================================== 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

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 March 2009