From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B0C257EF10 for ; Thu, 19 Feb 2015 14:41:07 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of logic-programming-bounces@lists.picat-lang.org) identity=pra; client-ip=64.41.126.239; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="logic-programming-bounces@lists.picat-lang.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of logic-programming-bounces@lists.picat-lang.org) identity=mailfrom; client-ip=64.41.126.239; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="logic-programming-bounces@lists.picat-lang.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailman01.siteprotect.com) identity=helo; client-ip=64.41.126.239; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="postmaster@mailman01.siteprotect.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C9AwDU5uVUf+9+KUBbgkMhdFoEsA0BAQeJEIk3AQuFJYFsQwEBAQEBARABAQsLEhQuhAsGAQICAQEBGikDBxEHBg4DAQIGAgEBKhgECAMBIwEKJwQTBQMBEIUvggNkAQMJziCEdAwghgSGSIJdg3GBFAWFX4Q3g0WFTIIWgTCDcJQlgTxvAYEDJBx/AQEB X-IPAS-Result: A0C9AwDU5uVUf+9+KUBbgkMhdFoEsA0BAQeJEIk3AQuFJYFsQwEBAQEBARABAQsLEhQuhAsGAQICAQEBGikDBxEHBg4DAQIGAgEBKhgECAMBIwEKJwQTBQMBEIUvggNkAQMJziCEdAwghgSGSIJdg3GBFAWFX4Q3g0WFTIIWgTCDcJQlgTxvAYEDJBx/AQEB X-IronPort-AV: E=Sophos;i="5.09,608,1418079600"; d="scan'208,217";a="122453606" Received: from mailman01.siteprotect.com ([64.41.126.239]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Feb 2015 14:41:06 +0100 Received: from mailman01.siteprotect.com (localhost.localdomain [127.0.0.1]) by mailman01.siteprotect.com (Postfix) with ESMTP id 3105D2708090; Thu, 19 Feb 2015 07:40:43 -0600 (CST) Received: from wallace.st-andrews.ac.uk (wallace.st-andrews.ac.uk [138.251.9.23]) by mailman01.siteprotect.com (Postfix) with ESMTP id C590E270800A for ; Fri, 13 Feb 2015 15:48:33 -0600 (CST) X-StAndrews-MailScanner-From: ijm@st-andrews.ac.uk X-StAndrews-MailScanner-SpamCheck: not spam (whitelisted), SpamAssassin (not cached, score=-4.209, required 5, autolearn=not spam, BAYES_00 -1.90, HTML_MESSAGE 0.00, RCVD_IN_DNSWL_MED -2.30, T_RP_MATCHES_RCVD -0.01) X-StAndrews-MailScanner: No virus detected X-StAndrews-MailScanner-ID: t1DLmNZ8026738 X-StAndrews-MailScanner-Information: Please contact the ISP for more information Received: from mcgraw.st-andrews.ac.uk (mcgraw.st-andrews.ac.uk [138.251.8.95]) by wallace.st-andrews.ac.uk (8.14.3/8.14.4/Debian-7) with ESMTP id t1DLmNZ8026738 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Fri, 13 Feb 2015 21:48:24 GMT X-StAndrews-MailScanner-From: ijm@st-andrews.ac.uk X-StAndrews-MailScanner-SpamCheck: not spam, SpamAssassin (not cached, score=-1.909, required 5, autolearn=not spam, BAYES_00 -1.90, HTML_MESSAGE 0.00, T_RP_MATCHES_RCVD -0.01) X-StAndrews-MailScanner: No virus detected X-StAndrews-MailScanner-ID: t1DLmGAB029734 X-StAndrews-MailScanner-Information: Please contact the ISP for more information Received: from unimail.st-andrews.ac.uk (unimail-out.st-andrews.ac.uk [194.247.94.140] (may be forged)) by mcgraw.st-andrews.ac.uk (8.14.3/8.14.3/Debian-9.4) with ESMTP id t1DLmGAB029734 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Fri, 13 Feb 2015 21:48:17 GMT Received: from UOS-DUN-MBX2.st-andrews.ac.uk ([fe80::7584:7b9e:c3d:d7e9]) by UOS-DUN-CAS4.st-andrews.ac.uk ([fe80::41f8:98bc:de7b:965d%13]) with mapi id 14.03.0181.006; Fri, 13 Feb 2015 21:48:17 +0000 From: Ian Miguel To: "logic-programming@lists.picat-lang.org" Thread-Topic: 2nd CFP: 31st International Conference on Logic Programming (ICLP 2015) Thread-Index: AQHQR9bGmOmKVD0rbUC6+Ng4xoGbUA== Date: Fri, 13 Feb 2015 21:48:16 +0000 Message-ID: <3FA02E58895AFB4F82D9DF95671F048260023848@UOS-DUN-MBX2.st-andrews.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [86.186.138.134] MIME-Version: 1.0 X-Mailman-Approved-At: Thu, 19 Feb 2015 07:40:42 -0600 X-BeenThere: logic-programming@lists.picat-lang.org X-Mailman-Version: 2.1.18-1 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============8846600645874649989==" Errors-To: logic-programming-bounces@lists.picat-lang.org Sender: "logic-programming" X-Validation-by: ijm@st-andrews.ac.uk Subject: [Caml-list] [logic-programming] 2nd CFP: 31st International Conference on Logic Programming (ICLP 2015) --===============8846600645874649989== Content-Language: en-GB Content-Type: multipart/alternative; boundary="_000_3FA02E58895AFB4F82D9DF95671F048260023848UOSDUNMBX2stand_" --_000_3FA02E58895AFB4F82D9DF95671F048260023848UOSDUNMBX2stand_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable ********************************************************************** SECOND CALL FOR PAPERS 31st International Conference on Logic Programming (ICLP 2015) -- colocated with CP 2015 -- Cork, Ireland, August 31 -- September 4, 2015 http://booleconferences.ucc.ie/iclp2015 ********************************************************************** Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. ICLP 2015 will be co-located with the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015) and is part of "The Year of George Boole", a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. IMPORTANT DATES --------------- Abstracts due: April 20, 2015 Papers due: April 27, 2015 Notification to authors: June 5, 2015 Revision of papers due : July 3, 2015 Second reviews due: July 14, 2015 Camera ready versions due: July 21, 2015 Conference: August 31-September 4, 2015 CONFERENCE SCOPE ---------------- Contributions are sought in all areas of logic programming, including but not restricted to: Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules and Tabling. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Inductive and Coinductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT, Constraints, Computational Argumentation, Abductive Logic Programming, Functional Logic Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Social Networks and Social Choice. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, the LP/CP programming contest and several workshops. SUBMISSION DETAILS ------------------ There are two categories for submissions: -- Regular papers, including: (1) technical papers for describing technically sound, innovative ideas that can advance the state of logic programming; (2) application papers, with emphasis on impact on some application domains; (3) system and tool papers, with emphasis on novelty, practicality, usability and availability of the systems and tools described. -- Technical communications aimed at describing recent developments, new projects, and other materials not ready for publication as regular papers. All regular papers and technical communications will be presented during the conference. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Regular papers must not exceed 12 pages plus bibliography: however the papers may include appendices beyond 12 pages. Technical communications must not exceed 10 pages. Submissions must be made in the TPLP format (see http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf) via the EasyChair submission system, available at www.easychair.org/conferences/?conf=3Diclp2015. PAPER PUBLICATION ----------------- All accepted regular papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to two rounds of refereeing (within the decision period). Accepted technical communications will be published in CEUR, and in TPLP an abstract will be included in the supplementary material of the editoral article. The program committee may also recommend papers submitted as regular to be published as technical communications. ICLP 2015 ORGANIZATION ---------------------- General Co-Chairs: Barry O'Sullivan University College Cork, Ireland Roland Yap National University of Singapore Program Co-Chairs: Thomas Eiter TU Wien, Austria Francesca Toni Imperial College London, UK Local Arrangements Co-Chairs: Barry O'Sullivan University College Cork, Ireland Ken Brown University College Cork, Ireland Workshops Chair: Mats Carlsson SICS, Uppsala, Sweden Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Yuliya Lierler University of Nebraska at Omaha, USA LP/CP Programming Contest Chair: Neng-Fa Zhou, City University of New York, USA Peter Stuckey, NICTA and the University of Melbourne, Australia Publicity Chair: Ian Miguel University of St Andrews, UK Program Committee: Slim Abdennadher, German University in Cairo Elvira Albert, Complutense University of Madrid Chitta Baral, Arizona State University Francois Bry, Ludwig-Maximilian University of Munich Pedro Cabalar, University of Corunna Manuel Carro, Technical University of Madrid (UPM) and IMDEA Software Institute Michael Codish, Ben-Gurion University of the Negev Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila Alessandro Dal Palu', Universita' degli Studi di Parma Marina De Vos, University of Bath Marc Denecker, K.U. Leuven Agostino Dovier, Universita di UDINE Thomas Eiter, Vienna University of Technology Esra Erdem, Sabanci University Wolfgang Faber, University of Huddersfield Francois Fages, Inria Paris-Rocquencourt Michael Fink, Vienna University of Technology Thom Fruehwirth, University of Ulm Sarah Alice Gaggl, Technische Universitaet Dresden Maria Garcia De La Banda, Monash University Laura Giordano, Dipartimento di Informatica, Universita' del Piemonte Orientale Gopal Gupta, University of Texas at Dallas Michael Hanus, CAU Kiel Tomi Janhunen, Aalto University Michael Kifer, Stony Brook University Angelika Kimmig, KU Leuven Evelina Lamma, ENDIF, University of Ferrara Joohyung Lee, Arizona State University Joao Leite, Universidade Nova de Lisboa Michael Leuschel, University of Dusseldorf Francesca Alessandra Lisi, Universita degli Studi di Bari "Aldo Moro" Thomas Lukasiewicz, Dept of Computer Science, University of Oxford Michael Maher, University of New South Wales, Canberra Alessandra Mileo, National University of Ireland, Galway, Insight Centre for Data Analytics Barry O'Sullivan, Insight Centre for Data Analytics, University College Cork, Ireland Emilia Oikarinen, Aalto University Mauricio Osorio, UDLAP Enrico Pontelli, New Mexico State University Maurizio Proietti, IASI-CNR, Rome, Italy Francesco Ricca, Department of Mathematics, University of Calabria Alessandra Russo, Imperial College London Chiaki Sakama, Wakayama University Victor Santos Costa, Universidade do Porto Torsten Schaub, University of Potsdam Tom Schrijvers, KU Leuven Yi-Dong Shen, Institute of Software, the Chinese Academy of Sciences Guillermo R. Simari, Universidad Nacional del Sur in Bahia Blanca Francesca Toni, Imperial College London Paolo Torroni, University of Bologna Irina Trubitsyna, University of Calabria, DEIS Mirek Truszczynski, Computer Science Department, University of Kentucky Kewen Wang, Griffith University Jan Wielemaker, Vrije University Amsterdam Stefan Woltran, Vienna University of Technology Roland Yap, National University of Singapore Jia-Huai You, Department of Computing Science, University of Alberta Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center SPONSOR ------- The conference is sponsored by the Association for Logic Programming (ALP) FINANCIAL ASSISTANCE -------------------- The Association for Logic Programming has funds to assist financially disadvantaged participants and, in particular, students in order to be able to attend the conference. CONFERENCE VENUE ---------------- University College Cork, Ireland --_000_3FA02E58895AFB4F82D9DF95671F048260023848UOSDUNMBX2stand_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
**********************************************************************=
                    =  SECOND CALL FOR PAPERS

