From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id AD1AA7F77F for ; Thu, 19 Feb 2015 14:41:52 +0100 (CET) Received-SPF: None (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailman01.siteprotect.com) identity=helo; client-ip=64.41.126.239; receiver=mail3-smtp-sop.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: A0C8AwAE5+VUf+9+KUBbgkMhdFoEsA0BAQeJEIk3AQmHE0MBAQEBAQEQAQELCxIULoQRAQQBAQFDChgDAwYIAwECBgIBASoYAQMIAwEjAQonBBMFAxGIFgEDCc4hhHQshgSGSIJZg3WBFAWFX4d8hUyDRoM4OI4ThhKBPG8BgQFCfwEBAQ X-IPAS-Result: A0C8AwAE5+VUf+9+KUBbgkMhdFoEsA0BAQeJEIk3AQmHE0MBAQEBAQEQAQELCxIULoQRAQQBAQFDChgDAwYIAwECBgIBASoYAQMIAwEjAQonBBMFAxGIFgEDCc4hhHQshgSGSIJZg3WBFAWFX4d8hUyDRoM4OI4ThhKBPG8BgQFCfwEBAQ X-IronPort-AV: E=Sophos;i="5.09,608,1418079600"; d="scan'208,217";a="100614697" Received: from mailman01.siteprotect.com ([64.41.126.239]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Feb 2015 14:41:50 +0100 Received: from mailman01.siteprotect.com (localhost.localdomain [127.0.0.1]) by mailman01.siteprotect.com (Postfix) with ESMTP id 4E226270809C; Thu, 19 Feb 2015 07:40:51 -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 A2BE52708085 for ; Thu, 19 Feb 2015 04:04:25 -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: t1JA3H9t003772 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 t1JA3H9t003772 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Thu, 19 Feb 2015 10:03:19 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: t1JA3BVK011582 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 t1JA3BVK011582 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Thu, 19 Feb 2015 10:03:13 GMT Received: from UOS-DUN-MBX2.st-andrews.ac.uk ([fe80::7584:7b9e:c3d:d7e9]) by UOS-DUN-CAS1.st-andrews.ac.uk ([fe80::51a4:b11a:5d92:2982%13]) with mapi id 14.03.0181.006; Thu, 19 Feb 2015 10:03:04 +0000 From: Ian Miguel To: "logic-programming@lists.picat-lang.org" Thread-Topic: Doctoral Consortium of 31st International Conference on Logic Programming (ICLP 2015) Thread-Index: AQHQTCtAL3ajirnuzEO+lBV9QCyjFg== Date: Thu, 19 Feb 2015 10:03:06 +0000 Message-ID: <3FA02E58895AFB4F82D9DF95671F0482600293EC@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: [138.251.207.203] MIME-Version: 1.0 X-Mailman-Approved-At: Thu, 19 Feb 2015 07:40:49 -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="===============9187328100174473803==" 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] CFP: Doctoral Consortium of 31st International Conference on Logic Programming (ICLP 2015) --===============9187328100174473803== Content-Language: en-GB Content-Type: multipart/alternative; boundary="_000_3FA02E58895AFB4F82D9DF95671F0482600293ECUOSDUNMBX2stand_" --_000_3FA02E58895AFB4F82D9DF95671F0482600293ECUOSDUNMBX2stand_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable ---------------------------------------------------------------------------= ----- ICLP DC 2015 Eleventh ICLP Doctoral Student Consortium to be held in Cork, Ireland, 31 August 2015 http://dc-iclp15.cs.bath.ac.uk/ ---------------------------------------------------------------------------= ----- The ICLP Doctoral Consortium (DC) is the eleventh doctoral consortium to be= held as part of the 31st International Conference on Logic Programming (ICLP 2015).= The DC will take place during ICLP 2015 in Cork, Ireland. It provides a forum f= or doctoral students working in areas related to logic and constraint programm= ing, with a particular emphasis to students interested in pursuing a career in academia. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned expert= s. ** Target Audience ** The DC is designed for students currently enrolled in a Ph.D. program, thou= gh we are also open to exceptions (e.g., students currently in a Master's program= and interested in doctoral studies). Students at any stage in their doctoral st= udies are encouraged to apply for participation in the DC. Applicants are expecte= d to conduct research in areas related to logic and constraint programming; topi= cs of interest include (but are not limited to): - Theoretical Foundations of Logic and Constraint Logic Programming - Sequential and Parallel Implementation Technology - Static and Dynamic Analysis, Abstract Interpretation, Compilation Technol= ogy, Verification - Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) - Innovative Applications of Logic Programming - Logic Programming and Nonmonotonic Reasoning - Logic Programming and Causality - Logic Programming Systems Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial change= s or improvements to the student's work. The DC allows participants to interact with established researchers and fel= low students, through presentations, question-answer sessions, panel discussion= s, and invited presentations. The Doctoral Consortium will provide the possibility= to reflect - through short activities, information sessions, and discussions -= on the process and lessons of research and life in academia. Each participant = will give a short, critiqued, research presentation. ** Application Process ** An application for participation in the ICLP DC 2015 consists of a cover le= tter, a research summary, and a letter of recommendation (e.g., from your supervi= sor). All applications must be in English and submitted electronically via EasyCh= air, due to the application submission deadline 16 May 2015. Detailed submission instructions are provided at the ICLP DC 2015 website: http://dc-iclp15.cs.bath.ac.uk/ The DC program committee will select participants based on their anticipated contribution to the DC objectives. Students will be selected based on clari= ty and completeness of their submission package, relevance of their research area = w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as publi= shed papers or technical reports. The works accepted for presentation at the DC will be published in conjunct= ion with the ICLP proceedings. Updates follow as soon as we have more informati= on regarding this. ** Participant Funding ** The Association for Logic Programming supports ICLP DC 2015 participants. The registration for the ICLP conference will be covered. We hope to also b= e able to provide assistance with accommodation. ** Important Dates ** Application Submission: 16 May 2015 Acceptance Notification: 16 June 2015 Camera-ready Version: 17 July 2015 Doctoral Consortium: 31 August 2015 ** Organization ** - Program Committee: Martin Gebser, Aalto Jose F. Morales, IMDEA Software Research Institute Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre fo= r Data Analytics Joost Vennekens, K.U. Leuven Ekaterina Komendantskaya, School of Computing, University of Dundee Fabio Fioravanti, University of Chieti-Pescara Francesco Ricca, Department of Mathematics University of Calabria Frank Valencia, LIX, Ecole Polytechnique Takehide Soh, Information Science and Technology Center, Kobe University Andy King, University of Kent Antoine Zimmermann, =85cole des Mines de Saint-=85tienne - Program Chairs: Marina De Vos, University of Bath (M.D.Vos@bath.ac.uk) Yuliya Lierler, University of Nebraska at Omaha (ylierler@unomaha.edu) Website: http://dc-iclp15.cs.bath.ac.uk/ --_000_3FA02E58895AFB4F82D9DF95671F0482600293ECUOSDUNMBX2stand_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable
----------------------------------------------------------------------= ----------
                    =                ICLP DC 2015

                    =  Eleventh ICLP Doctoral Student Consortium
                    = to be held in Cork, Ireland, 31 August 2015

                    =  http://dc-iclp15.cs.bath.ac.uk/
