Recent news about SAT subscribe via RSS

• Jan 17, 2019  SAT 2019 Call for Workshops by Alexey Ignatiev CFW  SAT  Deadline 

  The SAT'19 conference invite proposals for workshops associated with the main conference program of SAT 2019, which will be held in Lisbon (Portugal) from July 7-12, 2019

• Jan 16, 2019  Postdoctoral and Doctoral Research Positions in Helsinki, Finland by Jussi Rintanen PostDoc  PhD  Position  Deadline 

  Post-doctoral and Ph.D. thesis positions in SAT, constraints, search and applications offered at the CS department of Aalto University in Helsinki, Finland. Apply by February 7, 2019.

• Dec 24, 2018  Postdoc positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The TCS Group at KTH Royal Institute of Technology invites applications for postdoc positions in computer science focused on algorithms for solving the Boolean satisfiability problem (SAT) very efficiently for large classes of instances, and on analyzing and understanding such algorithms.

• Dec 19, 2018  CP’2019 - Call for Tracks by Charlotte Truchet CFP  Deadline 

  CP, the international conference on Principles and Practice of Constraint Programming, is welcoming special tracks on topics which may not be present at the conference, yet which may be of interest to the community.

• Dec 18, 2018  VCLA International Student Awards 2019 - Logic and Computer Science by Mihaela Rozman CFP  Deadline 

  The Vienna Center for Logic and Algorithms (VCLA) at TU Wien seeks nominations for the VCLA International Student Awards 2019. The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Logic and Computer Science. Final Submission Deadline: 15.3.2019

• Dec 17, 2018  Helmut Veith Stipend for Women in Computer Science – Deadline: November 30, 2019 by Mihaela Rozman CFP  Deadline 

  Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the master‘s programs in Computer Science at the Vienna University of Technology – TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend.

• Dec 3, 2018  JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes by Francesco Calimeri CFP 

  The next JELIA conference is taking place in Rende, ITALY and will feature cooperation with IJCAI and TPLP for best papers. Check the submission deadline !

• Nov 4, 2018  22st International Conference on Theory and Applications of Satisfiability Testing CFP by Daniel Le Berre CFP  Deadline 

  The next SAT conference will take place in Lisbon, Portugal. The important dates are now available.

• Nov 3, 2018  JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes by Francesco Calimeri CFP 

  The next JELIA conference is taking place in Rende, ITALY and will feature cooperation with IJCAI and TPLP for best papers. Check the submission deadline!

• Oct 30, 2018  JSAT rebooted with a new EasyChair journal management system by Daniel Le Berre

  The Journal on Satisfiability, Boolean Modeling and Computation (JSAT), the open access journal of the SAT association, is now accepting submissions using its new easychair-based journal management system.

• Oct 23, 2018  Call for papers - JSAT special issue on SAT 2018 competitions and evaluations by Martina Seidl CFP  Deadline 

  Submission deadline extended to November 23.

• Oct 21, 2018  Two Research Assistant positions in Swansea available soon by Oliver Kullmann Position 

  Based on the grant The next level of SAT solving for very hard problems, soon the details of the two RA positions in Swansea will become available.

• Oct 20, 2018  Third International Competition on Computational Models of Argumentation (ICCMA'19) by Francesco Santini CFP  Deadline 

  Argumentation is a major topic in the study of Artificial Intelligence. In particular, the problem of solving certain reasoning tasks on Dung's abstract argumentation frameworks is central to many advanced argumentation systems. The fact that many of the problems to be solved are intractable requires efficient algorithms and solvers.

• Oct 1, 2018  JELIA 2019 - First CfP - IJCAI + TPLP papers and AWARDS by Francesco Calimeri CFP  Deadline 

  The next JELIA conference is taking place in Rende, ITALY and will feature cooperation with IJCAI and TPLP for best papers. Check the submission deadline !

• Sep 26, 2018  PhD position in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for a PhD student in SAT solving.

• Sep 11, 2018  Postdoctoral and Doctoral Research Positions in Helsinki, Finland by Jussi Rintanen PostDoc  PhD  Position  Deadline 

  Post-doctoral and Ph.D. thesis positions in SAT, constraints, search and applications offered at the CS department of Aalto University in Helsinki, Finland. Apply by September 29, 2018.

• Sep 2, 2018  Two postdoc positions in SAT/CP/AI available at NUS by Kuldeep S. Meel Position 

  Two post-doctoral research fellow positions in the area of SAT/CP/AI are available at the School of Computing, National University of Singapore, Singapore.

• Aug 30, 2018  Call for papers - JSAT special issue on SAT 2018 competitions and evaluations by Martina Seidl CFP 

  The JSAT journal is hosting a special issue related to the competitive events that took place around the SAT 2018 conference.

• Jul 27, 2018  DATE 2019 Call For Papers Topic D4 Formal Methods and Verification by Armin Biere CFP  Deadline 

  Call for papers for 21st Conference on Design Automation and Test in Europe Topic D4 Formal Methods and Verification.

• Jul 1, 2018  PhD position on `Quantum Annealing for SAT Solving' in Trento by Roberto Sebastiani PhD  Position 

  One PhD Student Position on `Quantum Annealing for SAT Solving' available in Trento (Italy) in collaboration with D-Wave Inc.