31st International Conference on Logic Programming (ICLP 2015)
                   -= - colocated with CP 2015 --
             
           Cork, Ireland, August 31 -- S= eptember 4, 2015
                http://booleco= nferences.ucc.ie/iclp2015

**********************************************************************=

Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic<= /div>
programming. ICLP 2015 will be co-located with the 21st International<= /div>
Conference on Principles and Practice of Constraint Programming (CP
2015) and is part of "The Year of George Boole", a celebrati= on of the
life and work of George Boole who was born in 1815 and worked at the
University College of Cork.

IMPORTANT DATES
---------------
Abstracts due:  April 20, 2015
   Papers due:  April 27, 2015
Notification to authors:    June 5, 2015
Revision of papers due :  July 3, 2015
Second reviews due:  July 14, 2015
Camera ready versions due:  July 21, 2015
Conference: August 31-September 4, 2015

CONFERENCE SCOPE
----------------

Contributions are sought in all areas of logic programming, including<= /div>
but not restricted to:

Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
Knowledge Representation.

Implementation: Compilation, Virtual Machines, Parallelism, Constraint=
Handling Rules and Tabling.

Environments: Program Analysis, Transformation, Validation,
Verification, Debugging, Profiling, Testing.

Language Issues: Concurrency, Objects, Coordination, Mobility, Higher<= /div>
Order, Types, Modes, Assertions, Programming Techniques.

