Name: HoTT Reading Kickoff
Start: 2019-02-15T19:00:00-05:00
End: 2019-02-15T20:00:00-05:00
Location: 92 3rd St.

Hi Everyone!

We're going to kickoff the meetup with an initial meetup to discuss details and identity a schedule for the group. No reading is required, but it would be good to guage what we would like to get out of the book, and how far we'd like to go.

This meeting will be hosted at the Kadena Office, who have been kind enough to let us use the space as a backup when classrooms are not available.

http://kadena.io for more info

Emily Pillmore

NYC HoTT Group

Technology

Functional Programming

Category Theory

Type Systems

Formal Methods

Type Theory

Functors and Monads

Proof Assistants

Automated Reasoning

Dependently Typed Programming

HoTT Reading Kickoff

92 3rd St.

Share

NYC HoTT Group

HoTT Reading Kickoff

NYC HoTT Group

Details

Members are also interested in