Infer 2024
Mon 24 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 24 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
Session 1Infer 2024 at Helsinki
09:15
5m
Talk
Welcome
Infer 2024
09:20
45m
Talk
State of the Infer Platform
Infer 2024

Tue 25 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
Session 2PODELSKI at Helsinki
10:40
33m
Talk
Session Types for People who Love Automata
PODELSKI
Thomas Wies New York University
11:13
33m
Talk
Concurrent ∀∃-Hyperproperties
PODELSKI
Ernst-Rüdiger Olderog University of Oldenburg
11:46
33m
Talk
Optimal Quantum Programs
PODELSKI
Jens Palsberg University of California, Los Angeles (UCLA)
16:00 - 17:40
Session 4PODELSKI at Helsinki
16:00
33m
Talk
Reasoning About Hilbert’s Choice Operator in SMT
PODELSKI
Byron Cook Amazon
16:33
33m
Talk
Living inside a Theorem Proving Universe
PODELSKI
Natarajan Shankar SRI International, USA
17:06
33m
Day closing
Closing Remarks
PODELSKI
Andreas Podelski University of Freiburg

Mon 24 Jun

Displayed time zone: Windhoek change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Helsinki

Tue 25 Jun

Displayed time zone: Windhoek change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Helsinki