Related Paradigms: Inductive and Coinductive Logic Programming,
Constraint Logic Programming, Answer-Set Programming, SAT,
Constraints, Computational Argumentation, Abductive Logic Programming,=
Functional Logic Programming.

Applications: Databases, Data Integration and Federation, Software
Engineering, Natural Language Processing, Web and Semantic Web,
Agents, Artificial Intelligence, Bioinformatics, Social Networks and
Social Choice.

In addition to the presentations of accepted papers, the technical
program will include invited talks, advanced tutorials, the doctoral
consortium, the LP/CP programming contest and several workshops.

SUBMISSION DETAILS
------------------

There are two categories for submissions:

-- Regular papers, including: (1) technical papers for describing
   technically sound, innovative ideas that can advance the = state of
   logic programming; (2) application papers, with emphasis = on impact
   on some application domains; (3) system and tool papers, = with
   emphasis on novelty, practicality, usability and availabi= lity of
   the systems and tools described.

-- Technical communications aimed at describing recent developments,
   new projects, and other materials not ready for publicati= on as
   regular papers.

All regular papers and technical communications will be presented
during the conference. All submissions must be written in English and<= /div>
describe original, previously unpublished research, and must not
simultaneously be submitted for publication elsewhere.

Regular papers must not exceed 12 pages plus bibliography: however the=
papers may include appendices beyond 12 pages. Technical
communications must not exceed 10 pages.  Submissions must be mad= e in
the TPLP format (see
http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014= .pdf)
via the EasyChair submission system, available at
www.easychair.org/conferences/?conf=3Diclp2015.

