December 2018 - informatik-vortraege

Einladung: Informatik-Oberseminar Benedikt Brütsch (20. Dez., 16:15 Uhr)
by Benedikt Brütsch 13 Dec '18

13 Dec '18

+********************************************************************** * * * 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

1 0

Einladung: Informatik-Oberseminar Sarah Winter
by Sarah Winter 13 Dec '18

13 Dec '18

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Mittwoch, 19. Dezember 2018, 10:00 Uhr Ort: Gebäude E3, Seminarraum 9222, Ahornstr. 55 Referentin: Sarah Winter, M.Sc. Informatik 7 Thema: Synthesis of Transducers from Relations on Finite Words and Trees Abstract: The synthesis problem asks, given a specification that relates possible inputs to allowed outputs, whether there is a program realizing the specification, and if so, construct one. Such a program is referred to as an implementation of the specification. The field of automata theory offers a rich landscape of models for defining specifications and implementations over both words and trees. We consider synthesis of sequential transducers from automaton-definable specifications on finite words and trees. In this talk, concerning specifications over words, we discuss synthesis of sequential word transducers from rational relations in which the allowed input/output behavior is specified by a given set of synchronizations. Concerning specifications over trees, we focus on synthesis of deterministic top-down tree transducers from tree-automatic specifications. Es laden ein: Die Dozenten der Informatik

1 0

Vortrag, heute 16:15, AH I: Prof. Olivier Bonaventure (UC Louvain, BE) "Future Internet Protocols"
by Klaus Wehrle 13 Dec '18

13 Dec '18

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.

1 0

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)
by Jens Hiller 11 Dec '18

11 Dec '18

************************************************************************ * * * 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.

1 0

Einladung Informatik-Oberseminar, Ph.D. Exam Public Presentation
by Dan Matheson 08 Dec '18

08 Dec '18

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Freitag, 18. Januar 2019, 13.00 Uhr Ort: Raum 9222, Gebäude E 3, Ahornstr. 55 Referent: Dan Matheson, MSCS Lehrstuhl Informatik 3 Thema: SAMEM: A Methodology for the Elicitation and Specification of Requirements for Agile Model-driven Engineering of Large Software Solutions Abstract: In this talk, we present an overview of SAMEM (Software Agile Modeling and Engineering Methodology). The SAMEM focuses on Agile and Model-driven Development (MDD) techniques in the early stages of the product development process, primarily requirements specification. Adaptations and differences in applying Agile and MDD for requirements versus code developed are highlighted. The SAMEM approach has been applied in over 18 industry projects with two different development teams and customers. The SAMEM provides guidance through the abstraction hierarchy from initial ideas to deployment while ensuring engineering due diligence and enabling innovation. Es laden ein: Die Dozenten der Informatik

1 0

SFB MAKI Distinguished Lecture: Prof. Olivier Bonaventure (UCLouvain) "Future Internet protocols" (Dez 13, 16:15 - 17:30)
by Oliver Hohlfeld 06 Dec '18

06 Dec '18

************************************************************************ * * * 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.

1 0