Ciao-users February 2007

ciao-users@cliplab.org

2 participants
3 discussions

Final CFP: 23rd International Conference on Logic Programming (ICLP 2007)
by ICLP07 publicity 25 Feb '07

25 Feb '07

(apologies for cross-posting) Final Call for Papers 23rd International Conference on Logic Programming ICLP 2007 Porto, Portugal, September 8-13, 2007 http://www.dcc.fc.up.pt/iclp07/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. - Alternative Paradigms: Abductive Logic Programming, Answer Set Programming, Constraint Logic Programming, Inductive Logic Programming, Alternative Inference Engines and Mechanisms. - Applications: Deductive Databases, Data Integration, Software Engineering, Natural Language, Web Tools, Internet Agents, Artificial Intelligence, Bioinformatics. The three broad categories for submissions are: (1) technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and (3) posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. In addition to papers and posters, the technical program will include invited talks, tutorials, a Doctoral Consortium, and workshops. Papers and Posters Papers and posters must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical and application papers must not exceed 15 pages in the Springer LNCS format. The limit for posters is 2 pages in the same format. The primary means of submission is electronic. Papers and posters must be submitted at http://www.easychair.org/ICLP2007/. Publication It is expected that the proceedings will be published by Springer-Verlag in the LNCS series. All accepted papers and abstracts of accepted posters will be included in the proceedings. Important Dates Paper registration deadline: March 2, 2007 Submission deadline: March 9, 2007 Notification of authors: May 4, 2007 Camera-ready copy due: June 8, 2007 ICLP 2007 Organization Program Chairs: Ver=F3nica Dahl and Ilkka Niemel=E4 General Chair: Fernando Silva Local Chair: Ricardo Rocha Publicity Chair: Salvador Abreu Workshops Chair: Agostino Dovier Doctoral Consortium Chairs: Enrico Pontelli and In=EAs Dutra Prolog Programming Contest: Bart Demoen Contact Address: iclp07(a)dcc.fc.up.pt Program Committee: Maurice Bruynooghe Keith Clark Ver=F3nica Dahl (Co-chair) Marina De Vos Yannis Dimopoulos In=EAs Dutra Esra Erdem Maurizio Gabbrielli Patricia M Hill Katsumi Inoue Tomi Janhunen Tony Kusalik Nicola Leone Vladimir Lifschitz Ilkka Niemel=E4 (Co-chair) Lu=EDs Moniz Pereira German Puebla Francesca Rossi Kostis Sagonas Peter Schachte Torsten Schaub Fernando Silva Guillermo R. Simari Tran Cao Son Paul Tarau Francesca Toni Eric Villemonte de la Clergerie David S. Warren Stefan Woltran Workshops The ICLP'07 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a wide and interested audience. Workshops also provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. You can find the call for proposals in http://www.dimi.uniud.it/dovier/WICLP07/. Workshop proposal submission deadline: February 14, 2007. Doctoral Consortium The Doctoral Consortium (DC) on Logic Programming is the third doctoral consortium to be offered as part of ICLP conference series. The DC builds on the experience of the previous successful consortiums (held in Sitges, Spain and in Seattle, WA) during ICLP-05 and ICLP-06. The DC is designed for doctoral students working in areas related to logic and constraint programming, who are planning to pursue a career in academia. The DC also considers applications from Master's students pursuing projects in logic programming and interested in entering a doctoral program. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions. More information can be found at http://www.cs.nmsu.edu/~epontell/DC2007/. Conference Venue ICLP 2007 will be held in the city of Porto, second largest in Portugal. Porto is located by the Douro river and the Atlantic, has a truly unique appearance with many striking bridges, a historic center classified by UNESCO as a World Heritage site, a new House of Music by Rem Koolhaas and a nice Museum of Modern Art (Museu de Serralves). Porto is also well known for the much celebrated Port wine grown in the Douro valley. The conference will feature a cruise in the Douro river along with other optional tours. The Conference will take place in the Hotel "Le Meridien Park Atlantic Porto". ============================================================================== 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

CoRTA'07 - Call for Papers
by Paulo Moura 22 Feb '07

22 Feb '07

