Tuesday, May 11, 2010

[DMANET] SAT 2010 - Call for Participation

---------------------------------------------------------------------
SAT 2010 - 13th International Conference on
Theory and Applications of Satisfiability Testing
Edinburgh, UK, July 11-14, 2010
http://ie.technion.ac.il/SAT10/
as part of FLoC 2010 - Federated Logic Conference
http://www.floc-conference.org/

Call for Participation
---------------------------------------------------------------------

SAT is the primary annual meeting for researchers studying the
propositional satisfiability problem. The technical programme will
consist of presentations of high-quality original research papers, a
tutorial presentation, several invited talks, and presentations of
solver competition results.

Registration, accommodation, and travel/visa information for all FLoC
conferences and workshops is on the FLoC 2010 web pages.

DEADLINES:
Early registration deadline: 17 May 2010
Standard registration: 18 May 2010 - 30 June 2010
Late registration: after 30 June 2010

TECHNICAL PROGRAMME
Presentation of 2 invited SAT talks
Presentation of 4 plenary/keynote FLoC invited talks
Presentation of 35 technical research papers
Presentation of 3 solver competitions

SAT INVITED SPEAKERS
Yehuda Naveh, IBM Haifa Research Lab, Israel
Ramamohan Paturi, University of California, USA

FLoC PLENARY AND KEYNOTE SPEAKERS
David Harel, Weizmann Institute of Science, Israel
Gordon Plotkin, University of Edinburgh, UK
Georg Gottlob, University of Oxford, UK
J Strother Moore, University of Texas, USA

SAT INVITED TUTORIAL SPEAKER
Daniel Kroening, University of Oxford, UK

SAT AFFILIATED COMPETITIONS
MAX-SAT Evaluation 2010
Pseudo-Boolean Competition 2010
SAT-Race 2010

SAT AFFILIATED WORKSHOPS
PPC 2010 - Propositional Proof Complexity (July 9)
POS 2010 - Pragmatics of SAT (July 10)
LoCoCo 2010 - Logics for Component Configuration (July 10)
SMT 2010 - Satisfiability Modulo Theories (with CAV, July 14-15)
LaSh 2010 - Logic and Search (with ICLP, July 15)

SOCIAL EVENTS
Drinks Reception - July 11 at Edinburgh Castle
Conference Banquet - July 13 at "Our Dynamic Earth"

PROCEEDINGS
At registration the proceedings of all FLoC conferences and workshops
will be provided, at no additional cost, on a USB stick. Hard copy SAT
2010 proceedings are optionally available, for an additional
cost. Remember to tick the hard copy proceedings box when you register.

Please note that hard copies are offered at approximately 50% discount
during registration and will possibly not be on sale later on or during
the conference.

REGISTRATION
For on line registration for SAT, please follow the link on the FLoC
website at http://floc-conference.org/registration.html

ACCOMMODATION
Very affordable accommodation can be booked via the FloC registration,
see http://floc-conference.org/accommodation.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/
*
**********************************************************