informatik-vortraege Dezember 2018

informatik-vortraege@lists.rwth-aachen.de

6 Teilnehmer
6 Diskussionen

Einladung: Informatik-Oberseminar Benedikt Brütsch (20. Dez., 16:15 Uhr)

von Benedikt Brütsch

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Donnerstag, 20. Dezember 2018, 16:15 Uhr Ort: Raum 9222, Gebäude E3, Ahornstr. 55 Referent: Dipl.-Inform. Benedikt Brütsch Lehrstuhl Informatik 7 Thema: Strategies in Infinite Games: Structured Reactive Programs and Transducers over Infinite Alphabets Abstract: In this talk, we study the construction of winning strategies in games of the following kind: Two players take turns in choosing symbols from some fixed alphabet. They play forever, thus constructing an infinite sequence of symbols. The winning condition is a set L of such sequences: Player II wins if the constructed sequence is in the set L, otherwise Player I wins. These games can be viewed as a model of reactive systems, which maintain an ongoing interaction with their environment. We consider the so-called synthesis problem: Given a winning condition, determine whether Player II has a winning strategy, and construct such a strategy. First, we study the synthesis of winning strategies in the form of structured reactive programs (for omega-regular winning conditions). In particular, we show an exponential lower bound for the number of (Boolean) program variables that are required in the case of winning conditions specified in linear temporal logic (LTL), roughly matching the known upper bound. Second, we consider a more general form of the synthesis problem, where the alphabet is infinite. Specifically, we focus on the case where the symbols chosen by the players are natural numbers. To represent winning conditions, we define a model of automata over infinite alphabets such as the set N of natural numbers, namely N-memory automata. Analogously, we introduce N-memory transducers to represent strategies. We show that the synthesis problem is solvable in this setting: Given a winning condition defined by a deterministic N-memory automaton with a parity acceptance condition, we can determine which player has a winning strategy and construct such a strategy in the form of a deterministic N-memory transducer. Es laden ein: Die Dozenten der Informatik

5 Jahre, 4 Monate

Einladung: Informatik-Oberseminar Sarah Winter

von Sarah Winter

5 Jahre, 4 Monate

Vortrag, heute 16:15, AH I: Prof. Olivier Bonaventure (UC Louvain, BE) "Future Internet Protocols"

von Klaus Wehrle

Liebe Informatiker*innen, ein kurzer Reminder an den Vortrag heute Nachnmittag im Rahmen der Distinguished Lecture Series des SFB 1053 MAKI um 16:15h im AH I. viele Grüße klaus wehrle ************************************************************************ * * * Einladung * * * * Informatik-Kolloquium * * * ************************************************************************ When: Donnerstag, 13. Dezember 2018, 16.15 Uhr Where: AH I, Ahornstr. 55 Referent: Prof. Olivier Bonaventure UCLouvain Title: Future Internet protocols Abstract: For many years, there were few innovations in the core Internet protocols. This changed during the last years with Multipath TCP, IPv6 Segment Routing and protocols such as QUIC. This talk will discuss some of the recent changes to the core Internet protocols and discuss future challenges. Bio: Olivier Bonaventure is Professor at UCLouvain where he leads the IP Networking Lab (https://inl.info.ucl.ac.be). Most of his research focuses on improving Internet protocols. His PhD students participated to the design and implemented several Internet protocols including LISP, Multipath TCP or IPv6 Segment Routing. He wrote the open-source Computer Networking : Principles, Protocols and Practice ebook that is used by various universities and co-founded the Tessares startup that creates innovative solutions based on Multipath TCP.

5 Jahre, 4 Monate

Guest Talk: Dr. Marc Körner (ICSI, UC Berkeley) "Open Carrier Interfaces as an Enabler for Edge-Supported Services" (Dec 14, 10:00 - 10:45)

von Jens Hiller

************************************************************************ * * * Einladung * * * * Informatik-Kolloquium * * * ************************************************************************ When: Freitag, 14. Dezember 2018, 10.00 Uhr Where: COMSYS Seminar Room (Room 9007), Building E3, Ahornstr. 55 Referent: Dr. Marc Körner International Computer Science Institute (ICSI) and UC Berkeley Netsys Lab group Title: Open Carrier Interfaces as an Enabler for Edge-Supported Services Abstract: Edge computing is an increasingly important theme for carriers and application developers. This talk will outline how a merging of serverless computing and an open-carrier interface can facilitate the growth of edge-supported services. In this model, carriers open up their edge facilities to third-party application providers (hereafter called tenants) by offering the ability to deploy network edge processing on-demand without operator intervention. There are two keys to this Open Carrier Interface (OCI) model. First, the relevant edge processing is only invoked when clients associated with that tenant attach at an edge. Thus, much like serverless computing, the cost of OCI is proportional to the usage, greatly reducing the barriers to deploying new global services. Second, the carrier interface allows the tenant to specify an overall application interaction pattern, which controls where their clients traffic should be directed and provides edge-based lookup and redirection services. The combination of these two features provides a fully-automated and cost-effective way for third-parties to deploy new global services that are enhanced by edge support. Bio: Marc Körner is Postdoctoral Researcher currently working on a DAAD research fellowship at the UC Berkeley Netsys Lab group, the International Computer Science Institute (ICSI), and the EIT Digital Silicon Vally hub. He received a Dr.-Ing. degree from the faculty of EECS at TU Berlin in 2015 for his dissertation on Software Defined Networking based Data Center Services. His research focus is in scope of network technologies and SDN/NFV based data center solutions.

5 Jahre, 4 Monate

Einladung Informatik-Oberseminar, Ph.D. Exam Public Presentation

von Dan Matheson

5 Jahre, 4 Monate

SFB MAKI Distinguished Lecture: Prof. Olivier Bonaventure (UCLouvain) "Future Internet protocols" (Dez 13, 16:15 - 17:30)

von Oliver Hohlfeld

************************************************************************ * * * Einladung * * * * Informatik-Kolloquium * * * ************************************************************************ When: Donnerstag, 13. Dezember 2018, 16.15 Uhr Where: AH I, Ahornstr. 55 Referent: Prof. Olivier Bonaventure UCLouvain Title: Future Internet protocols Abstract: For many years, there were few innovations in the core Internet protocols. This changed during the last years with Multipath TCP, IPv6 Segment Routing and protocols such as QUIC. This talk will discuss some of the recent changes to the core Internet protocols and discuss future challenges. Bio: Olivier Bonaventure is Professor at UCLouvain where he leads the IP Networking Lab (https://inl.info.ucl.ac.be). Most of his research focuses on improving Internet protocols. His PhD students participated to the design and implemented several Internet protocols including LISP, Multipath TCP or IPv6 Segment Routing. He wrote the open-source Computer Networking : Principles, Protocols and Practice ebook that is used by various universities and co-founded the Tessares startup that creates innovative solutions based on Multipath TCP.

5 Jahre, 4 Monate

2024

2023

2022

2021

2020

2019

2018

informatik-vortraege Dezember 2018