BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//sebbo.net//ical-generator//EN
METHOD:REQUEST
NAME:Ringvorlesung
X-WR-CALNAME:Ringvorlesung
BEGIN:VEVENT
UID:16eb6cc2-ba83-4589-b83b-05bc500f211c
SEQUENCE:0
DTSTAMP:20260411T144059Z
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:d663f5ea-1d84-46c2-bfa4-e02641b503a1
SEQUENCE:0
DTSTAMP:20260411T144059Z
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:08a235dc-48ae-47ad-8f52-aa3b3eb8c1b5
SEQUENCE:0
DTSTAMP:20260411T144059Z
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
BEGIN:VEVENT
UID:0d05605f-bc06-4b45-aaab-89278adac14f
SEQUENCE:0
DTSTAMP:20260411T144059Z
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
END:VCALENDAR