Call for Participation: ICLP 2016

                           Call For Participation
              32nd International Conference on Logic Programming
                              New York City, USA
                             October 16-21, 2016
News:
  •  The list of accepted papers is available online:
  •  Early registration deadline: September 5.
  • Invited talks:
    • Arun Majumdar: One Billion Dollars, Global Warming and Logic Programming.
    • Francesca Rossi: Embedding Ethical Principles in Decision Support Systems: Can (Constraint) Logic Programming Play a Role?
  • Tutorials:
    • Michael Kifer, Theresa Swift and Benjamin Grosof: Practical Knowledge Representation and Reasoning in Ergo.
    • Yuliya Lierler: Relating Constraint Answer Set Programming and Satisfiability Modulo Theories.
  • Autumn School on Computational Logic:    http://iclp16school.webs.upv.es/
    • Roman Bartak: Constraint Logic Programming
    • Veronica Dahl: Language processing through logic grammars and constraints
    • Torsten Schaub: Answer Set Programming: foundations and applications
    • C.R.Ramakrishnan: Verification and probabilistic logic programming
  • Sponsors:
Conference Scope
Since  the first conference held in Marseille in 1982, ICLP has been the premier 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 Handling 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, Software 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
Early Registration Deadline:         September 5, 2016
Conference:                          October 16-21, 2016
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 opportunities for intensive discussions and project collaboration.
Autumn School on Computational Logic
Students and researchers are invited to participate in the Autumn School with the following tutorials:
  • Roman Bartak: Constraint Logic Programming
  • Veronica Dahl: Language processing through logic grammars and constraints
  • Torsten Schaub: Answer Set Programming: foundations and applications
  • C.R.Ramakrishnan: Verification and probabilistic logic programming
Information on scholarships can be found on the homepage:
Doctoral Consortium
The Twelfth Doctoral Consortium (DC) on Logic Programming  provides  research students  with  the  opportunity  to present and discuss their research directions, 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. Flushing 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), LogicBlox Inc., Semantic Systems, and UT Dallas.
Financial Assistance
The Association for Logic Programming has funds to assist  financially  disadvantaged  participants  and, especially, students to enable them to attend the conference.  Inquiries should be made to the general chairs.