BEGIN:VCALENDAR VERSION:2.0 PRODID:-//sebbo.net//ical-generator//EN METHOD:REQUEST NAME:Ringvorlesung X-WR-CALNAME:Ringvorlesung BEGIN:VEVENT UID:44fa8242-b3bc-41d4-ab1e-e8fe7029963e SEQUENCE:0 DTSTAMP:20260423T091609Z DTSTART;TZID=Europe/Berlin:20251030T160000 DTEND;TZID=Europe/Berlin:20251030T180000 SUMMARY:Ringvorlesung: Simon Rehwald from itestra DESCRIPTION:Simon Rehwald from itestra will give a talk in the elite progr am’s special lecture series. The title of the talk is “AI in der Softw are-Entwicklung und -Modernisierung” and it will take place in room 1055 N at 4PM on 30 October 2025.\n\nAbstract:\n\nAI Tools wie Copilot oder Cha tGPT verbreiten sich rasant und versprechen teilweise enorme Effizienzgewi nne. Begrenzter Kontext von LLMs\, Qualitätssicherung von AI-generiertem Code und die Einbettung in vorgegebene Architekturen stellen jedoch Heraus forderungen dar. Wie und ob der erwartete Nutzen in realen Projekten\, jen seits von Hype-Erwartungen und Werbeversprechen\, tatsächlich realisiert werden kann kristallisiert sich allmählich heraus.\n\nBiography:\n\nSimon Rehwald\, Lead Engineer bei der itestra GmbH und Experte im Bereich AI\, stellt Erfahrungen aus Projekten und Forschungskooperationen der itestra v or und zeigt u.a. wie ein LLM zur Transformation von Legacy-Code nach Pyth on in einem großen Kundenprojekt eingesetzt wird.\n\nMore info at https:/ /elite-se.informatik.uni-augsburg.de/guest-lecture-by-simon-rehwald-from-i testra-30-10-2025/ URL;VALUE=URI:https://elite-se.informatik.uni-augsburg.de/guest-lecture-by -simon-rehwald-from-itestra-30-10-2025/ END:VEVENT BEGIN:VEVENT UID:5c903ae1-90ac-49df-93d1-4f3c98e30b9f SEQUENCE:0 DTSTAMP:20260423T091609Z DTSTART;TZID=Europe/Berlin:20260423T160000 DTEND;TZID=Europe/Berlin:20260423T180000 SUMMARY:Ringvorlesung: Marian Lingsch-Rosenfeld from LMU DESCRIPTION:Marian Lingsch-Rosenfeld from LMU will give a talk in the elit e program’s special lecture series. The title of the talk is “SV-LIB 1 .0: A Standard Exchange Format for Software-Verification Tasks” and it w ill take place in room 1055N at 4PM on 23rd April 2026.\n\nAbstract:\n\nIn the past two decades\, significant research and development effort went i nto the development of verification tools for individual languages\, such as C\, C++\, and Java. Many of the used verification approaches are in fac t language-agnostic and it would be beneficial for the technology transfer to allow for using the implementations also for other programming and mod eling languages. To address the problem\, we propose SV-LIB\, an exchange format and intermediate language for software-verification tasks\, includi ng programs\, specifications\, and verification witnesses. SV-LIB is based on well-known concepts from imperative programming languages and uses SMT -LIB to represent expressions and sorts used in the program. This makes it easy to parse and to build into existing infrastructure\, since many veri fication tools are based on SMT solvers already. Furthermore\, SV-LIB defi nes a witness format for both correct and incorrect SV-LIB programs\, toge ther with means for specifying witness-validation tasks. This makes it pos sible both to implement independent witness validators and to reuse some v erifiers also as validators for witnesses. This talk presents version 1.0 of the SV-LIB format\, including its design goals\, the syntax\, and infor mal semantics. Formal semantics and further extensions to concurrency are planned for future versions.\n\nBiography:\n\nMarian Lingsch-Rosenfeld is a graduate of the elite program Software Engineering and does his Ph.D. at LMU’s SoSy-Lab.\n\nMore info at https://elite-se.informatik.uni-augsbur g.de/guest-lecture-by-marian-lingsch-rosenfeld-from-lmu-22-1-2026/ URL;VALUE=URI:https://elite-se.informatik.uni-augsburg.de/guest-lecture-by -marian-lingsch-rosenfeld-from-lmu-22-1-2026/ END:VEVENT BEGIN:VEVENT UID:daeacfe3-5cc0-47dc-b7d8-7ee7c24568ce SEQUENCE:0 DTSTAMP:20260423T091609Z DTSTART;TZID=Europe/Berlin:20260528T160000 DTEND;TZID=Europe/Berlin:20260528T180000 SUMMARY:Ringvorlesung: Franziska Kroneck und Dr. Andrea Nutsi from msg DESCRIPTION:Franziska Kroneck und Dr. Andrea Nutsi from msg will give a ta lk in the elite program’s special lecture series. The title of the talk is “User Research in Theorie und Praxis – Lehrbuch vs Realität” and it will take place in room 1055N at 4PM on 28th May 2026.\n\nAbstract:\n\ nUser Research ist ein zentraler Bestandteil nutzerzentrierter Produktentw icklung – verläuft in der Praxis jedoch selten so strukturiert wie im L ehrbuch. In diesem Gastvortrag geben Dr. Andrea Nutsi und Franziska Kronec k von der msg systems ag einen Einblick in Theorie\, Methoden und reale Pr ojektpraxis professioneller User Research.\n\nAnhand eines Praxisprojekts aus dem öffentlichen Sektor werden quantitative und qualitative Methoden vorgestellt\, kritisch reflektiert und in ihren Rahmenbedingungen eingeord net. Thematisiert werden typische Herausforderungen wie komplexe Stakehold er Strukturen\, Zeit und Budgetrestriktionen\, Datenschutzfragen sowie der Umgang mit Widerständen gegenüber ergebnisoffener Forschung. Ergänzend werden Chancen und Grenzen von KI im User Research diskutiert.\n\nDer Vor trag richtet sich an Studierende mit Interesse im Bereich User Experience und verbindet theoretische Grundlagen mit ehrlichen Einblicken in die Anwe ndung von User Research im Projektalltag.\n\nMore info at https://elite-se .informatik.uni-augsburg.de/guest-lecture-by-franziska-kroneck-und-dr-andr ea-nutsi-from-msg-28-05-2026/ URL;VALUE=URI:https://elite-se.informatik.uni-augsburg.de/guest-lecture-by -franziska-kroneck-und-dr-andrea-nutsi-from-msg-28-05-2026/ END:VEVENT BEGIN:VEVENT UID:ed0451fb-ef80-4d5e-9935-3190b85ad758 SEQUENCE:0 DTSTAMP:20260423T091609Z DTSTART;TZID=Europe/Berlin:20260129T160000 DTEND;TZID=Europe/Berlin:20260129T180000 SUMMARY:Ringvorlesung: Daniela Neupert from XITASO DESCRIPTION:Daniela Neupert from XITASO will give a talk in the elite prog ram’s special lecture series. The title of the talk is “The Importance of Agile in AI Projects” and it will take place in room 1055N at 4PM on 29th January 2026.\n\nAbstract:\n\nWe dive into why agile methods are cr ucial for AI projects where uncertainty and “unknown unknowns” dominat e the early stages of development. Iterative experimentation\, early valid ation\, and clear quality gates reduce risk and enable teams to focus on w hat truly creates value. Using a real industry case\, we take a look into how cross functional collaborate and agile\, evaluation driven workflows t urn ambitious AI ideas into practical\, scalable solutions.\n\nBiography:\ n\nDaniela Neupert is a graduate of the elite program Software Engineering .\n\nMore info at https://elite-se.informatik.uni-augsburg.de/guest-lectur e-by-daniela-neupert-from-xitaso-29-1-2026/ URL;VALUE=URI:https://elite-se.informatik.uni-augsburg.de/guest-lecture-by -daniela-neupert-from-xitaso-29-1-2026/ END:VEVENT END:VCALENDAR