Satisfiability: Theory, Practice, and Beyond: Extended Reunion Satisfiability

Ciaran McCreesh (Organisator*in)
Kuldeep S Meel (Organisator*in)
Jakob Nordström (Organisator*in)
Seidl, M. (Organisator*in)

Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Organisation von Konferenz, Workshop, ...

Zeitraum	17 Apr. 2023 → 21 Apr. 2023
Veranstaltungstyp	Konferenz
Ort	USA/Vereinigte StaatenAuf Karte anzeigen

Wissenschaftszweige

101013 Mathematische Logik
603109 Logik
102 Informatik
102031 Theoretische Informatik
102030 Semantische Technologien
102011 Formale Sprachen
102022 Softwareentwicklung
102001 Artificial Intelligence

JKU-Schwerpunkte

Digital Transformation

Dokumente & Verweise

https://simons.berkeley.edu/workshops/satisfiability-theory-practice-beyond