da Venerdì, 3 Luglio 2020 a Venerdì, 10 Luglio 2020
ore: 14:00
Conferenza

The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020)

Streaming web

La International Conference on Theory and Applications of Satisfiability Testing (SAT) è la principale conferenza annuale dei ricercatori sul tema della soddisfacibilità proposizionale e relative applicazioni. La conferenza si sarebbe dovuta tenere ad Alghero, ma causa delle restrizioni dovute all'emergenza sanitaria si terrà "on-line".  La registrazione sarà quindi gratuita ed è disponibile al seguente link: https://sat2020.idea-researchlab.org/registration/

I keynote speaker della conferenza sono:

- Georg Gottlob (https://en.wikipedia.org/wiki/Georg_Gottlob), University of Oxford and TU Wien, Austria
- Aarti Gupta (https://www.cs.princeton.edu/~aartig/), Princeton University, US

Organizzatori:

Program Chairs
* Luca Pulina, University of Sassari
* Martina Seidl, Johannes Kepler University Linz

Workshop Chair
* Florian Lonsing, Stanford University Publicity Chair
* Laura Pandolfo, University of Sassari

.
Add to My Calendar