PAPER PUBLICATION
-----------------

All accepted regular papers will be published in the journal Theory
and Practice of Logic Programming (TPLP), Cambridge University Press
(CUP), in one or more special issues. In order to ensure the quality
of the final version, papers may be subject to two rounds of
refereeing (within the decision period). Accepted technical
communications will be published in CEUR, and in TPLP an abstract will=
be included in the supplementary material of the editoral article. The=
program committee may also recommend papers submitted as regular to be=
published as technical communications.

ICLP 2015 ORGANIZATION
----------------------

General Co-Chairs:
Barry O'Sullivan      University College Cork, Ireland<= /div>
Roland Yap            National Universit= y of Singapore

Program Co-Chairs:
Thomas Eiter          TU Wien, Austria
Francesca Toni        Imperial College London, UK<= /div>

Local Arrangements Co-Chairs:
Barry O'Sullivan      University College Cork, Ireland<= /div>
Ken Brown             University College= Cork, Ireland

Workshops Chair:
Mats Carlsson         SICS, Uppsala, Sweden

Doctoral Consortium Chairs:
Marina De Vos         University of Bath, UK
Yuliya Lierler        University of Nebraska at Om= aha, USA

LP/CP Programming Contest Chair:
Neng-Fa Zhou,         City University of New York,=  USA
Peter Stuckey,        NICTA and the University of = Melbourne, Australia

