Veranstaltungen
Channels
Alles
Eigene
Abonnierte
Es gibt noch keine Channels.
Alle Medien
-
![thumbnail of medium ICALP 2023 - Keynote talk - Rasmus Kyng]()
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and More
Thomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network Controllers
Thomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm
Kurt Mehlhorn / 50 Years of ICALP, Personal Reminiscences / Abstract: ICALP had a decisive influence on the development of Theoretical Computer Science in Europe and also on my career. I had my first ICALP paper at ICALP 74 in Saarbruecken and I presented it a few days after joining Saarland University.
Thomas
Thissen
-
31:32 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Opening Address]()
ICALP 2023 - 50th ICALP Anniversary Session - Opening Address
Opening Speech for the 50th ICALP Anniversary Session / Speaker: Burkhard Monien
Thomas
Thissen
-
06:19 duration
-
0 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Keynote talk - Anna Karlin]()
ICALP 2023 - Keynote talk - Anna Karlin
Session Chair: Artur Czumaj / Anna Karlin / Improved Approximation Algorithm for the Metric Traveling Salesperson Problem / due to technical problems with the recording the video is unfortunately without sound
Thomas
Thissen
-
52:05 duration
-
7 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
-
1 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Best Student Paper - Track B]()
ICALP 2023 - Best Student Paper - Track B
The Identity Problem in ZZ is decidable / Ruiwen Dong / Speaker: Ruiwen Dong
Thomas
Thissen
-
23:35 duration
-
0 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Best Student paper - Track A]()
ICALP 2023 - Best Student paper - Track A
Minimum Chain Cover in Almost Linear Time / Manuel Cáceres / Speaker: Manuel Cáceres
Thomas
Thissen
-
20:47 duration
-
1 views
-
0 Kommentare
-
0 likes
-
Alles
-
![thumbnail of medium ICALP 2023 - Keynote talk - Rasmus Kyng]()
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and More
Thomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network Controllers
Thomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm
Kurt Mehlhorn / 50 Years of ICALP, Personal Reminiscences / Abstract: ICALP had a decisive influence on the development of Theoretical Computer Science in Europe and also on my career. I had my first ICALP paper at ICALP 74 in Saarbruecken and I presented it a few days after joining Saarland University.
Thomas
Thissen
-
31:32 duration
-
7 views
-
0 Kommentare
-
0 likes
-
Featured
Es gibt noch keine Medien.
Beliebtheit
-
![thumbnail of medium Fakultät EIM - Absolventenfeier @ home 2020]()
Fakultät EIM - Absolventenfeier @ home 2020
Die Fakultät für Elektrotechnik, Informatik und Mathematik freut sich, Ihren Absolvent*innen mit diesem Film die Möglichkeit einer kleinen online-Absolventenfeier bieten zu können. Neben der festlichen Verabschiedung durch Präsidentin Prof. Dr. Birgitt Riegraf, Dekan Prof. Dr. Peter Schreier und Studiendekan Prof. Dr. Wolfram Meyerhöfer stellen wir Ihnen die Preisträger des Jahrgangs...
Thomas
Thissen
-
24:32 duration
-
872 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium Begrüßung Onlinekonferenz Institutspartnerschaft "Pader-Ege-Bosporus"]()
Begrüßung Onlinekonferenz Institutspartnerschaft "Pader-Ege-Bosporus"
Winterschule 2. und 9. Dezember 2020
Michael
Hofmann
-
09:04 duration
-
856 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium Präsentation Hofmann]()
Präsentation Hofmann
Präsentation Hofmann
Swen
Schulte Eickholt
-
44:29 duration
-
826 views
-
0 Kommentare
-
0 likes
-
Bewertung
-
![thumbnail of medium ICALP 2023 - Keynote talk - Rasmus Kyng]()
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and More
Thomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network Controllers
Thomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm
Kurt Mehlhorn / 50 Years of ICALP, Personal Reminiscences / Abstract: ICALP had a decisive influence on the development of Theoretical Computer Science in Europe and also on my career. I had my first ICALP paper at ICALP 74 in Saarbruecken and I presented it a few days after joining Saarland University.
Thomas
Thissen
-
31:32 duration
-
7 views
-
0 Kommentare
-
0 likes
-
Kommentare
-
![thumbnail of medium ICALP 2023 - Keynote talk - Rasmus Kyng]()
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and More
Thomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network Controllers
Thomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm
Kurt Mehlhorn / 50 Years of ICALP, Personal Reminiscences / Abstract: ICALP had a decisive influence on the development of Theoretical Computer Science in Europe and also on my career. I had my first ICALP paper at ICALP 74 in Saarbruecken and I presented it a few days after joining Saarland University.
Thomas
Thissen
-
31:32 duration
-
7 views
-
0 Kommentare
-
0 likes
-