Sixth Meetup: Time Depends On No Type

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/)!