In this thread all special talks in our CogSys colloq will be announced
MA Verteidigung Daniel Gramelt: Explanatory interactive machine learning for welding seam quality assessment (MA AI, in cooperation with Porsche digital)
Zeit: 15.04.2024 - 12:00 - 13:00
Ort: WE5/05.013 und Teams
Information to participate via Teams:
Microsoft Teams Benötigen Sie Hilfe?
https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZDNhMWIxOGQtNGM1Zi00M2YwLThhMDctNmVkYzYyYWE5NDc2%40thread.v2/0?context=%7b%22Tid%22%3a%224f18ddfc-c31f-4597-afda-fa5a760bf3cf%22%2c%22Oid%22%3a%224d7684e9-7cb5-4b10-b8b3-cae1a82ac504%22%7d
Besprechungs-ID: 384 493 620 804
Kennung: qwfKMu
Zeit: 15.04.2024 - 12:00 - 13:00
Ort: WE5/05.013 und Teams
Information to participate via Teams:
Microsoft Teams Benötigen Sie Hilfe?
https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZDNhMWIxOGQtNGM1Zi00M2YwLThhMDctNmVkYzYyYWE5NDc2%40thread.v2/0?context=%7b%22Tid%22%3a%224f18ddfc-c31f-4597-afda-fa5a760bf3cf%22%2c%22Oid%22%3a%224d7684e9-7cb5-4b10-b8b3-cae1a82ac504%22%7d
Besprechungs-ID: 384 493 620 804
Kennung: qwfKMu
Talk by David Cerna: Anti-unification: Introduction, Applications, and Recent Results
Time: 11.04.2024 - 17:00-18:00
Where: WE5/05.013 and Teams
Anti-unification is a method for symbolically generalizing formal expression. It was
introduced independently by Plotkin and Reynolds as an operation for inductive infer-
encing. Though conceptually simple, it is an effective tool for abstraction and templat-
ing. Since the seminal work, the number of applications has grown tremendously with
uses in program analysis, program repair, library compression, automated reasoning, and
beyond. With the growth of applications, there has been an effort to strengthen the the-
oretical foundations of the subject. In this talk, we introduce anti-unification, overview
the existing applications, and discuss recent theoretical results concerning equational and
high-order anti-unification.
TEAMS:
https://teams.microsoft.com/l/meetup-join/19%3ameeting_YWEwY2ZiNzYtOWIzMi00N2YwLTgwZTUtYmZiZTVlY2UzMDI4%40thread.v2/0?context=%7b%22Tid%22%3a%224f18ddfc-c31f-4597-afda-fa5a760bf3cf%22%2c%22Oid%22%3a%224d7684e9-7cb5-4b10-b8b3-cae1a82ac504%22%7d
Besprechungs-ID: 361 014 049 591
Kennung: 8TBetS
Time: 11.04.2024 - 17:00-18:00
Where: WE5/05.013 and Teams
Anti-unification is a method for symbolically generalizing formal expression. It was
introduced independently by Plotkin and Reynolds as an operation for inductive infer-
encing. Though conceptually simple, it is an effective tool for abstraction and templat-
ing. Since the seminal work, the number of applications has grown tremendously with
uses in program analysis, program repair, library compression, automated reasoning, and
beyond. With the growth of applications, there has been an effort to strengthen the the-
oretical foundations of the subject. In this talk, we introduce anti-unification, overview
the existing applications, and discuss recent theoretical results concerning equational and
high-order anti-unification.
TEAMS:
https://teams.microsoft.com/l/meetup-join/19%3ameeting_YWEwY2ZiNzYtOWIzMi00N2YwLTgwZTUtYmZiZTVlY2UzMDI4%40thread.v2/0?context=%7b%22Tid%22%3a%224f18ddfc-c31f-4597-afda-fa5a760bf3cf%22%2c%22Oid%22%3a%224d7684e9-7cb5-4b10-b8b3-cae1a82ac504%22%7d
Besprechungs-ID: 361 014 049 591
Kennung: 8TBetS
Presentation Slides:
Vortrag von:
Annabel Lindner (FAU), Doktorandin in der Informatik-Didaktik
Titel:
How to Deal with Transformative Topics in Computer Science Education: An Analysis Based on the Topic of Artificial Intelligence
Annabel Lindner (FAU), Doktorandin in der Informatik-Didaktik
Titel:
How to Deal with Transformative Topics in Computer Science Education: An Analysis Based on the Topic of Artificial Intelligence
Zeit: 19.06.2024 - 16:00 - 17:30
Ort: WE5/05.013 und Teams
Information to participate via Teams:
Ort: WE5/05.013 und Teams
Information to participate via Teams:
Meeting ID: 354 320 751 078
Passcode: CmdZ5p