JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for CPHC-CONF Archives


CPHC-CONF Archives

CPHC-CONF Archives


cphc-conf@JISCMAIL.AC.UK


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

CPHC-CONF Home

CPHC-CONF Home

CPHC-CONF  April 2016

CPHC-CONF April 2016

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

Final CFP and Deadline Extension ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21

From:

Peter Schueller <[log in to unmask]>

Reply-To:

Peter Schueller <[log in to unmask]>

Date:

Fri, 22 Apr 2016 00:11:16 +0300

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (231 lines)

                 Final Call For Papers and Deadline Extension
              32nd International Conference on Logic Programming

                              New York City, USA
                             October 17-21, 2016

               http://software.imdea.org/Conferences/ICLP2016/

Conference Scope

Since  the first conference held in Marseilles in 1982, ICLP has been the pre-
mier international conference for presenting research  in  logic  programming.
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 Han-
   dling Rules, 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 Co-inductive Logic Programming, Constraint
   Logic Programming, Answer-Set Programming, SAT-Checking.

 - Applications:  Databases,  Big Data, Data Integration and Federation, Soft-
   ware Engineering,  Natural  Language  Processing,  Web  and  Semantic  Web,
   Agents, Artificial Intelligence, Bioinformatics, and Education.


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

Important Dates

Paper registration (abstract):       29 April, 2016  (extended deadline, firm)
Submission deadline:                 6 May, 2016     (extended deadline)
Notification to authors:             17 June, 2016
Revision deadline (when needed):     8 July, 2016
Final notification:                  22 July, 2016
Camera-ready copy due:               5 Aug, 2016
Conference:                          17-21 Oct, 2016

Submission Details

