Davide Ancona
National project T-LADIES (PRIN 2020TL3X8X, coordinator of the Genova unit)
Main links
Curriculum
Papers
Runtime Monitoring Language (RML)
Conference and Workshop Organization
Secure and Reliable Systems
PhD program in Computer Science and Systems Engineering
Projects
Software
Master (LM) thesis proposals
Didattica
EasyRoom
Timetable
U-GOV
U-WEB
IRIS
AulaWeb DIBRIS
CCS
Useful Unige links
Activities and events
![](/gif/buttocr.gif)
![](/gif/new.gif)
PC member of
Runtime Verification 2024
![](/gif/buttocr.gif)
![](/gif/new.gif)
Co-chair of
VORTEX 2024 - International Workshop on Verification and Monitoring at Runtime Execution
![](/gif/buttocr.gif)
![](/gif/new.gif)
I am pleased to announce that the
JOT special issue on
VORTEX 2022 is now available.
![](/gif/buttocr.gif)
![](/gif/new.gif)
PC member of
<Programming> 2025 the 9th International Conference on the Art, Science, and Engineering of Programming
![](/gif/buttocr.gif)
![](/gif/new.gif)
President of the Executive Board of
AITO (Association Internationale
pour les Technologies Objets)
![](/gif/buttocr.gif)
![](/gif/new.gif)
PC member of
ICTAC 2024 (21st International Colloquium on Theoretical Aspects of Computing)
![](/gif/buttocr.gif)
PC member of
ENASE 2024 (19th International Conference on Evaluation of Novel Approaches to Software Engineering)
![](/gif/buttocr.gif)
PC member of
Dynamic Languages Symposium 2023
![](/gif/buttocr.gif)
Co-chair of
VORTEX 2023 - International Workshop on Verification and Monitoring at Runtime Execution
![](/gif/buttocr.gif)
Co-chair of
VORTEX 2022 - International Workshop on Verification and mOnitoring at Runtime EXecution
![](/gif/buttocr.gif)
Review Committee member of
The Art, Science, and Engineering of Programming, Volume 7
![](/gif/buttocr.gif)
PC member of
FLOPS 2022 - the 16th International Symposium on Functional and Logic Programming
![](/gif/buttocr.gif)
Co-chair of
VORTEX 2021 - International Workshop on Verification and mOnitoring at Runtime EXecution; see the
JOT special issue
![](/gif/buttocr.gif)
Committee member for Most Influential Paper from
AOSD 2011
![](/gif/buttocr.gif)
Review Committee member of
OOPSLA 2021
![](/gif/buttocr.gif)
PC member of
ECOOP 2020, the 34th European Conference on Object-Oriented Programming
![](/gif/buttocr.gif)
Member of the committee for the
Most Notable Paper Award 2019 for 2009, Dynamic Languages Symposium (DLS 2009)
![](/gif/buttocr.gif)
Co-chair of
VORTEX at ECOOP 2019 the 3rd workshop on Verification of Objects at Runtime Execution
![](/gif/buttocr.gif)
PhD thesis opponent:
Mauricio Chimento, Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs, Chalmers University of Technology and Gothenburg University
![](/gif/buttocr.gif)
PC member of
IJCAI 2019, the 28th International Joint Conference on Artificial Intelligence
![](/gif/buttocr.gif)
Member of the committee for the
Most Notable Paper Award 2018 for 2008, Dynamic Languages Symposium (DLS 2008)
Italian scientific qualification as full professor (August 2018)
![](/gif/buttocr.gif)
Track co-chair of
NGPS 2019 (Next Generation Programming Paradigms and Systems)
at
General chair of <Programming> 2019 the 3rd International Conference on the Art, Science, and Engineering of Programming
![](/gif/buttocr.gif)
Chair of the
ECOOP 2018 Test of Time Award committee
![](/gif/buttocr.gif)
Co-chair of
VORTEX at ECOOP 2018 the 2nd workshop on runtime verification for object-oriented languages, and systems
![](/gif/buttocr.gif)
Track chair of
OOPPS 2018 (Object-Oriented and Parallel Programming Languages and Systems)
at
SAC 2018
![](/gif/buttocr.gif)
PC member of
<Programming> 2018, the second edition of the International Conference on the Art, Science, and Engineering of Programming
![](/gif/buttocr.gif)
Member of the External Review Committee for
SPLASH 2017 OOPSLA
![](/gif/buttocr.gif)
Program chair of
Dynamic Languages Symposium 2017 (DLS 2017)
![](/gif/buttocr.gif)
Invited speaker at the
Workshop on Coalgebra, Horn Clause Logic Programming and Types Edinburgh, UK, 28 - 29 November 2016
![](/gif/buttocr.gif)
Track chair of
OOPS 2017 (Object-Oriented Programming Languages and Systems)
at
SAC 2017
![](/gif/buttocr.gif)
Co-organizer of
VORTEX 2016, the first workshop on runtime verification
for object-oriented languages, and systems
![](/gif/buttocr.gif)
Member of the Program Committee of
FTfJP 2016
![](/gif/buttocr.gif)
Member of the External Review Committee for
SPLASH 2016 OOPSLA
![](/gif/buttocr.gif)
Member of the Program Committee for
TASE 2016
![](/gif/buttocr.gif)
Track chair of
OOPS 2016 (Object-Oriented Programming Languages and Systems)
at
SAC 2016
![](/gif/buttocr.gif)
Invited to the
NII Shonan Meeting su "Semantics and Verification of Object-Oriented Languages"
September 21-25, 2015<
![](/gif/buttocr.gif)
PC member of
ICTCS 2015, 16th Italian Conference on Theoretical Computer Science
![](/gif/buttocr.gif)
Co-chair of
CILC 2015, 30th Italian Conference on Computational Logic
Genoa, July 1st-3rd 2015
![](/gif/buttocr.gif)
Track chair of
OOPS 2015 (Object-Oriented Programming Languages and Systems)
at
SAC 2015
![](/gif/buttocr.gif)
Invited to the workshop
Reliability of Concurrent and Distributed Software, May 6-9, 2014, Lorentz Center, Leiden, The Netherlands
![](/gif/buttocr.gif)
Member of the External Reviewing Committee of
POPL 2015 (42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
![](/gif/buttocr.gif)
PC member of
CMCS '14 (12th International Workshop on Coalgebraic Methods in Computer Science)
![](/gif/buttocr.gif)
Invited to
NII Shonan Meeting: Coinduction for computation structures and programming languages Shonan Village Center, Japan, October 6-10, 2013
![](/gif/buttocr.gif)
PC member of
ECOOP 2014 (European Conference on Object-Oriented Programming)
![](/gif/buttocr.gif)
Track chair of
OOPS 2014 (Object-Oriented Programming Languages and Systems)
at
SAC 2014
![](/gif/buttocr.gif)
PC member of
DLS
2013 (Dynamic Languages Symposium 2013, colocated with SPLASH/OOPSLA)
![](/gif/buttocr.gif)
PC member of
ECOOP 2013 (European Conference on Object-Oriented Programming)
![](/gif/buttocr.gif)
Track chair of
OOPS 2013 (Object-Oriented Programming Languages and Systems)
at
SAC 2013
![](/gif/buttocr.gif)
PC member of the
6th Workshop on Reachability Problems (RP'12)
![](/gif/buttocr.gif)
Track co-chair of
OOPS 2012 (Object-Oriented Programming Languages and Systems)
at
SAC 2012
![](/gif/buttocr.gif)
PC member of the
5th Workshop on Reachability Problems (RP'11)
![](/gif/buttocr.gif)
Track co-chair of
OOPS 2011 (Object-Oriented Programming Languages and Systems)
at
SAC 2011
![](/gif/buttocr.gif)
PC member of
FOOL
2010 (International Workshop on Foundations of Object-Oriented Languages 2010, colocated with SPLASH/OOPSLA)
![](/gif/buttocr.gif)
PC member of
DLS
2010 (Dynamic Languages Symposium 2010, colocated with SPLASH/OOPSLA)
![](/gif/buttocr.gif)
Organizing chair of
ECOOP 2009 (23rd European
Conference on Object-Oriented Programming)
![](/gif/buttocr.gif)
Track co-chair of
OOPS 2010 (Object-Oriented Programming Languages and Systems)
at
SAC 2010
![](/gif/buttocr.gif)
PC member of
DLS
2009 (Dynamic Languages Symposium 2009, colocated with OOPSLA)
![](/gif/buttocr.gif)
Track co-chair of
OOPS 2009 (Object-Oriented Programming Languages and Systems)
at
SAC 2009
![](/gif/buttocr.gif)
PC member of
IEEE IRI 2008
(The 2008 IEEE International Conference on Information Reuse and
Integration)
![](/gif/buttocr.gif)
PC member of
Bytecode
2008 (satellite workshop of
ETAPS 2008)
![](/gif/buttocr.gif)
PC
member of
ESOP
2008 (17th European Symposium on Programming) at
ETAPS 2008
Please send suggestions and comments to:
Davide Ancona davide.ancona@unige.it
Last Updated: July 2024