ICLP 2016

32nd International Conference on Logic Programming (ICLP 2016)

News:

The list of accepted papers is available online:
http://software.imdea.org/Conferences/ICLP2016/accepted.html

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:

• The Association for Logic Programming: http://logicprogramming.org/
• LogicBlox, Inc: http://www.logicblox.com/
• Semantic Systems: http://www.semantic-systems.com/
• UT Dallas: http://www.utdallas.edu/

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: http://iclp16school.webs.upv.es/

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.