One PhD position in ICT on the research project ”Advancing Optimization Modulo Theories” is available at the International Doctorate School in Information and Communication Technologies of the University of Trento, Italy, under the supervision of prof. Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out within the Software Engineering & Formal Methods Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento.
Multiple post-doctoral research positions available in the project on “Provably Verified and Explainable Probabilistic Reasoning,” led by the Principle Investigator, Kuldeep S. Meel. The positions are supported in part by the multi-million dollar NRF Fellowship for AI awarded to PI and additional funding from Defense Service Organization, Singapore.
There is an opening for a fully funded doctoral position at the Algorithms and Complexity group at TU Wien, Vienna, Austria. The position is within the FWF-funded research project P32441 on SAT-Based Local Improvement for Graph Width Parameters.
The MaxSAT Evaluation 2019 is coming up soon! We have extended the deadline for submitting benchmarks and solvers for the MaxSAT Evaluation 2019 to Friday, June 7, 2019.
The SAT/SMT/AR summer school will precede SAT 2019 and SMT 2019 taking place on July 3-6, 2019 at the Instituto Superior Técnico (IST/UL), University of Lisbon, Portugal. The summer school registration is free of charge to make it accessible for participants to attend. The registration deadline is May, 31st. The program, registration, and all the information can be found in the website of the summer school.
The invited talk for the decade edition of Pragmatics of SAT is Joao Marques Silva. His talk is titled SAT: Disruption, Demise and Resurgence.
It is our pleasure to announce an extended deadline for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019.
The Twenty-Fifth Conference on Principles and Practice of Constraint Programming (CP 2019) will take place in Stamford (CT), USA, September 30 to October 4, 2019. Stamford is one hour away from NYC by train.
The 2019 SAT Race is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 22th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions / Races / Challenges. The deadline for submitting benchmarks and solvers is Monday April 15, 2019 (23:59 GMT -12, anywhere on earth). Visit the SAT Race website at http://sat-race-2019.ciirc.cvut.cz/ for details.
The proceedings of the 2015 and 2018 editions of Pragmatics of SAT workshops has just been published in Easychair Proceedings in Computing.