----------------------------------------------------------------------= ----------

The ICLP Doctoral Consortium (DC) is the eleventh doctoral consortium = to be held as
part of the 31st International Conference on Logic Programming (ICLP 2= 015). The
DC will take place during ICLP 2015 in Cork, Ireland. It provides a fo= rum for
doctoral students working in areas related to logic and constraint pro= gramming,
with a particular emphasis to students interested in pursuing a career= in
academia. The DC gives students the opportunity to present and discuss= their
research and to obtain feedback from peers as well as world-renowned e= xperts.

** Target Audience **

The DC is designed for students currently enrolled in a Ph.D. program,= though we
are also open to exceptions (e.g., students currently in a Master's pr= ogram and
interested in doctoral studies). Students at any stage in their doctor= al studies
are encouraged to apply for participation in the DC. Applicants are ex= pected to
conduct research in areas related to logic and constraint programming;= topics of
interest include (but are not limited to):

- Theoretical Foundations of Logic and Constraint Logic Programming
- Sequential and Parallel Implementation Technology
- Static and Dynamic Analysis, Abstract Interpretation, Compilation Te= chnology,
  Verification
- Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logi= c
  Programming, Inductive Logic Programming)
- Innovative Applications of Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Causality
- Logic Programming Systems

Submissions by students who have presented their work at previous ICLP= DC
editions are allowed, but should occur only if there are substantial c= hanges or
improvements to the student's work.

The DC allows participants to interact with established researchers an= d fellow
students, through presentations, question-answer sessions, panel discu= ssions, and
invited presentations. The Doctoral Consortium will provide the possib= ility to
reflect - through short activities, information sessions, and discussi= ons - on
the process and lessons of research and life in academia. Each partici= pant will
give a short, critiqued, research presentation.

** Application Process **

An application for participation in the ICLP DC 2015 consists of a cov= er letter,
a research summary, and a letter of recommendation (e.g., from your su= pervisor).
All applications must be in English and submitted electronically via E= asyChair,
due to the application submission deadline 16 May 2015. Detailed submi= ssion 
instructions are provided at the ICLP DC 2015 website:
      http://dc-iclp15.cs.bath.ac.uk/

The DC program committee will select participants based on their antic= ipated
contribution to the DC objectives. Students will be selected based on = clarity and
completeness of their submission package, relevance of their research = area w.r.t.
the focus of ICLP, stage of research, recommendation letter, and evide= nce of
promise towards a successful career in research and academia, such as = published
papers or technical reports.

The works accepted for presentation at the DC will be published in con= junction
with the ICLP proceedings. Updates follow as soon as we have more info= rmation
regarding this.


** Participant Funding **

The Association for Logic Programming supports ICLP DC 2015 participan= ts. 
The registration for the ICLP conference will be covered. We hope to a= lso be able to 
provide assistance with accommodation.

** Important Dates **

Application Submission:  16 May 2015
Acceptance Notification: 16 June 2015
Camera-ready Version:    17 July 2015
Doctoral Consortium:     31 August 2015

** Organization **

- Program Committee:

Martin Gebser, Aalto
Jose F. Morales, IMDEA Software Research Institute
Alessandra Mileo, National University of Ireland, Galway, INSIGHT Cent= re for Data Analytics
Joost Vennekens, K.U. Leuven
Ekaterina Komendantskaya, School of Computing, University of Dundee
Fabio Fioravanti, University of Chieti-Pescara
Francesco Ricca, Department of Mathematics University of Calabria
Frank Valencia, LIX, Ecole Polytechnique
Takehide Soh, Information Science and Technology Center, Kobe Universi= ty
Andy King, University of Kent
Antoine Zimmermann, =85cole des Mines de Saint-=85tienne

- Program Chairs:

  Marina De Vos, University of Bath (M.D.Vos@bath.ac.uk)
  Yuliya Lierler, University of Nebraska at Omaha (ylierler@unoma= ha.edu)
  

  Website: http://dc-iclp15.cs.bath.ac.uk/

--_000_3FA02E58895AFB4F82D9DF95671F0482600293ECUOSDUNMBX2stand_-- --===============9187328100174473803== 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 --===============9187328100174473803==--