50th EATCS International Colloquium on Automata, Languages and Programming,
ICALP 2023, July 10-14, 2023, Paderborn
ICALP 2023
-
19Videos
-
0Bilder
-
0Audios
-
0Dateien
Medien
-
ICALP 2023 - Opening Address
Speaker: Sevag GharibianThomas
Thissen
-
13:07 duration
-
38 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Keynote talk - Thomas Vidick
Quantum codes, local testability and interactive proofs: state of the art and open questionsThomas
Thissen
-
01:04:23 duration
-
415 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Keynote talk - James Worrell
Session Chair: Kousha Etessami James Worrell - The Skolem LandscapeThomas
Thissen
-
56:55 duration
-
24 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Keynote Talk - Rupak Majumdar
Keynote talk / Rupak Majumdar / Context-Bounded Analysis of Concurrent Programs / Session Chair: Anca MuschollThomas
Thissen
-
01:03:51 duration
-
63 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Award Ceremony
Best Student Papers, Best Papers, EATCS Award, Alonzo Church Award, Presburger Award Session Chair: Artur CzumajThomas
Thissen
-
25:45 duration
-
25 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - EATCS Award - Amos Fiat
EATCS Award 2023 talk Amos Fiat About Having Fun with Fantastic Colleagues & Some Open ProblemsThomas
Thissen
-
43:28 duration
-
11 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Alonzo Church Award
Less is More: A Brief Retrospektive on Iris / Speakers: Ralf Jung, Robbert Krebbers, Derek DreyerThomas
Thissen
-
43:31 duration
-
39 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Presburger Award - Part 1
Decomposition of Directed Graphs / Speaker: Aaron BernsteinThomas
Thissen
-
20:12 duration
-
19 views
-
0 Kommentare
-
0 likes
-