ISWS-19: Indian SAT-SMT Winter School IIT Bombay Mumbai, India, December 8-10, 2019 |
Conference website | https://sat-smt.in/ |
Submission link | https://easychair.org/conferences/?conf=isws19 |
The Fourth Edition of Indian SAT-SMT School will focus on algorithmic and engineering advances in SAT/SMT solving and their usage to perform complex automated reasoning tasks such as probabilistic inference, optimization, and diagnosis. The school features prominent speakers from academia and industry from France, Germany, and India who have been involved in the development and/or deployment of SAT/SMT solvers in several industry-scale projects worldwide.
Submission Guidelines
The submissions should be submitted in the form of a PDF file formatted along the lines of the AAAI formatting instructions available at http://www.aaai.org/Publications/Author/author.php. The submissions can use a maximum of 2 pages and can cover work in progress material or the material that has already been submitted or published in other journals or conferences.
Submissions that address topics of wide interest may also be allocated a short talk during the school.
Scope:
All contributions addressing different aspects of the satisfiability problem interpreted in a broad sense. Domains include MaxSAT, Pseudo-Boolean (PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), as well as Constraint Satisfaction Problems (CSP). Topics include, but are not restricted to:
-
Theoretical advances (including algorithms, proof complexity, parameterized complexity, and other complexity issues);
-
Practical search algorithms;
-
Knowledge compilation;
-
Model Counting and Uniform Sampling
-
Functional Synthesis
-
Implementation-level details of SAT solving tools and SAT-based systems;
-
Problem encodings and reformulations;
-
Applications (including both novel applications domains and improvements to existing approaches);
-
Case studies and reports on insightful findings based on rigorous experimentation.
Committees
Program Committee
- Supratik Chakraborty, IIT Bombay
- Venkatesh Choppella, IIIT Hyderabad
- Ashutosh Gupta, IIT Bombay
- Saurabh Joshi, IIT Hyderabad
- Kuldeep S. Meel, NUS
- Subodh Sharma, IIT Delhi
Invited Speakers
-
Daniel Le Berre University of Artois Jean Perrin Faculty of Sciences
-
Mate Soos School of Computing, National University of Singapore.
-
R Venkatesh TCS Research, Pune, India
-
Sanjit Seshia University of California, Berkeley
Venue
Indian Institute of Technology, Bombay (IIT Bombay).
Contact
Tweet to us at @satsmtschool
If you have any questions, please contact us via e-mail at: indian.satsmt.school@gmail.com