Powered by
Conference Publishing Consulting

2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), August 18–26, 2013, Saint Petersburg, Russia

ESEC/FSE 2013 – Proceedings

Contents - Abstracts - Authors

Keynotes

A Logical Revolution (Keynote)
Moshe Y. Vardi ORCID logo
(Rice University, USA)
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli
(University of l'Aquila, Italy)
Software Engineering for Mathematics (Keynote)
Georges Gonthier ORCID logo
(Microsoft Research, UK)

proc time: 0.81