Recent Research Activities
Organizer of Workshop SAT Interactions (Expected 2012) in Dagstuhl. With N. Criegnou, O. Kullman, H. Vollmer.
Organizer of SeT Seminar Series (Theory seminar at Dipartimento di Informatica). With G. Franceschini.
Organizer of RaTLoCC 2011 (Workshop in Ramsey Thoery in Logic Complexity and Combinatorics) in Bertinoro. With L. Carlucci, P. Pudlak, V. Rodl, M Viale A. Wiermann
member of PC of CiE 2010 (Computability in Europe)
Organizer of RaTLoCC 2009 (Workshop in Ramsey Thoery in Logic Complexity and Combinatorics) in Bertinoro. With L. Carlucci, P. Pudlak, A. Wiermann.
member of the Editorial Board of JSAT Journal on Satisfiabilty, Boolean Modelling and Computation)
member of PC of SAT 2009.
member of PC of CiAC 2006
Other Activities
member of Italian Olympic Committe in Computer Science, organizing the Italian chapter of International Olympiads in Informatics
Virgin Mary was tired, so tired, tired of listening to gossip, gossip and complaints.
Recent Research Acitvities