[PlanetKR] CP / ICLP / SAT 2017: Call for Participation

Serge Gaspers serggasp at gmail.com
Thu Jul 20 11:15:54 EST 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 
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

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).

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


   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/


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 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20170720/b90ea326/attachment-0001.html 

More information about the PlanetKR mailing list