Sunday, May 21, 2017

[DMANET] [CP/ICLP/SAT 2017's Doctoral Program] Call for Submissions


Constraint Programming / Logic Programming / SAT Doctoral Program 2017

More information is available at

This year the co-located CP 2017, ICLP 2017 and SAT 2017 conferences are holding
a joint Doctoral Program (DP). The DP is open to all students doing research on
constraints, satisfiability or logic programming, including students that
participated in previous DPs. It is a place where you can meet other student
researchers, discuss your ongoing work in a relaxed atmosphere, as well as
getting some mentoring from an experienced researcher in the field.

You can participate by submitting a paper about your ongoing research, or just
the abstract if you have a paper accepted at either of the main conferences; see
below for detailed instructions.

The program is a full-day event at the conference and includes presentations of
the papers and mentoring by a senior researcher who will see your talk and and
spend some time to discuss with you during the conference, as well as a nice
(and free) dinner at the end of the day.

Important dates

- Submission Deadline: June 19, 2017
- Doctoral Program: August 28, 2017 in Melbourne (as part of CP/ICLP/SAT 2017)

Financial support will be available to some students.

More information is available at

Dr Tommaso Urli

Researcher | Optimisation Platforms


E<> T +61 2 6218 3862 M +61 403 464 731

Tower A Level 3, 7 London Circuit, Canberra ACT 2601

CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61

[Data61 | CSIRO logo]
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.