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 the Coordinator of the International Summer School on SAT/ SMT and Automated Reasoning (SAT/SMT/AR School)

I'm/I've been Senior Program Committee member of International Joint Conference on Artificial Intelligence, IJCAI (2022), (2021), (2020), (2019)

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.