Aktiviteter per år
- 3 resultat
Sökresultat
-
NordConsNet 2023
Nordström, J. (ordförande)
2023 juni 8 → 2023 juni 9Aktivitet: Deltagit i eller arrangerat evenemang › Arrangerat workshop/ seminarium/ kurs
-
Extended reunion of the program "Satisfiability: Theory, Practice, and Beyond" at the Simons Institute for the Theory of Computing, UC Berkeley
Nordström, J. (ordförande)
2023 mars 13 → 2023 maj 12Aktivitet: Deltagit i eller arrangerat evenemang › Arrangerat workshop/ seminarium/ kurs
-
Dagstuhl Seminar 22411Theory and Practice of SAT and Combinatorial Solving
Nordström, J. (ordförande)
2022 okt. 9 → 2022 okt. 14Aktivitet: Deltagit i eller arrangerat evenemang › Arrangerat workshop/ seminarium/ kurs