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.
|10:00||Welcome + Invited Talk: A. Dovier, How Logic Programming can Fold a Protein|
|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|
|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|
|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|