Organization
The following is a comprehensive list of the activities I have been, or I am currently involved in (listed in reverse chronological order):
Member of
ECAI 2006
program committee.
Organizer of the
QBFEVAL 2006
, the first competitive evaluation of QBF solvers (together with M. Narizzano and L. Pulina).
Organizer of the
Third QBF evaluation
(together with M. Narizzano).
Organizer of the
Second QBF evaluation
(together with D. Le Berre, M. Narizzano and L. Simon).
Member of
STRATEGIES 2004
program committee.
Local organizer of the
Sixth International Conference on Theory and Applications of Satisfiability Testing
(SAT'03).
Member of
SAT'03
program committee.
Organizer of the
First QBF evaluation
(together with D. Le berre and L. Simon).