Publicity Chair:
Ian Miguel            University of St A= ndrews, UK

Program Committee:

Slim Abdennadher, German University in Cairo
Elvira Albert, Complutense University of Madrid
Chitta Baral, Arizona State University
Francois Bry, Ludwig-Maximilian University of Munich
Pedro Cabalar, University of Corunna
Manuel Carro, Technical University of Madrid (UPM) 
  and IMDEA Software Institute
Michael Codish, Ben-Gurion University of the Negev
Stefania Costantini, Dipartimento di Ingegneria e Scienze
  dell'Informazione, e Matematica, Univ. di L'Aquila
Alessandro Dal Palu', Universita' degli Studi di Parma
Marina De Vos, University of Bath
Marc Denecker, K.U. Leuven
Agostino Dovier, Universita di UDINE
Thomas Eiter, Vienna University of Technology
Esra Erdem, Sabanci University
Wolfgang Faber, University of Huddersfield
Francois Fages, Inria Paris-Rocquencourt
Michael Fink, Vienna University of Technology
Thom Fruehwirth, University of Ulm
Sarah Alice Gaggl, Technische Universitaet Dresden
Maria Garcia De La Banda, Monash University
Laura Giordano, Dipartimento di Informatica, 
  Universita' del Piemonte Orientale
Gopal Gupta, University of Texas at Dallas
Michael Hanus, CAU Kiel
Tomi Janhunen, Aalto University
Michael Kifer, Stony Brook University
Angelika Kimmig, KU Leuven
Evelina Lamma, ENDIF, University of Ferrara
Joohyung Lee, Arizona State University
Joao Leite, Universidade Nova de Lisboa
Michael Leuschel, University of Dusseldorf
Francesca Alessandra Lisi, Universita degli Studi di Bari "Aldo M= oro"
Thomas Lukasiewicz, Dept of Computer Science, University of Oxford
Michael Maher, University of New South Wales, Canberra
Alessandra Mileo, National University of Ireland, Galway,
  Insight Centre for Data Analytics
Barry O'Sullivan, Insight Centre for Data Analytics, 
  University College Cork, Ireland
Emilia Oikarinen, Aalto University
Mauricio Osorio, UDLAP
Enrico Pontelli, New Mexico State University
Maurizio Proietti, IASI-CNR, Rome, Italy
Francesco Ricca, Department of Mathematics, University of Calabria
Alessandra Russo, Imperial College London
Chiaki Sakama, Wakayama University
Victor Santos Costa, Universidade do Porto
Torsten Schaub, University of Potsdam
Tom Schrijvers, KU Leuven
Yi-Dong Shen, Institute of Software, the Chinese Academy of Sciences
Guillermo R. Simari, Universidad Nacional del Sur in Bahia Blanca
Francesca Toni, Imperial College London
Paolo Torroni, University of Bologna
Irina Trubitsyna, University of Calabria, DEIS
Mirek Truszczynski, Computer Science Department, University of Kentuck= y
Kewen Wang, Griffith University
Jan Wielemaker, Vrije University Amsterdam
Stefan Woltran, Vienna University of Technology
Roland Yap, National University of Singapore
Jia-Huai You, Department of Computing Science, University of Alberta
Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center

SPONSOR
-------

The conference is sponsored by the Association for Logic Programming (= ALP)

FINANCIAL ASSISTANCE
--------------------

The Association for Logic Programming has funds to assist financially<= /div>
disadvantaged participants and, in particular, students in order to be=
able to attend the conference.

CONFERENCE VENUE
----------------
University College Cork, Ireland 
--_000_3FA02E58895AFB4F82D9DF95671F048260023848UOSDUNMBX2stand_-- --===============8846600645874649989== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ logic-programming mailing list logic-programming@lists.picat-lang.org http://lists.picat-lang.org/mailman/listinfo/logic-programming --===============8846600645874649989==--