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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

18:45 - 20:00: Post Town Hall ReceptionSocial at Horizons 1-4F
18:45 - 20:00
Social Event
Post Town Hall Reception
Gary LeavensUniversity of Central Florida