CMT Logo

Doctoral Consortium - ICLP 2011

Seventh ICLP Doctoral Student Consortium

ICLP-DC 2011

Seventh ICLP Doctoral Student Consortium

to be held on July 6th
in Lexington, Kentucky, USA at the occasion of ICLP 2011

July 6-10, 2011




The ICLP Doctoral Consortium (DC) is the seventh doctoral consortium to be offered as part of the 27th International Conference on Logic Programming. The DC follows the very positive experience of the previous events held in Sitges (Spain) on October 3rd, 2005, in Seattle (WA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007, in Udine (Italy) on December 10th, 2008, in Pasadena (USA) on July 15th, 2009 and in Edinburgh (Scotland) on July 20th, 2010.

The DC will take place during the ICLP 2011 in Lexington, Kentucky (USA). The Doctoral Consortium is designed for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The Consortium is also open to exceptional Master's students developing MS Theses in Logic Programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renown experts in the field.

Program (tentative), July 6th

10:00 Welcome + Invited Talk: A. Dovier, How Logic Programming can Fold a Protein
11:00 BREAK
11:30 A. Brik: Extensions of Answer Set Programming
11:50 T. Krennwallner: Promoting Modular Nonmonotonic Logic Programs
12:10 A. Simko: Accepting the natural order of rules in a logic program with preferences
12:30 LUNCH
14:00 Invited Talk: G. Gottlob, Project Proposals: Why and how to write them
15:00 P. Bone: Automatic Parallelism in Mercury
15:20 M. Bottalico: Consistency Techniques for Hybrid Simulations
15:40 BREAK
16:00 P. Campli: A Semiring-based framework for fair resources allocation
16:20 J. Kriener: Correct Reasoning about Logic Programs
16:40 W. Wilson: Implementation of Axiomatic Language
17:00 Z. Zombori: Two Phase Description Logic Reasoning for Efficient Information Retrieval