SBN: 978-1-4503-8469-8

(Some) past events

iFM 2023 (sc member)
NII Shonan Meeting Seminar 178 (participant, by invitation only)
T-LADIES (Project PRIN 2020TL3X8X) first-year meeting (keynote)
ABS 2023 (co-editor of the LNCS volume "Active Object Languages: Current Research Trends" presented at the workshop)
SPLC 2023 ( Journal First track pc member, Challenge Cases and Solutions track pc member)
COORDINATION 2023 (sc member)
ISoLA 2022 (paper at the Rigorous Engineering of Collective Adaptive Systems track, by invitation only)
NIER track @ ASE 2022 (pc member)
COMMON-WEARS 2022 @ CyberSciTech 2022 (pc co-chair)
Tutorial on The FCPP Aggregate Programming framework @ Petri Nets 2022
COORDINATION 2022 (sc member, tool track chair)
iFM 2022 (sc member, journal first track chair)
ISoLA 2021 (speaker at the Modularity and (De-)composition in Verification track, by invitation only)
SPLC 2021 (journal first track PC co-chair, research track PC member) --- proceedings in ACM volume, ISBN: 978-1-4503-8469-8 (online)
ABS Workshop 2021 (co-organizer)
VORTEX 2021 @ ECOOP and ISSTA (pc member)
COORDINATION 2021 (pc co-chair) --- proceedings in LNCS 12717 (online)
iFM 2020 (sc member, pc member)
ICTCS 2020 (pc member)
eCAS 2020 (pc member)
PhD-iFM 2019 (pc member)
iFM 2019 (sc member, pc member)
SPLC 2019 (pc member, challenge case Interoperability of Software Product Line Variants [from SPLC 2018] co-author)
eCAS 2019 (pc member)
ABS Workshop 2019 (participant, by invitation only)
NGPS track at SAC 2019 (pc member)
FASE 2019 @ ETAPS (pc member)
ARND 2018 (participant, by invitation only)
SPLC 2018 (challenge case 1 - Interoperability of Software Product Line Variants co-author)
eCAS 2018@SASO (pc member)
iFM 2018 (sc member, pc member)
SEFM 2018 (pc member)
ABS Workshop 2018 (participant, by invitation only)
CAS track at SAC 2018 (pc member)
ALP4IoT 2017@iFM (sc chair)
iFM 2017 (general chair)
eCAS 2017@SASO (pc member)
COORDINATION 2017 (pc member)
ABS Workshop 2017 (participant, by invitation only)
CAS track at SAC 2017 (pc member)
WAKERS 2017 (participant, by invitation only)
FOSD 2016 @ SPLASH (pc member)
ISoLA 2016 (track organizer) --- proceedings in LNCS 9953
eCAS 2016 @ SASO (pc member)
VORTEX 2016 @ ECOOP (pc member)
COORDINATION 2016 (pc member)
iFM 2016 (pc member)
MOBILESoft 2016 (pc member)
FMSPLE 2016 @ ETAPS (pc member)
CM track @ SAC 2016 (pc member)
SCOPES 2015 @ SASO (pc member)
DeMobile 2015 @ ESEC/FSE (panelist)
SPLat 2015 @ SPLC (pc member)
FM 2015 (tutorial co-chair)
COORDINATION 2015 (pc member)
MOBILESoft 2015 @ ICSE (pc member)
CM track at SAC 2015 (pc member)
FMSPLE 2015 @ ETAPS (pc member)
NII Shonan Meeting Seminar 062 (participant, by invitation only)
FOOL 2014 @ SPLASH (pc member)
ISoLA 2014 (speaker at the Formal Methods and Analysis in Software Product Line Engineering track, by invitation only)
SPLat 2014 @ SPLC (pc member)
SPLC 2014 (pc member)
ECOOP 2014 (erc member)
SFM-14:ESM (co-organizer) --- lectures available in LNCS 8483
MOBILESoft 2014 (pc member)
SCW 2014 at AAMAS (pc member)
Lorentz Center workshop on "Reliability of Concurrent and Distributed Software" (participant, by invitation only)
CM track at SAC 2014 (pc member)
PPPJ 2013 (pc member)
FMSPLE 2013 (pc member)
SWC 2013 at AAMAS (pc member)
CM track at SAC 2013 (pc member)
OOPS track at SAC 2013 (pc member)
Dagstuhl Seminar 12511 (participant, by invitation only)
ISoLA 2012 (speaker at the Approaches for Mastering Change track, by invitation only)
CM track at SAC 2012 (pc member)
FOOL 2011 (pc member)
FMCO 2011 (conference and program co-chair) --- post-proceedings in LNCS 7542
FoVeOOS 2011 (conference/pc co-chair) --- pre-proceedings in Karlsruhe Reports in Informatics and post-proceedings in LNCS 7421
FoVeOOS 2010 (pc member)
CS2Bio 2010 @ DisCoTec (pc member)
ECOOP 2009 (workshops co-chair)
TYPES 2008 (co-organizer and program co-chair) --- post-proceedings in LNCS 5497
ICTCS 2007 (pc member) and CDR60 (organizer)
OOPS track at SAC 2007 (pc member)
OOPS track at SAC 2006 (pc member)
ITRS 2004 @ ICALP/LICS (pc member)
TYPES 2003 (co-organizer and program co-chair) --- post-proceedings in LNCS 3085