Sixth Meetup: Time Depends On No Type

This is a past event

13 people went


187 King Street South · Waterloo, ON

How to find us

Come up the elevator up to the 2nd floor above Bauer Kitchen. Turn left through the door and down the hallway. We're at the end of the hallway in the left nook - Boltmade North.

Location image of event venue


On Tuesday January 20th we invite you to put down your excluded middles (, pick up your light cones (, 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 ( 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 (

• 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 (!