50th EATCS International Colloquium on Automata, Languages and Programming,
ICALP 2023, July 10-14, 2023, Paderborn
ICALP 2023
-
19Videos
-
0Bilder
-
0Audios
-
0Dateien
Medien
-
![thumbnail of medium ICALP 2023 - Opening Address]()
ICALP 2023 - Opening Address
Speaker: Sevag Gharibian
Thomas
Thissen
-
13:07 duration
-
71 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Keynote talk - Thomas Vidick]()
ICALP 2023 - Keynote talk - Thomas Vidick
Quantum codes, local testability and interactive proofs: state of the art and open questions
Thomas
Thissen
-
01:04:23 duration
-
562 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Keynote talk - James Worrell]()
ICALP 2023 - Keynote talk - James Worrell
Session Chair: Kousha Etessami James Worrell - The Skolem Landscape
Thomas
Thissen
-
56:55 duration
-
69 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Keynote Talk - Rupak Majumdar]()
ICALP 2023 - Keynote Talk - Rupak Majumdar
Keynote talk / Rupak Majumdar / Context-Bounded Analysis of Concurrent Programs / Session Chair: Anca Muscholl
Thomas
Thissen
-
01:03:51 duration
-
105 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Award Ceremony]()
ICALP 2023 - Award Ceremony
Best Student Papers, Best Papers, EATCS Award, Alonzo Church Award, Presburger Award Session Chair: Artur Czumaj
Thomas
Thissen
-
25:45 duration
-
45 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - EATCS Award - Amos Fiat]()
ICALP 2023 - EATCS Award - Amos Fiat
EATCS Award 2023 talk Amos Fiat About Having Fun with Fantastic Colleagues & Some Open Problems
Thomas
Thissen
-
43:28 duration
-
42 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Alonzo Church Award]()
ICALP 2023 - Alonzo Church Award
Less is More: A Brief Retrospektive on Iris / Speakers: Ralf Jung, Robbert Krebbers, Derek Dreyer
Thomas
Thissen
-
43:31 duration
-
91 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Presburger Award - Part 1]()
ICALP 2023 - Presburger Award - Part 1
Decomposition of Directed Graphs / Speaker: Aaron Bernstein
Thomas
Thissen
-
20:12 duration
-
51 views
-
0 Kommentare
-
0 likes
-
