Mon 13 Jun 2022 16:10 - 16:40 at Cockatoo - Monday Evening

Mon 13 Jun

Displayed time zone: Pacific Time (US & Canada) change

15:30 - 17:00
Monday EveningCommute at Cockatoo
15:30
30m
Talk
Commutativity Reasoning in the Civl Verifier
Commute
Shaz Qadeer Novi, USA
16:00
10m
Live Q&A
Discussion
Commute

16:10
30m
Talk
Commutativity in quantum computing
Commute
Jens Palsberg University of California, Los Angeles (UCLA)
16:40
10m
Live Q&A
Discussion
Commute

16:50
5m
Talk
Lightning-2
Commute