Roberto Sebastiani - Boards, Committees, etc.


I'm Associate Editor of Journal on Satisfiability, Boolean Modeling and Computation, JSAT.

I'm/I've been Guest Co-Editor of

I'm/I've been Program Co-chair of I'm/I've been in the following steering committees & boards of trustees: I'm/I've been in the Program Committee of I've been a lecturer at 14th European Summer School on Logic, Language and Information -- ESSLLI 2002 where I gave the advanced course SAT beyond propositional satisfiability.

I'm a staff mamber and part of the scientific committee of International Graduate School in Information and Communication Technologies of University of Trento. (1997-1999)

Back to Roberto Sebastiani's home page.