[Om-announce] Call for Participation: ICLP 2013 Doctoral Student Consortium, Istanbul

[peterschueller at sabanciuniv.edu]

(Apologies for cross-posting.)
 
---------------------------------------------------------------------------------
                       CALL FOR PARTICIPATION

                            ICLP-DC 2013

                Ninth ICLP Doctoral Student Consortium

                    http://www.unife.it/iclp-dc-13

                          August 24th, 2013


     Collocated with the International Conference on Logic Programming 2013

                           Istanbul, Turkey

                          August 24-29, 2013
---------------------------------------------------------------------------------


** AIMS AND SCOPE

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

The DC will take place during ICLP 2013 in Istanbul, Turkey. It provides a forum
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 DC is also open to exceptional Master's students
developing MS theses in areas of scope. The DC gives students the opportunity to
present and discuss their research and to obtain feedback from peers as well as
world-renowned experts.


** SCIENTIFIC PROGRAM

The program of the ICLP 2013 DC features thirteen presentations by doctoral
students. It is available online at:

http://www.unife.it/iclp-dc-13/program


** STUDENT CONTRIBUTIONS

- Benoit Desouter: Implementing LP Systems with CP Techniques

- Claudia Schulz: Argumentation for Answer Set Programming and other
non-monotonic reasoning systems (A Research Summary)

- Johannes Klaus Fichte: Backdoors to the Tractability of Answer Set Programming

- Ari Saptawijaya: Towards Computational Morality with Logic Programming

- Jorge Fandinno: Algebraic Approach to Causal Logic Programs

- Laura Titolo: An Abstract Interpretation Framework for Verification of Timed
Concurrent Constraint Languages

- Sergio Castro: LogicObjects: A Portable and Extensible Approach for Linguistic
Symbiosis between an Object-Oriented and a Logic Programming Language

- Arne König: Visualizing Answer Set Programming

- Amelia Harrison: The Semantics of Gringo and Proving Strong Equivalence

- Fangkai Yang: Representing Actions in Logic-based Languages

- Carmine Dodaro: Engineering An Efficient Native ASP Solver

- Michael Bartholomew: The Role of Functions in the Stable Model Semantics

- Roberto Amadini: Evaluation and Application of Portfolio Approaches in
Constraint Programming


** REGISTRATION AND LOCAL ARRANGEMENTS

Registration is operated by the ICLP 2013 organization. For corresponding
information, as well as for travel and accommodation details consult:

http://www.iclp2013.org


** ICLP-DC PROGRAM CHAIRS

Marco Gavanelli, Ferrara University, Italy
Martin Gebser, University of Potsdam, Germany