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

CALL FOR SUBMISSIONS
====================

Constraint Programming / Logic Programming / SAT Doctoral Program 2017

More information is available at http://cp2017.a4cp.org/doctoral_program/

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 http://cp2017.a4cp.org/doctoral_program/


Dr Tommaso Urli

Researcher | Optimisation Platforms

DATA61 | CSIRO

E tommaso.urli@data61.csiro.au<mailto:tommaso.urli@data61.csiro.au> T +61 2 6218 3862 M +61 403 464 731

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

www.data61.csiro.au

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
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************