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
Social Event
Post Town Hall Reception
Gary T. Leavens University of Central Florida