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
(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
(Microsoft Research, UK)
proc time: 0.81