Submissions  of  regular papers must be made in the condensed TPLP format (see
http://software.imdea.org/Conferences/ICLP2016/TPLP-ICLP-2016.tar)  via  Easy-
Chair  (see  http://www.easychair.org/conferences/?conf=iclp2016).   A regular
paper must not exceed 14 pages including the bibliography, but the  paper  may
be  supplemented  with  appendices for proofs and details of datasets which do
not count towards this limit and which will be available as appendices to  the
published paper. We accept three kinds of papers:


 - Technical  papers  for technically sound, innovative ideas that can advance
   the state of logic programming;

 - Application papers that impact interesting application domains;

 - System and tool papers which emphasize  novelty,  practicality,  usability,
   and availability of the systems and tools described.


Application, system, and tool papers need to be clearly marked in their title.
All submissions must be written in English and describe  original,  previously
unpublished research, and must not simultaneously be submitted for publication
elsewhere.  Papers of the highest quality will be selected to be published  in
the journal of Theory and Practice of Logic Programming (TPLP), Cambridge Uni-
versity Press (CUP). In order to ensure the  quality  of  the  final  version,
papers  may  be subject to more than one round of refereeing (within the deci-
sion period).

The program committee may recommend some papers to be published  as  technical
communications.  Technical  communications (TCs) will be published by Dagstuhl
Publishing   in   the    OpenAccess    Series    in    Informatics    (OASIcs)
(http://www.dagstuhl.de/publikationen/oasics/).   These  TC  papers should not
exceed 14 pages including bibliography.  Authors can  also  elect  to  convert
their  submissions  into extended abstracts, of 2 or 3 pages, for inclusion in
the TCs.  This should allow authors to submit a long version  elsewhere.   All
regular papers and regular TCs will be presented during the conference.

Doctoral  consortium position papers, of between 10 and 14 pages, will also be
published as TCs.

Authors of accepted papers will, by default, be automatically included in  the
list  of  ALP  members, who will receive quarterly updates from the Logic Pro-
gramming Newsletter at no cost.


Conference Organization

General Chairs:

Michael         Kifer           Stony Brook University, USA
Neng-Fa         Zhou            City University of New York, USA

Program Chairs:

Manuel          Carro           UPM and IMDEA Software Institute, Spain
Andy            King            University of Kent, UK

Workshop Chair:

Marcello        Balduccini      Drexel University, USA

Publicity Chair:

Peter           Schueller       Marmara University, Turkey

Doctoral Consortium Chairs:

Marina          De Vos          University of Bath, UK
Neda            Saeedloei       University of Minnesota Duluth, USA

Programming Contest Chair:

Paul            Fodor           Stony Brook University, USA

Web Presence:

Joaquin         Arias           IMDEA Software Institute, Spain

Program Committee:

Marcello        Balduccini      Drexel University, USA
Mutsunori       Banbara         Kobe University, Japan
Roman           Bartak          Charles University, Czech Republic
Pedro           Cabalar         University of Corunna, Spain
Mats            Carlsson        SICS, Sweden
Manuel          Carro           UPM and IMDEA Software Institute, Spain
Michael         Codish          Ben-Gurion University of the Negev, Israel
Marina          De Vos          University of Bath, UK
Agostino        Dovier          Universita degli Studi di Udine, Italy
Gregory         Duck            National University of Singapore, Singapore
Esra            Erdem           Sabanci University, Turkey
Wolfgang        Faber           University of Huddersfield, UK
Thom            Fruehwirth      University of Ulm, Germany
John            Gallagher       Roskilde University, Denmark, and
                                IMDEA Software Institute, Spain
Marco           Gavanelli       Universita degli Studi di Ferrara, Italy
Martin          Gebser          University of Potsdam, Germany
Michael         Hanus           CAU Kiel, Germany
Katsumi         Inoue           NII, Japan
Gerda           Janssens        KU Leuven - University of Leuven, Belgium
Andy            King            University of Kent, UK
Ekaterina       Komendantskaya  Heriot-Watt University, UK
Michael         Leuschel        University of Dusseldorf, Germany
Vladimir        Lifschitz       University of Texas, USA
Jose F.         Morales         IMDEA Software Institute, Spain
Enrico          Pontelli        New Mexico State University, USA
Jorg            Puhrer          Leipzig University, Germany
Ricardo         Rocha           University of Porto, Portugal
Zoltan          Somogyi         Independent Researcher, Australia
Harald          Sondergaard     University of Melbourne, Australia
Theresa         Swift           NOVALINKS, US, and UNL, Portugal
Francesca       Toni            Imperial College London, UK
Irina           Trubitsyna      University of Calabria, Italy
Mirek           Truszczynski    University of Kentucky, USA
Alicia          Villanueva      Universitat Politecnica de Valencia, Spain
Jan             Wielemaker      VU University Amsterdam, Netherlands
Stefan          Woltran         TU Wien, Austria
Fangkai         Yang            Schlumberger Inc., USA
Jia-Huai        You             University of Alberta, Canada

Workshops

The ICLP 2016 program will include several workshops.  They  are  perhaps  the
best  places  for  the  presentation of preliminary work, underdeveloped novel
ideas, and new open problems to a wide and interested audience with opportuni-
ties for intensive discussions and project collaboration.

Autumn School on Computational Logic

A  school on computational logic is planned.  More up to date information will
be available at the conference Web page.

Doctoral Consortium

The Twelfth Doctoral Consortium (DC) on Logic Programming  provides  research
students  with  the  opportunity  to present and discuss their research direc-
tions, and to obtain feedback from  both  peers  and  experts  in  the  field.
Accepted  participants  will  receive  partial financial support to attend the
event and the main conference. The best paper from the DC will  be  given  the
opportunity to present in a session of the main ICLP conference.

Conference Venue

The  venue  will  be  the  Sheraton LaGuardia East Hotel in Flushing, New York
City.  New York City is an international  tourist  destination,  receiving  56
million  tourists in 2014 alone. Several sources have ranked New York the most
photographed city in the world. Times square, known as the  city's  heart,  is
the  brightly  illuminated hub of the Broadway theatre district. The Statue of
Liberty greets new arrivals to the Americas by ship in the late 19th and early
20th century, and is a globally recognized symbol of the United States. Flush-
ing is associated by many with the  National  Tennis  Centre,  since  Flushing
Meadows  has  been  the home of the US Open Grand Slam tennis tournament every
year since 1978.

New York is the most populous city in the United States and one  of  the  most
populous  urban  agglomerations  in  the world. Situated in one of the world's
largest natural harbours, New York City consists of  five  boroughs,  each  of
which is a separate county of New York State. The conference hotel is situated
in the Queens borough, just a two-minute walk from  the  Flushing-Main  Street
rail station.  Direct train lines take you directly from there to Times Square
in just over 45 minutes, which is fast for New York City. The Museum of Modern
Art  can  be  reached in under 40 mins, Grand Central Terminal in 40 mins, the
Empire State Building under 50 mins, and The High Line Park in 50 minutes.

The hotel is also close to LaGuardia Airports and JFK.  LaGuardia  is  just  3
miles  away  and  the  hotel  offers a complementary shuttle service.  John F.
Kennedy International Airport (JFK) is 10 miles away and can be reached within
30  minutes  by  taxi.  The hotel is situated in a vibrant Asian district that
offers a variety of Eastern cuisine, as well as many stores and shops.

Sponsor

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

Financial Assistance

The Association for Logic Programming has funds to assist  financially  disad-
vantaged  participants  and, especially, students to enable them to attend the
conference.  Inquiries should be made to the general chairs.

Top of Message | Previous Page | Permalink

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

September 2019
August 2019
July 2019
June 2019
May 2019
April 2019
March 2019
February 2019
January 2019
December 2018
November 2018
October 2018
September 2018
August 2018
July 2018
June 2018
May 2018
April 2018
March 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
July 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002
2001
2000
1999
1998


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager