Sixth Meetup: Time Depends On No Type
This is a past event
13 people went
Boltmade
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.
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/)!
