Recent news about SAT subscribe via RSS

• Nov 9, 2019  Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien by Mihaela Rozman CFP  Deadline 

  QONFEST is the umbrella conference comprising the joint international 2020 meetings CONCUR (31st International Conference on Concurrency Theory), QEST (17th International Conference on Quantitative Evaluation of SysTems), FORMATS (18th International Conference on Formal Modeling and Analysis of Timed Systems) and FMICS (25th International Conference on Formal Methods for Industrial Critical Systems).

• Nov 6, 2019  Full Professor in AI Techniques at TU Wien, Austria by Stefan Szeider Position  Deadline 

  TU Wien (Vienna University of Technology) invites applications for a full Professorship in AI Techniques.

• Oct 29, 2019  SAT-Your-Day : A Puzzle Game based on SAT by Combi-Games SAT  Advertising 

  A Game called SAT-Your-Day, based on the SAT problem, which is available for Android and IOS in French and English.

• Aug 8, 2019  Professorship in AI at Johannes Kepler University Linz by Armin Biere Position  Deadline 

  The professorship position should focus on the development, design, and implementation or on the theory of Artificial Intelligence methods.

• Aug 7, 2019  CP'2019 - Call For Participation by Charlotte Truchet Deadline 

  Registration at early rate is available until Sept. 7, 2019.

• Jul 4, 2019  PhD position available in Trento on “Advancing Optimization Modulo Theories” by Roberto Sebastiani Position  PhD 

  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.

• Jul 2, 2019  Post-Doctoral Positions for Provably Verified and Explainable Probabilistic Reasoning by Kuldeep Meel Position  PostDoc 

  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.

• Jun 19, 2019  SAT 2019 Final Call for Participation by Alexey Ignatiev SAT  Final  CFP  Registration 

  22nd International Conference on Theory and Applications of Satisfiability Testing

• Jun 13, 2019  CFP - The 8th International Workshop on Numerical and Symbolic Abstract Domains by Charlotte Truchet CFP  Deadline 

  Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. This year's edition will be more open to work in progress, and contributions coming from other close communities such as constraint solving, compilation, worst-case execution time communities, will be welcome.

• May 28, 2019  Doctoral position on SAT-Based Local Improvement for Graph Width Parameters by Stefan Szeider Position  Deadline  PhD 

  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.

• May 28, 2019  Call for Participation: MAXSAT Evaluation 2019 by Ruben Martins CFP  MAXSAT  Deadline 

  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.

• May 17, 2019  Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien funded by ERC Consolidator Grant by Mihaela Rozman Position  Deadline 

  The Security & Privacy group at TU Wien is currently looking for several outstanding Ph.D. and postdoc candidates to conduct research within the ERC Consolidator Project “Foundations and Tools for Client-Side Web Security”. The project will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. The project is a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.

• May 17, 2019  CFP (deadline extension) - 6th International Workshop on Quantified Boolean Formulas and Beyond by Florian Lonsing CFP  Deadline  QBF 

  The goal of the International Workshop on Quantified Boolean Formulas and Beyond is to bring together researchers working on theoretical and practical aspects of QBF solving and related formalisms involving quantifiers. The workshop addresses theoreticians and practitioners in order to reflect on the-state-of-the-art in research and to consolidate on immediate and long-term challenges.

• May 16, 2019  SAT/SMT/AR summer school by Antonio Morgado SAT  Deadline 

  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.

• May 16, 2019  Pragmatics of SAT invited talk annonced by Daniel Le Berre SAT 

  The invited talk for the decade edition of Pragmatics of SAT is Joao Marques Silva. His talk is titled SAT: Disruption, Demise and Resurgence.

• May 10, 2019  EXTENDED DEADLINE SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019) by Mihaela Rozman CFP  Deadline 

  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.

• May 5, 2019  SAT 2019 Call for Participation by Alexey Ignatiev SAT  CFP  Registration 

  22nd International Conference on Theory and Applications of Satisfiability Testing

• May 3, 2019  CP'2019 - Call For Papers by Charlotte Truchet CFP  Deadline 

  The submission deadlines have been extended.

• Apr 25, 2019  CFP - 10th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline  QBF 

  The deadline for abstract submission has been extended to the paper submission deadline, i.e. April 29

• Apr 24, 2019  CFP - 6th International Workshop on Quantified Boolean Formulas and Beyond by Florian Lonsing CFP  Deadline  QBF 

  The goal of the International Workshop on Quantified Boolean Formulas and Beyond is to bring together researchers working on theoretical and practical aspects of QBF solving and related formalisms involving quantifiers. The workshop addresses theoreticians and practitioners in order to reflect on the-state-of-the-art in research and to consolidate on immediate and long-term challenges.