Wednesday, July 19, 2017

[DMANET] [CP / ICLP / SAT 2017] Call for Participation, early registration deadline July 24, 2017

==============================================================================
CP / ICLP / SAT 2017: Call for Participation
==============================================================================

This year CP, ICLP and SAT 2017 will be co-located in Melbourne, Australia
from August 28th to September 1st, 2017 (the week immediately following
IJCAI
2017). We invite researchers, practitioners and businesses in the areas of
Constraint Programming (CP), Logic Programming (LP), and Boolean
satisfiability (SAT) to register and attend this unique scientific trifecta.

In addition to the main technical tracks and the thematic tracks, CP, ICLP
and SAT 2017 will feature a series of co-located workshops, and a co-located
Doctoral Program with funding available to support a limited number of
students.

The early registration for all three conferences is July 24, 2017.

Below you'll find more information about the and the registration.

Venue & accommodation
=====================

CP, ICLP, and SAT 2017 will be held August 28 to September 1, 2017 at the
Melbourne Convention and Exhibition Centre (the X marks the spot).

`
`...--..` -.
`` `-------. `--`
.---...-------.` .----`
``.-----------------.` ------
.-------------------------------.
```.---------------------------------.``
`..-----------------------------------------`
`.----------------------------------------------``
--------------------------------------------------`
.---------------------------------------------------`
`----------------------------------------------------
`----------------------------------------------------`
`---------------------------------------------------`
---------------------------------------------------
`-----------------.....---------------------------.
`-----------.```` `----.------------------`
.-----.````` `-.`.-----------------`
```` ``.---------------.
` --------------
`-----X----..`
```` `.`

.``.`
.---`
..`

Venue and visa information http://cp2017.a4cp.org/venue.html

There are many accommodation options in the proximity of the venue, so that
you can comfortably reach the conference. Our accommodation page includes
some
special promotions for the attendants of CP, ICLP and SAT 2017

Accommodation information http://cp2017.a4cp.org/accommodation.html

The events
==========

CP 2017

The 23rd International Conference on Principles and Practice of Constraint
Programming (CP 2017) is the 23rd edition of the annual conference on all
aspects of computing with constraints, including: theory, algorithms,
environments, languages, models, systems, and applications such as decision
making, resource allocation, scheduling, configuration, and planning.

More information at http://cp2017.a4cp.org/
Registration at http://cp2017.a4cp.org/registration.html

ICLP 2017

Since the first conference held in Marseille in 1982, the International
Conference on Logic Programming (ICLP) has been the premier international
event for presenting research in logic programming. ICLP 2017 is the 33rd
edition of ICLP.

More information at http://iclp17.a4lp.org/
Registration at http://iclp17.a4lp.org/registration.html

SAT 2017

SAT 2017 is the 20th edition of the International Conference on Theory and
Applications of Satisfiability Testing (SAT), the premier annual meeting for
researchers focusing on the theory and applications of the propositional
satisfiability problem, broadly construed.

More information at http://sat2017.gitlab.io/
Registration at http://sat2017.gitlab.io/registration.html


Invited speakers
================

CP, ICLP and SAT 2017 will host co-located plenary talks, by

- Agostino Dovier, University of Udine
- Holger Hoos, University of British Columbia and Universiteit Leiden
- Mark Wallace, Opturion and Monash University
- Nina Narodytska, VMWare Research
- Enrico Pontelli, New Mexico State University


Doctoral Program
================

CP, ICLP and SAT 2017 will also host a co-located doctoral program, a place
for
student researchers to discuss ongoing work in a relaxed atmosphere, as
well as
getting some mentoring from an experienced researcher in the field.

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

Sponsors
========

CP, ICLP and SAT 2017 are also made possible by our generous sponsors and
donors. Please take some time to check them out on our Sponsors & Donors
page
http://cp2017.a4cp.org/sponsors.html.

**********************************************************
*
* 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/
*
**********************************************************