Write a Blog >>
Sun 19 Jan 2020 09:30 - 10:00 at Maurepas - Introduction and Invited Talks Chair(s): Robert Rand

Sun 19 Jan

Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00
Introduction and Invited TalksPLanQC at Maurepas
Chair(s): Robert Rand University of Maryland
09:00
30m
Talk
Invited Talk: Quantum Computing for Programming Languages Researchers
PLanQC
I: Jennifer Paykin Galois, Inc.
Media Attached File Attached
09:30
30m
Talk
Invited Talk: Dependently Typed Quantum Programming in Proto-Quipper
PLanQC
I: Peter Selinger Dalhousie University
Media Attached