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: (GMT-06:00) Saskatchewan, Central America change

planqc-2020-papers
09:00 - 10:00: PLanQC - Introduction and Invited Talks at Maurepas
Chair(s): Robert RandUniversity of Maryland
planqc-2020-papers09:00 - 09:30
Talk
Jennifer PaykinGalois, Inc.
Media Attached File Attached
planqc-2020-papers09:30 - 10:00
Talk
Peter SelingerDalhousie University
Media Attached