Recent news about SAT subscribe via RSS

• Feb 17, 2020  CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive) by Mihaela Rozman CFP  Deadline 

  The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science.

• Feb 17, 2020  SAT 2020 Call for Papers by Martina Seidl CFP  SAT  Deadline 

  The annual international SAT conference will be held in Alghero, Italy, from July 5-9, 2020. The deadlines have been extended by one week.

• Dec 27, 2019  SAT 2020 Call for Papers by Martina Seidl CFP  SAT 

  The annual international SAT conference will be held in Alghero, Italy, from July 5-9, 2020.

• Dec 20, 2019  Postdoc and PhD positions focused on SAT solving and combinatorial optimization at Lund University by Jakob Nordström Position  Deadline 

  The Department of Computer Science at Lund University invites applications for postdoc and PhD positions focused on SAT solving and combinatorial optimization. The postdocs and PhD students will be working in the research group of Jakob Nordström, which is currently in transition from KTH to a combined location at Lund University and the University of Copenhagen on either side of the Oresund bridge.

• Dec 17, 2019  SAT 2020 Call for Workshops by Florian Lonsing CFW  SAT  Deadline 

  The SAT'20 conference invites proposals for workshops associated with the main conference program of SAT 2020, which will be held in Alghero, Italy, from July 5-9, 2020

• Nov 17, 2019  Postdoc position available in Lille on “Knowledge Compilation for Variability Model Analysis” by Clément Quinton Postdoc  Position 

  The Spirals research team at University of Lille invites applications for a postdoc position in computer science focusing on using techniques from the area of knowledge compilation for answering queries on variability models. The project broadly aims to investigate different representations of the variability model, in particular relying on d-DNNF circuits, to perform various operations such as counting, enumerating and updating.

• Nov 11, 2019  CS Professorships at Aalto University, Helsinki, Finland by Jussi Rintanen Position  Deadline 

  Aalto University Computer Science department’s annual call for applications for Assistant Professorships is now open. All areas are considered, especially the focus areas listed in the ad, but of particular importance are areas that can be viewed as falling inside “Formal methods for software”. Candidates from 0 until about 6 years from PhD are considered at the assistant professor level.

• Nov 10, 2019  Simons-Berkeley Research Fellowships for spring of 2021 on theory and practice of NP and beyond by Jakob Nordström Position  Deadline 

  The call for applications for research fellowships (postdoc positions) at the Simons Institute at UC Berkeley for 2020-21 has now been posted with an application deadline of December 15.

• 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.