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
Times are displayed in time zone: Saskatchewan, Central America change

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