Call for Papers - We apologize for multiple copies of this Call CoRTA'2007 Compilers, Related Technologies and Applications Departamento de Inform=E1tica da Universidade da Beira Interior, Covilh=E3 - Portugal July 6th, 2007 http://corta.di.ubi.pt/ CoRTA is a forum where researchers, developers, educators, research students and practitioners exchange ideas and information on the latest academic or industrial work in compiler technology, programming language design and implementation and their application. The conference =20 emphasizes theoretical, practical and experimental work and invites "research =20 papers" but also "position papers" and "extended abstract" on methods and tools for all aspects of compiler technology and all language paradigms. =20 Topics of interest include, but are not limited to: * compilation and interpretation techniques, including program representation and analysis, code generation and code optimization; * run-time techniques, including memory management and dynamic and just-in-time compilation; * programming tools, from refactoring editors to checkers to =20 compilers to virtual machines to debuggers; * techniques for specific domains, such as secure, parallel, distributed, embedded or mobile environments; * formal techniques and tools, including formal analysis and =20 reasoning of compiler, programming languages and execution platforms; * design of novel language constructs and their implementation. * Invited speakers: Uwe Kastens, University of Paderborn, Germany Jean-Christophe Filli=E2tre, LRI, University of Paris Sud, France. * Submission Guidelines: The proceedings will be published as a University of Beira Interior Technical Report with ISBN. The submission must be written in English, submitted in their pdf version and can be: up to 12 pages, for a =20 research or position paper; or 4 pages, for an extended abstract. You are =20 strongly encouraged to use LaTeX2e and Springer llncs class file available at http://www.springer.de/comp/lncs/authors.html. * Important Dates: * Paper Submission: April 8, 2007 * Notification of Acceptance: May 18, 2007 * Camera-Ready Version Due: June 1, 2007 * Program Committee: Salvador Abreu, Universidade de =C9vora Pedro Henriques, Universidade do Minho (co-chair) Pedro Felix, Instituto Superior de Engenharia de Lisboa M=E1rio Florido, Faculdade de Ci=EAncia da Universidade do Porto Ant=F3nio Leit=E3o, Instituto Superior T=E9cnico Paulo Marques, Universidade de Coimbra Miguel Monteiro, Faculdade de Engenharia da Universidade do Porto Paulo Mateus, Instituto Superior T=E9cnico Paulo Matos, Instituto Polit=E9cnico de Bragan=E7a Paulo Moura, Universidade da Beira Interior Vitor Santos, Microsoft Portugal (co-chair) Sim=E3o Melo de Sousa, Universidade da Beira Interior (co-chair) ----------------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Computer Science, University of Beira Interior 6201-001 Covilh=E3, 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

Second CFP: 23rd International Conference on Logic Programming (ICLP 2007)
by ICLP07 publicity 19 Feb '07

19 Feb '07

(apologies for cross-posting) Second Call for Papers 23rd International Conference on Logic Programming ICLP 2007 Porto, Portugal, September 8-13, 2007 http://www.dcc.fc.up.pt/iclp07/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. - Alternative Paradigms: Abductive Logic Programming, Answer Set Programming, Constraint Logic Programming, Inductive Logic Programming, Alternative Inference Engines and Mechanisms. - Applications: Deductive Databases, Data Integration, Software Engineering, Natural Language, Web Tools, Internet Agents, Artificial Intelligence, Bioinformatics. The three broad categories for submissions are: (1) technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and (3) posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. In addition to papers and posters, the technical program will include invited talks, tutorials, a Doctoral Consortium, and workshops. Papers and Posters Papers and posters must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical and application papers must not exceed 15 pages in the Springer LNCS format. The limit for posters is 2 pages in the same format. The primary means of submission is electronic. Papers and posters must be submitted at http://www.easychair.org/ICLP2007/. Publication It is expected that the proceedings will be published by Springer-Verlag in the LNCS series. All accepted papers and abstracts of accepted posters will be included in the proceedings. Important Dates Paper registration deadline: March 2, 2007 Submission deadline: March 9, 2007 Notification of authors: May 4, 2007 Camera-ready copy due: June 8, 2007 ICLP 2007 Organization Program Chairs: Ver=F3nica Dahl and Ilkka Niemel=E4 General Chair: Fernando Silva Local Chair: Ricardo Rocha Publicity Chair: Salvador Abreu Workshops Chair: Agostino Dovier Doctoral Consortium Chairs: Enrico Pontelli and In=EAs Dutra Prolog Programming Contest: Bart Demoen Contact Address: iclp07(a)dcc.fc.up.pt Program Committee: Maurice Bruynooghe Keith Clark Ver=F3nica Dahl (Co-chair) Marina De Vos Yannis Dimopoulos In=EAs Dutra Esra Erdem Maurizio Gabbrielli Patricia M Hill Katsumi Inoue Tomi Janhunen Tony Kusalik Nicola Leone Vladimir Lifschitz Ilkka Niemel=E4 (Co-chair) Lu=EDs Moniz Pereira German Puebla Francesca Rossi Kostis Sagonas Peter Schachte Torsten Schaub Fernando Silva Guillermo R. Simari Tran Cao Son Paul Tarau Francesca Toni Eric Villemonte de la Clergerie David S. Warren Stefan Woltran Workshops The ICLP'07 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a wide and interested audience. Workshops also provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. You can find the call for proposals in http://www.dimi.uniud.it/dovier/WICLP07/. Workshop proposal submission deadline: February 14, 2007. Doctoral Consortium The Doctoral Consortium (DC) on Logic Programming is the third doctoral consortium to be offered as part of ICLP conference series. The DC builds on the experience of the previous successful consortiums (held in Sitges, Spain and in Seattle, WA) during ICLP-05 and ICLP-06. The DC is designed for doctoral students working in areas related to logic and constraint programming, who are planning to pursue a career in academia. The DC also considers applications from Master's students pursuing projects in logic programming and interested in entering a doctoral program. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions. More information can be found at http://www.cs.nmsu.edu/~epontell/DC2007/. Conference Venue ICLP 2007 will be held in the city of Porto, second largest in Portugal. Porto is located by the Douro river and the Atlantic, has a truly unique appearance with many striking bridges, a historic center classified by UNESCO as a World Heritage site, a new House of Music by Rem Koolhaas and a nice Museum of Modern Art (Museu de Serralves). Porto is also well known for the much celebrated Port wine grown in the Douro valley. The conference will feature a cruise in the Douro river along with other optional tours. The Conference will take place in the Hotel "Le Meridien Park Atlantic Porto". ============================================================================== 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 February 2007