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
-
IJCAR 2018,
``International Joint Conference on Automated Reasoning''
Oxford, UK, 14-17 July 2018.
-
SAT 2012,
``Fifteenth International Conference on
Theory and Applications of Satisfiability Testing''
Trento, Italy, 17-21 June 2012.
-
FroCoS'2009,
``Frontiers of Combining Systems''
Trento, Italy, September, 2009.
-
PDPAR'06 ("PDPAR'xx" are now called "SMT'xx"), 4th Int. Workshop on Pragmatics of Decision
Procedures in Automated Reasoning, affiliated to IJCAR 2006.
Seattle, USA, Summer 2006.
-
Calculemus! 2001, 9th Symposium on the Integration of
Symbolic Computation and Mechanized Reasoning, affiliated to IJCAR
2001. Siena, Italy, 2001.
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
-
AAAI
(
2016
)
- AAAI Conference on Artificial Intelligence
-
AIMSA
(
1998
)
- Int. Conference on Artificial Intelligence:
Methodology, Systems, Applications
-
CADE
(
2019,
2017,
2011
)
- Int. Conference on Automated DEduction
-
Calculemus!
(
2006,
2003,
2002,
2001
)
- Int. Symposium on the
Integration of Symbolic Computation and Mechanized Reasoning
-
CAV (
2011
)
- Int. Conference on Computer-Aided Verification
-
FMCAD (
2023
)
- Int. Conference on Formal Methods in Computer-Aided Design
-
FroCoS
(
2023,
2021,
2017,
2015,
2013,
2011,
2009,
2002
)
- Int. Symposium on Frontiers of Combining Systems
-
IJCAI
(
2023,
2022,
2021,
2020,
2019,
2015,
)
- Int. Joint Conference on Artificial Intelligence
-
IJCAR
(
2022,
2020,
2018,
2016,
2014,
2010,
2004
)
- Int. Joint Conference on Automated Reasoning
-
KR
(
2000
)
- Int. Conference on Principles of
Knowledge Representation and Reasoning
-
ModRef
(
2014
)
- Int. Workshop on
Constraint Modelling and Reformulation
-
PDPAR
(
2006,
2005,
2003
)
- Int. Workshop on Pragmatics of Decision Procedures in
Automated Reasoning (now SMT)
-
SAT
(
2020,
2019,
2016,
2015,
2014,
2013,
2012,
2011,
2010,
2009,
2008,
2007
)
- Int. Conference on Theory and Applications of Satisfiability Testing
-
SMT
(
2016,
2012,
2010,
2009,
2008,
2007
)
- Int. Workshop on Satisfiability Modulo Theories (Previously
PDPAR)
-
VMCAI (
2013
)
- International Conference on Verification, Model Checking, and Abstract Interpretation
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.