Upcoming events

Formal Synthesis for Robots

Hadas Kress-Gazit Cornell University
25 May 2020, 4:00 pm - 5:00 pm
Kaiserslautern building G26, room online
SWS Distinguished Lecture Series
In this talk I will describe how formal methods such as synthesis – automatically creating a system from a formal specification – can be leveraged to design robots, explain and provide guarantees for their behavior, and even identify skills they might be missing. I will discuss the benefits and challenges of synthesis techniques and will give examples of different robotic systems including modular robots, swarms and robots interacting with people.

The (In)Security of Modern Communication: From Guesses to Guarantees

Cas Cremers CISPA
03 Jun 2020, 12:15 pm - 1:15 pm
Saarbrücken building E1 5, room 002
Joint Lecture Series
-

Internet Measurements: Evaluating Deployment and Security Practices

Oliver Gasser MPI-INF - D3
01 Jul 2020, 12:15 pm - 1:15 pm
Saarbrücken building E1 3, room HS 2
Joint Lecture Series
-