BEGIN:VCALENDAR VERSION:2.0 PRODID:-//sebbo.net//ical-generator//EN METHOD:REQUEST NAME:Ringvorlesung X-WR-CALNAME:Ringvorlesung BEGIN:VEVENT UID:c695278b-a328-4676-8805-9a81c28d38f5 SEQUENCE:0 DTSTAMP:20260520T194829Z 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:1a98da4b-beab-40fb-ab82-7cb51383c1f4 SEQUENCE:0 DTSTAMP:20260520T194829Z DTSTART;TZID=Europe/Berlin:20260521T160000 DTEND;TZID=Europe/Berlin:20260521T180000 SUMMARY:Ringvorlesung: Dr. Alexander Ulrich from Oracle DESCRIPTION:Dr. Alexander Ulrich from Oracle will give a talk in the elite program’s special lecture series. The title of the talk is “Eliminati ng the Data Tax: Server-Side Logic in Oracle Database” and it will take place in room 1055N at 4PM on 21 May 2026.\n\nAbstract:\n\nModern applicat ions often pay a hidden “data tax”: data is stored in one system\, pro cessed in another\, and repeatedly moved across network and process bounda ries. This adds latency\, complexity\, and operational cost. One way to re duce this tax is to move computation closer to the data.\n\nThis lecture e xplores how Oracle Database is evolving into an execution environment for data-centric applications. We will discuss the motivations\, trade-offs\, and systems challenges of running application logic directly inside the da tabase engine.\n\nThe first part focuses on server-side logic in modern la nguages\, including Oracle’s support for JavaScript and WebAssembly in t he database\, powered by GraalVM. The second part discusses lightweight is olation for such workloads\, focusing on GraalOS\, a userspace sandboxing project developed at Oracle that aims to combine strong multi-tenant isola tion with low overhead and fast startup.\n\nThe talk connects ideas from d atabase systems\, programming language runtimes\, operating systems\, and cloud infrastructure.\n\nBiography:\n\nAlexander Ulrich is a Director in O racle’s Database division\, where he leads research and development team s. He has been interested in database systems since his undergraduate stud ies and holds a PhD in Computer Science from the University of Tübingen.\ n\nMore info at https://elite-se.informatik.uni-augsburg.de/guest-lecture- by-dr-alexander-ulrich-from-oracle-21-05-2026/ URL;VALUE=URI:https://elite-se.informatik.uni-augsburg.de/guest-lecture-by -dr-alexander-ulrich-from-oracle-21-05-2026/ END:VEVENT BEGIN:VEVENT UID:a836578f-bd55-487d-a167-d0304c52b40f SEQUENCE:0 DTSTAMP:20260520T194829Z DTSTART;TZID=Europe/Berlin:20260507T160000 DTEND;TZID=Europe/Berlin:20260507T180000 SUMMARY:Ringvorlesung: Philip Schäfer from QPLIX DESCRIPTION:Philip Schäfer from QPLIX will give a talk in the elite progr am’s special lecture series. The title of the talk is “Putting Wealth Into Perspective – Understanding global wealth dynamics and opportunitie s in wealth management” and it will take place in room 1055N at 4PM on 0 7 May 2026.\n\nAbstract:\n\nWhat is wealth\, and how is it shaping the wor ld? This talk takes you on a journey through the global wealth game — wh o owns what\, how fortunes grow\, and what’s changing. We’ll explore h ow the wealthy invest their money and uncover the different types of playe rs managing money. What challenges do they face? What trends are reshaping the industry? Finally\, we’ll look at how technology is transforming we alth management\, with real-world examples from QPLIX. If you’re curious about finance\, business\, and the future of money\, this talk will give you a fresh perspective on the world of wealth.\n\nBiography:\n\nPhilip Sc häfer is Director Client Solutions at QPLIX a graduate of the elite progr am Software Engineering.\n\nMore info at https://elite-se.informatik.uni-a ugsburg.de/guest-lecture-by-philip-schafer-from-qplix-07-05-2026/ URL;VALUE=URI:https://elite-se.informatik.uni-augsburg.de/guest-lecture-by -philip-schafer-from-qplix-07-05-2026/ END:VEVENT BEGIN:VEVENT UID:43f2acbc-1823-4564-af41-e80416beb34a SEQUENCE:0 DTSTAMP:20260520T194829Z 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 END:VCALENDAR