Dear all,

this is a reminder for the next UnRAVeL survey lecture that takes place this Thursday, May 6 at 4:30pm. Christof Löding will talk about Learning Automata for Infinite Words. Following the talk, UnRAVeL PhD student Peter Lindner will give an informal summary of their doctoral studies within UnRAVeL.

Abstract
Learning techniques for deterministic finite automata (DFA) have been developed starting from the 1970ies. The two main settings are the construction of DFA from examples (finite sets of words that should be accepted or rejected by the DFA), and from queries to an oracle. These problems are already well understood for DFA, and various learning algorithms for these two settings exist.

Deterministic automata on infinite words define languages of infinite words, and are syntactically very similar to DFA. However, certain key properties of DFA that are used in learning algorithms do not hold for automata on infinite words. Therefore, only few results for learning automata over infinite words have been obtained up to now.

In this talk, I will illustrate these differences and report on ongoing joint work with Leon Bohn on algorithms for the construction of deterministic automata on infinite words from examples.

Further information can be found on https://www.unravel.rwth-aachen.de/go/id/mxjjj?lidx=1#aaaaaaaaaamxjqe and below.

The event takes place on Zoom:

https://rwth.zoom.us/j/96043715437?pwd=U0dRczkyQjRCY21abW13TDNmUHlhUT09
Meeting ID: 960 4371 5437
Passcode: 039217

Since the event is open also to master's students, who may not receive this email, we would kindly appreciate if you could pass this invitation on.

We are looking forward to seeing many of you at the survey lecture.

Best regards,
Tim Seppelt for the organisation committee


-------- Forwarded Message --------
Subject: UnRAVeL "Behind the Scenes" Survey Lecture
Date: Fri, 19 Mar 2021 10:43:09 +0100
From: Tim Seppelt <seppelt@cs.rwth-aachen.de>
To: assistenten@informatik.rwth-aachen.de, vortraege@informatik.rwth-aachen.de
CC: Andreas Klinger <klinger@itsec.rwth-aachen.de>, Birgit Willms <willms@informatik.rwth-aachen.de>, Dennis Fischer <fischer@algo.rwth-aachen.de>


Dear all,

part of the programme of the research training group UnRAVeL is a series of introductory lectures on the topics of „randomness“ and „uncertainty“ in UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is delivered by one of the researchers involved in UnRAVeL. The main aim is to provide doctoral researchers as well as master students a broad overview of the subjects of UnRAVeL.

This year, 12 UnRAVeL professors will answer the following questions, based on one of their recent scientific results:

Following these talks, PhD students will give an informal summary of their doctoral studies within UnRAVeL.

All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2021 and engage in discussions with researchers and doctoral students.

Details information can be found on https://www.unravel.rwth-aachen.de/cms/UnRAVeL/Studium/~pzix/Ringvorlesung-Veranstaltung/?lidx=1

All events take place on Thursdays from 16:30 to 18:00 on Zoom https://rwth.zoom.us/j/96043715437?pwd=U0dRczkyQjRCY21abW13TDNmUHlhUT09

We are looking forward to seeing you at the lectures.

Best regards,
Tim Seppelt for the organisation committee

https://www.unravel.rwth-aachen.de/global/show_picture.asp?id=aaaaaaaaaydoczx