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

Post Town Hall Reception

ESEC/FSE 2018 Social
Tue 6 Nov 2018 18:45 - 20:00 at Horizons 1-4F - Post Town Hall Reception

A chance to meet and talk with other attendees.

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.

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

18:45 - 20:00
Post Town Hall ReceptionSocial at Horizons 1-4F
18:45
75m
Social Event
Post Town Hall Reception
Social
Gary T. Leavens University of Central Florida
Gary T. Leavens

Gary T. Leavens

University of Central Florida