BEGIN:VCALENDAR VERSION:2.0 PRODID:-//sebbo.net//ical-generator//EN METHOD:REQUEST NAME:Ringvorlesung X-WR-CALNAME:Ringvorlesung BEGIN:VEVENT UID:b4119fbc-7b98-4dfb-b95f-9f277d318c98 SEQUENCE:0 DTSTAMP:20260403T212515Z DTSTART;TZID=Europe/Berlin:20250717T160000 DTEND;TZID=Europe/Berlin:20250717T180000 SUMMARY:Ringvorlesung: Simon Rehwald from itestra DESCRIPTION:Simon Rehwald from itestra will give a talk in the elite prog ram’s special lecture series. The title of the talk is “Agile Entwickl ung – Herausforderungen und Irrwege” and it will take place in room 10 55N at 4PM on 17 July 2025.\n\nAbstract:\n\nAgile Methoden wie SCRUM sind inzwischen Standard in der Softwareentwicklung bei vielen Unternehmen. Mit der breiten Anwendung kommt es allerdings auch zu Missinterpretationen: A nstelle der ursprünglichen Fokussierung auf die Produktion nutzbringender lauffähiger Software durch flexible Teams dominieren dann starre Prozess e\, Overhead durch kleinteilige Sprintplanung und Ziellosigkeit. Ein erfah rener Entwickler\, Projektleiter und Berater der itestra GmbH zeigt mit Pr axisbeispielen aus verschiedenen Unternehmen\, welche agilen Elemente wann Sinn machen\, welche Alternativen es gibt und worauf man achten sollte.\n \nMore info at https://elite-se.informatik.uni-augsburg.de/guest-lecture-b y-simon-rehwald-from-itestra-17-7-2025/ URL;VALUE=URI:https://elite-se.informatik.uni-augsburg.de/guest-lecture-by -simon-rehwald-from-itestra-17-7-2025/ END:VEVENT BEGIN:VEVENT UID:2d5b8671-825b-4206-961f-5e96f207add8 SEQUENCE:0 DTSTAMP:20260403T212515Z DTSTART;TZID=Europe/Berlin:20260122T160000 DTEND;TZID=Europe/Berlin:20260122T180000 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 22nd January 2026.\n\nAbstract:\n\n In the past two decades\, significant research and development effort went into the development of verification tools for individual languages\, suc h as C\, C++\, and Java. Many of the used verification approaches are in f act language-agnostic and it would be beneficial for the technology transf er to allow for using the implementations also for other programming and m odeling languages. To address the problem\, we propose SV-LIB\, an exchang e format and intermediate language for software-verification tasks\, inclu ding programs\, specifications\, and verification witnesses. SV-LIB is bas ed on well-known concepts from imperative programming languages and uses S MT-LIB to represent expressions and sorts used in the program. This makes it easy to parse and to build into existing infrastructure\, since many ve rification tools are based on SMT solvers already. Furthermore\, SV-LIB de fines a witness format for both correct and incorrect SV-LIB programs\, to gether with means for specifying witness-validation tasks. This makes it p ossible both to implement independent witness validators and to reuse some verifiers also as validators for witnesses. This talk presents version 1. 0 of the SV-LIB format\, including its design goals\, the syntax\, and inf ormal semantics. Formal semantics and further extensions to concurrency ar e planned for future versions.\n\nBiography:\n\nMarian Lingsch-Rosenfeld i s 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-augsb urg.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:fadec940-3a68-4120-a94b-2922c9971e72 SEQUENCE:0 DTSTAMP:20260403T212516Z 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:680dfa26-fd12-4529-b45f-9738adbf865d SEQUENCE:0 DTSTAMP:20260403T212516Z 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