Activities per year
- 3 results
Search results
-
NordConsNet 2023
Jakob Nordström (Chair)
2023 Jun 8 → 2023 Jun 9Activity: Participating in or organising an event › Organisation of workshop/ seminar/ course
-
Extended reunion of the program "Satisfiability: Theory, Practice, and Beyond" at the Simons Institute for the Theory of Computing, UC Berkeley
Jakob Nordström (Chair)
2023 Mar 13 → 2023 May 12Activity: Participating in or organising an event › Organisation of workshop/ seminar/ course
-
Dagstuhl Seminar 22411Theory and Practice of SAT and Combinatorial Solving
Jakob Nordström (Chair)
2022 Oct 9 → 2022 Oct 14Activity: Participating in or organising an event › Organisation of workshop/ seminar/ course