Donald Knuth @ Trento

Nell’ambito della conferenza internazionale SAT 2012 / Theory and Applications of Satisfiability Testing >>
la Fondazione Bruno Kessler e l’Universita’ degli Studi di Trento
presentano

Donald Knuth @ Trento

Biografia e abstract >>

Programma
9.00 – 10.00
Accredito dei partecipanti

10.00 - 10.15
Introduzione

10.15 - 11.15
"Satisfiability and The Art of Computer Programming"
Donald Knuth invited talk

11.15 - 11.45
Intervallo

11.45 - 12.45
All Questions Answered with Donald Knuth
Donald Knuth risponde alle domande del pubblico in sala

L’evento si terrà in lingua inglese e non è prevista traduzione.
La registrazione ha un costo di 10 euro ed è possibile fino al 12 giugno a questo link >>