Deadline Countdown

Heads up on SAT research

SAT related books

Other SAT related sites

Date: 07-Aug-2010 Title: PCCR 2010 - Workshop on Parameterized Complexity of Computational Reasoning - Final Call for Participation Hits: 65 Contributed by: Stefan Szeider Keywords: null         CALL FOR PARTICIPATION PCCR 2010 Parameterized Complexity of Computational Reasoning Satellite Workshop of MFCS & CSL Brno, Czech Republic, 28 August 2010 http://www.kr.tuwien.ac.at/drm/pccr2010 This workshop aims to support a fruitful exchange of ideas between the research on parameterized complexity on one side and the research on various forms of computational reasoning (such as nonmonotonic, probabilistic, and constraint-based reasoning) on the other. The workshop features invited and contributed talks and presentations of surveys and new technical results. Invited speakers are: * Mike Fellows, Charles Darwin University * Nicola Galesi, Sapienza University of Rome * Gregory Gutin, University of London * Petr Hlineny, Masaryk University Brno * Reinhard Pichler, Vienna University of Technology List of Presentations: * Mike Fellows: An Overview of Parameterized Complexity and Recent Research Directions in Constraint Satisfaction and Artificial Intelligence * Gregory Gutin, Keynote Talk: Complexity of Permutation Constraint Satisfaction Problems Parameterized Above Average * Petr Hlineny: Where Myhill-Nerode Theorem meets Parameterized Algorithmics * Reinhard Pichler: Bounded Treewidth in Non-Monotonic Reasoning * M. Praveen: Does Treewidth Help in Modal Satisfiability? * Fran Rosamond: On the Complexity of Some Constraint Satisfaction Problems with Global Constraints and Convexity * Nicola Galesi: The Complexity of Proofs in Parameterized Resolution * Yijia Chen: Optimal Proof Systems, Slicewise Monotone Parameterized Problems, and Logics for PTIME For the schedule of the talks, see http://www.kr.tuwien.ac.at/drm/pccr2010/ For information on how to register and local information please consult the MFCS-CSL 2010 web-site http://mfcsl2010.fi.muni.cz/ The workshop is organized by Igor Razgon, Marko Samer, Stefan Szeider (chair), and Stefan Woltran.

Date: 20-Jul-2010 Title: CFP: CROCS Workshop at CP-10 Hits: 91 Contributed by: Ashish Sabharwal Keywords: CSP, call for papers, Constraint Programming, null, null         Call for papers for CROCS at CP-10, the 3rd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, to be held on September 6, 2010 in St Andrews, Scotland, in conjunction with the CP-10 conference. For submission and other details, please see http://www.computational-sustainability.org/crocs-at-cp10

Date: 09-Jul-2010 Title: JELIA 2010 - Call for participation Hits: 62 Contributed by: Anonymous Keywords: null         JELIA 2010 CALL FOR PARTICIPATION ================================= 12th European Conference on Logics in Artificial Intelligence Helsinki, Finland, September 13-15, 2010 http://jelia2010.tkk.fi/ Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle --- JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2010 the conference is organized for the first time in Scandinavia, following previous meetings mainly taking place in Central and Southern Europe (see the general website http://www.jelia.eu/ for details). The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to AI. Registration and Travel Information =================================== Registration as well as travel and accommodation information is available on JELIA 2010 web pages http://jelia2010.tkk.fi/ JELIA 2010 Registration Fees Early (until Aug 9) Late (Aug 10 - Sep 1) Regular 250 EUR 400 EUR Student 150 EUR 250 EUR including JELIA 2010 technical sessions and invited talks, coffee breaks, the combined JELIA/PGM welcome reception on September 13, conference Banquet and excursion on September 14, JELIA 2010 LNAI conference proceedings, and conference accessories (bag, programme, info, ...) Scientific Program ================== The scientific program consists of three invited talks, 26 regular papers, and 5 system descriptions. See details in the preliminary program at http://jelia2010.tkk.fi/schedule.shtml Invited Speakers ================ Gerhard Brewka (http://www.informatik.uni-leipzig.de/~brewka/): Nonmonotonic Tools for Argumentation Adnan Darwiche (http://www.cs.ucla.edu/~darwiche/): Relax, Compensate and then Recover: A Theory of Anytime, Approximate Inference Stéphane Demri (http://www.lsv.ens-cachan.fr/~demri/): Counter Systems for Data Logics Venue ===== The conference will be held in the main building of University of Helsinki, located in the center of Helsinki. Founded in 1550, Helsinki has been the Finnish capital since 1812, when it was rebuilt in the Empire style by the orders of the Czar of Russia, hence sharing architectural similarities with St. Petersburg even today. Located on the Baltic peninsula centrally between the east and the west, Helsinki "the Daughter of the Baltic" is a city full of contrasts: light and white in summer while dark but full of warmth in winter, with a combination of high-tech, contemporary design, and ever-present nature. Finnish design has made Helsinki world famous, and recently Helsinki was appointed World Design Capital 2012. Co-located events ================= European Workshop on Probabilistic Graphical Models (PGM) http://www.helsinki.fi/pgm2010/

