: include(): Failed opening 'leftnav.php' for inclusion (include_path='.:/opt/apache/php/current/lib/php') in
News
-
ETAPS took place in Uppsala in April 2017.
- Recent lectures:
- Optimal Partial Order Reduction under the Release-Acquire Semantics.
OOPSLA'2018:
keynote,
pdf.
- Multi-pushdown systems with data.
The 2017 meeting of
the IFIP working group 2.2, Bordeaux, France:
keynote,
pdf.
- A Read-buffer semantics for TSO.
FMICS/AVoCS'2017, Torino, Italy.
keynote,
pdf.
- Tutorial on parametrized verification through view abstraction.
CAV'2016, Toronto, Ontario, Canada:
keynote,
pdf.
- Tutorial on well quasi-ordered systems.
MOVEP'2016, Genoa, Italy:
keynote,
pdf.
- Recent papers:
-
PC duties (Last ten years):
LICS 2019,
ICALP 2019,
TACAS 2019,
CONCUR 2018,
MOVEP 2018,
NETYS 2018,
ETAPS 2017 (General Chair),
Higlights 2017,
FCT 2017,
CSL 2017,
SoICT 2017,
CP 2016,
ICALP 2016,
TACAS 2016,
Gandalf 2016,
NETYS 2016,
FSTTCS 2015,
CONCUR 2015,
CIAA 2015,
GANDALF 2015,
SSS 2015,
NETSYS 2015,
FORMATS 2014,
GANDALF 2014,
HIGLIGHTS 2014,
MCC 2014,
SoICT 2014,
LICS 2013,
MFCS 2013,
LATA 2013,
INFINITY 2013,
MCC 2013,
RP 2013 (co-chair),
FORMATS 2012,
MCC 2012,
TACAS 2011 (co-chair),
ATVA 2011,
RP 2011,
INFINITY 2011,
LICS 2010,
CONCUR 2010,
TACAS 2010,
SOFSEM 2010,
GandALF 2010,
RP 2010,
INFINITY 2010,
CAV 2009,
MCC 2009,
ICTAC 2009,
QEST 2009,
FoSSaCS 2009,
LATA 2009 ,
GAMES 2009,
RP 2009,
MEMICS 2009 ,
INFINITY 2009.
- I am on the editorial board of TCS.
Your submissions are welcome.