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

Quantum Computing for Programming Languages Researchers

or: I sort of understand quantum computing, and so can you!

This talk will introduce the basics of quantum computing for a PL audience, providing an entryway for POPL attendees to participate in PLanQC. The talk will present quantum programming concepts (qubits, superposition, entanglement, measurement, unitary transformations) as a simple imperative language using a probabilistic operational semantics. No prior knowledge of quantum computing is expected.

Quantum for PL Researchers Slides (Quantum_for_PL_Researchers.pdf)1.54MiB

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