The SeT seminar series is a venue for presentations on published work as well as work in progress, with a focus on theoretical problems as well as theoretical aspects of applied research. Speakers are encouraged to delve deeply into the results presented and include more technical aspects of the problems.

SeT seminars are usually held on Wednesday, 14-15 in the "Aula Seminari" at the Department of Computer Science, University of Rome "La Sapienza". The schedule may change to accommodate the needs of the external speakers.

If you would like to give a talk, to propose a speaker or to be added to the SeT mailing list, please send an email to set@di.uniroma1.it.

2010-2011 Schedule (in progress)

Friday, March 25th 2011, 12-13 in the "Aula seminari"
Jacobo Toran,
Institüt für Theoretische Informatik, Universität Ulm
"Graph Isomorphism is not AC$^0$ reducible to Group Isomorphism"
Wednesday, February 16th 2011, 14-15 in the "Aula seminari"
Olaf Beyersdorff,
Institüt für Theoretische Informatik, Fakultät für Elektrotechnik und Informatik, Universität Hannover
"The Complexity of Reasoning for Fragments of Default Logic"
Friday, December 10th 2010, 12-13 in the "Aula alfa"
Edward A. Hirsch,
Steklov Institute of Mathematics at St.Petersburg
"On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography"
Wednesday, December 1st 2010, 14-15 in the "Aula seminari"
Gwenaël Joret,
Université Libre de Bruxelles
"Small Minors in Dense Graphs"