Skip to content

Sixth Meetup: Time Depends On No Type

Photo of Aaron Levin
Hosted By
Aaron L. and Steven T.
Sixth Meetup: Time Depends On No Type

Details

On Tuesday January 20th we invite you to put down your excluded middles (http://en.wikipedia.org/wiki/Intuitionistic_logic), pick up your light cones (http://en.wikipedia.org/wiki/Light_cone), and join us at Boltmade for Intersections K∩W's first meetup of 2015!

For our sixth meetup, we are exciting to have Russell O'Connor (http://r6.ca/) talk about Dependent Type theory, an area rich with intersections between logic, mathematics, and programming. We will also feature our first joint talk by Christopher Vollick and Stephen Paul Weber as they take us on a journey through time. Or, rather, the Network Time Protocol (http://en.wikipedia.org/wiki/Network_Time_Protocol).

• Dependent Type Theory (Russell O'Connor).

• NTP (Christopher Vollick and Stephen Paul Weber)

As usual, to maintain a safe and positive environment, we adhere to this beautiful Code of Conduct (http://confcodeofconduct.com/)!

Photo of K∩W - Intersections KW group
K∩W - Intersections KW
See more events
Boltmade
187 King Street South · Waterloo, ON