Date: 12-May-2010 Title: SAT 2010 - Call for Participation Hits: 126 Contributed by: Stefan Szeider Keywords: null         --------------------------------------------------------------------- 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

Date: 03-Apr-2010 Title: KR 2010 Hits: 217 Contributed by: Anonymous Keywords: Computational logic, Logic, General Interest, null, null         Please join us for the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), to be held May 9-13, 2010 at The Sutton Place Hotel, in Toronto, Ontario, Canada. The deadline for registration is April 9th! KR 2010 will be co-located with AAMAS, FOIS, ICAPS, and NMR. Options for cross-registration are available.

Date: 09-Mar-2010 Title: Pseudo-Boolean Competition 2010 Hits: 231 Contributed by: Olivier ROUSSEL Keywords: pseudo boolean optimization, MAXSAT, Linear Constraints, SAT-Solver Competition, Pseudo-Boolean Solving, null         The fifth competition of pseudo-Boolean solvers is organized as a special event of the SAT 2010 conference. Like the previous evaluations and competitions, the goal is to assess the state of the art in the field of pseudo-Boolean solvers. The 2010 competition is very similar to the 2009 edition, with 2 exceptions: non linear objective functions are allowed a special track and a new format are dedicated to maximum satisfiability and weighted max-satisfiability on PB constraints We encourage you to submit solvers and/or benchmarks to the competition by May 9. All details are available on the competition web site: http://www.cril.univ-artois.fr/PB10/

Date: 12-Aug-2009 Title: CROCS-09: EXTENDED DEADLINE (computational sustainability workshop at CP-09) Hits: 515 Contributed by: Ashish Sabharwal Keywords: SAT application, General Interest, call for papers, Constraint Programming, SAT/CP, null, null         CROCS-09 submission deadline extended to August 23, 2009 Call for Papers, Abstracts, and Discussion Topics: CROCS 2009, the First International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, September 20, 2009, Lisbon, Portugal To be held in conjunction with CP-09, the 15th International Conference on Principles and Practice of Constraint Programming. For more information on this workshop as well as the newly emerging interdisciplinary field of computational sustainability, please visit http://www.computational-sustainability.org/crocs09. Best, Ashish

Date: 15-Jun-2009 Title: CROCS-09: Call for Submissions (computational sustainability) Hits: 507 Contributed by: Ashish Sabharwal Keywords: SAT application, General Interest, New research position, null, null         Call for Papers, Abstracts, and Discussion Topics: CROCS 2009 First International Workshop on Constraint Reasoning and Optimization for Computational Sustainability September 20, 2009, Lisbon, Portugal To be held in conjunction with CP-09, the 15th International Conference on Principles and Practice of Constraint Programming. For more information on this workshop as well as the newly emerging interdisciplinary field of computational sustainability, please visit http://www.computational-sustainability.org/crocs09. Best, Ashish