AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
012345

Notice

AISB event Bulletin Item

CALL FOR PAPERS: Theory and Applications of Satisfiability Testing, 17-20 June 2012, Trento, ITALY

http://sat2012.fbk.eu/

15th International Conference on THEORY AND APPLICATIONS OF SATISFIABILITY TESTING(SAT 2012)

AIM and SCOPE
=============

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the 
primary annual meeting for researchers studying the propositional satisfiability problem. 
Importantly, here SAT is interpreted in a rather broad sense:
besides plain propositional satisfiability, it includes the domains of MaxSAT and Pseudo-Boolean 
(PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), 
Constraints Programming (CSP) techniques for word-level problems and their propositional encoding.

To this extent, many hard combinatorial problems can be encoded as SAT instances, in the broad 
sense mentioned above, including problems that arise in hardware and software verification, AI 
planning and scheduling, OR resource allocation, etc. The theoretical and practical advances in 
SAT research over the past twenty years have contributed to making SAT technology an indispensable 
tool in these domains.

SAT 2012 will take place in Trento, Italy, a cosmopolitan city set in a spectacular mountain 
scenery, and home to a world-class university and research centres.

RELEVANT TOPICS
===============

The topics of the conference span practical and theoretical research on SAT (in the broader sense 
above) and its applications, and include, but are not limited to:

* Theoretical issues
   - Combinatorial Theory of SAT
   - Proof Systems and Proof Complexity in SAT
   - Analysis of SAT Algorithms
* Solving:
   - Improvements of current solving procedures
   - Novel solving procedures, techniques and heuristics
   - Incremental solving
* Beyond solving:
   - Functionalities (e.g., proofs, unsat-cores, interpolants,...)
   - Optimization
* Applications
   - SAT techniques for other domains
   - Novel Problem Encodings
   - Novel Industrial Applications of SAT

A more detailed description can be found on the web site.

INVITED SPEAKERS
================

We are honored to announce the following invited speakers at SAT'12:

* Aaron Bradley, Boulder, USA.
   "SAT-based Verification with IC3: Foundations and Demands"

* Donald Knuth, Stanford, USA.
   "Satisfiability and The Art of Computer Programming"

The presence of both speakers has been confirmed, although the titles
  of the talks may be provisional.

PAPER SUBMISSION
================

Papers must be edited in LATEX using the LNCS format and be submitted electronically as PDF files via EasyChair.
We envisage three categories of submissions:

REGULAR PAPERS. Submissions, not exceeding fourteen (14) pages, should
   contain original research, and sufficient detail to assess the
   merits and relevance of the contribution. For papers reporting
   experimental results, authors are strongly encouraged to make their
   data available with their submission. Submissions reporting on case
   studies in an industrial context are strongly invited, and should
   describe details, weaknesses and strength in sufficient
   depth. Simultaneous submission to other conferences with proceedings
   or submission of material that has already been published elsewhere
   is not allowed.

TOOL PRESENTATIONS. Submissions, not exceeding four (4) pages, should
   describe the implemented tool and its novel features. A
   demonstration is expected to accompany a tool presentation. Papers
   describing tools that have already been presented in other
   conferences before will be accepted only if significant and clear
   enhancements to the tool are reported and implemented.

EXTENDED ABSTRACTS/POSTERS. Submissions, not exceeding two (2) pages,
   briefly introducing work in progress, student work, or preliminary
   results. These papers are expected to be presented as posters at the
   conference.

Further information about paper submission, including a more detailed description of the scope and 
specification of the three submission categories, will be made available at SAT'12 web page. The 
review process will be subject to a rebuttal phase.

IMPORTANT DATES:
================
   Abstract Submission:	        	05/02/2012
   Paper Submission:			12/02/2012
   Rebuttal phase:                    28-30/03/2012
   Final Notification:			12/04/2012
   Final Version Due:			04/05/2012
   Conference:                        17-20/06/2012

PROCEEDINGS
===========

The proceedings of SAT?T12 will be published by Springer-Verlag in the LNCS series.

PROGRAM CHAIRS
==============

Alessandro Cimatti -- FBK-Irst, Trento, Italy Roberto Sebastiani -- DISI, University of Trento, Italy

PROGRAM COMMITTEE
=================

Dimitris Achlioptas -- UC Santa Cruz, USA Fahiem Bacchus -- University of Toronto, Canada Paul 
Beame -- University of Washington, USA Armin Biere -- Johannes Kepler University, Austria Randal 
Bryant -- Carnegie Mellon University, USA Uwe Bubeck -- University of Paderborn, Germany Nadia 
Creignou -- LIF Marseille, France} Leonardo DeMoura -- Microsoft Research, USA John Franco -- 
University of Cincinnati, USA Malay Ganai -- NEC, USA Enrico Giunchiglia -- Universit  di Genova, 
Italy Yussef Hamadi -- Microsoft Research, UK Zyiad Hanna -- Jasper, USA Holger Hoos -- University 
of British Columbia, Canada Marijn Heule -- Johannes Kepler University, Austria Kazuo Iwama -- 
Kyoto University, Japan Oliver Kullmann -- University of Wales Swansea, UK Daniel Le Berre -- 
Université d?TArtois, France Ines Lynce -- Instituto Superior Te?cnico, Portugal Panagiotis 
Manolios -- Northeastern University, USA Joao Marques-Silva -- University College Dublin, Ireland 
David Mitchell -- Simon Fraser University, Canada Alexander Nadel -- Intel, Israel Jussi Rintanen 
-- The Austrailan National University, Australia Lakhdar Sais -- Universite? d?TArtois, France 
Karem Sakallah -- University of Michigan, USA Bart Selman -- Cornell University, USA Laurent Simon
 -- Université Paris 11, France Carsten Sinz -- Karlsruhe Institute of Technology, Germany Niklas 
Sorensson -- Chalmers University, Sweden Ofer Strichman -- Technion, Israel Stefan Szeider -- 
Vienna University of Technology, Austria Allen Van Gelder -- University of California, Santa Cruz, 
USA Toby Walsh -- University of New South Wales, Australia Xishun Zhao -- Sun Yat-Sen University, 
China