ESEC/FSE 2018
Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States
ESEC/FSE 2018 (series) / Social /

Closing Plenary (closing ceremony)

ESEC/FSE 2018 Social
Thu 8 Nov 2018 17:15 - 17:45 at Horizons 6-9F - Closing Plenary (closing ceremony)

Closing the conference and a preview of future ESEC/FSE conferences.

The long term goal of my research is to better understand how to solve programming problems: how to specify such problems, methods for thinking about such problems, notations for expressing solutions, and ways to check that the solutions are correct. In pursuing this goal, I have worked in two main areas: formal methods and programming languages. formal methods and programming languages.

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

17:15 - 17:45
Closing Plenary (closing ceremony)Social at Horizons 6-9F
17:15
30m
Social Event
Closing Plenary (closing ceremony)
Social
Gary T. Leavens University of Central Florida
Gary T. Leavens

Gary T. Leavens

University of Central Florida