Wie verortet sich der Mensch auf der Welt? In der Zeit, in der Google Maps noch nicht vorhanden war, dienten Karten dazu, sich im Rahmen realer oder imaginärer Reisen zu orientieren.

Das Seminar untersucht die Rolle und Bedeutung von Karten und Kartographie mit einem religions- und philosophiehistorischen Überblick und der Vertiefung einer ganz besonderen Weltkarte, die in der Philosophie, Religions- und Kartographie-Geschichte einen herausragenden Platz einnimmt: Fra Mauros mappa mundi wurde auf der Insel San Michele in Venedig um 1460 fertiggestellt und befindet sich heute in der Biblioteca Nazionale Marciana.

Weitere Informationen zum Thema und zum Seminar finden Sie hier:

https://www.evtheol.lmu.de/de/aktuelles/veranstaltungsuebersicht/veranstaltung/sich-in-der-welt-verorten.-religion-kosmologie-und-kartographie.html

Kaiser Sigismund von Luxemburg (1368–1437), Sohn Kaiser Karls IV., war der letzte Herrscher aus dem Haus Luxemburg und regierte nicht nur das Heilige Römische Reich, sondern auch Ungarn und Böhmen. Dies und seine Reisen, die ihn durch beinahe ganz Europa führten, verliehen seiner Herrschaft eine europäische Dimension, die wiederum zum Erfolg der von ihm mitinitiierten Konzilien von Konstanz und Basel beitrug. Anhand verschiedener Quellen und Forschungsdiskussionen untersucht das Seminar die einzelnen Aspekte seiner spätmittelalterlichen Herrschaft und den Umgang mit den diversen Herausforderungen seiner Zeit. Zentrale Bestandteile des Kurses sind zudem die Vermittlung grundlegender Kenntnisse und Fertigkeiten im Bereich der mittelalterlichen Geschichte sowie der wissenschaftlichen Propädeutik.

Der berühmte Schwur Berengar von Tours` „ich […] bekenne, dass […] der wahre Leib unseres Herrn Jesus Christus […] mit den Händen des Priesters berührt und gebrochen und mit den Zähnen der Gläubigen zerrieben“ wird (DH 690), stellt einen Höhepunkt der mittelalterlichen Eucharistiekontroversen dar und zeugt von einem naiven Realismus, der das symbolischen Verständnis des neuplatonischen Denkhorizont der Kirchenväter nicht mehr versteht. Die Scholastiker versuchen mit der Transsubstantiationslehre das Verständnis von eucharistischer Wandlung zu fassen. Doch auch dieses Modell kommt an seine Grenzen und seit dem 2. Vatikanischen Konzil wird versucht mit dem Begriff der „Realpräsenz“ das Mysterium der Eucharistie zu erläutern. 

Im Hintergrund zu allen Eucharistiedebatten seit der Antike steht die philosophische Frage nach dem Verhältnis von Wirklichkeit und Symbol und spiegeln somit die Themen der modernen Realismus-Antirealismus-Debatte wider.

Dieses Seminar betrachtet die historischen Eucharistiedebatten und stellt die Frage nach dem Verständnis und Verhältnis von Wirklichkeit und Symbol. Außerdem wird diskutiert inwiefern das Mysterium der Eucharistie bzw. der eucharistischen Wandlung und der Glaube an die Realpräsenz Christi rational durchdringbar ist.

Dieser Kurs dient als Plattform für Fragen und Anregungen rund um Ihr SKD-Studium am DaF-Institut der LMU-München. 

Er ist für alle Semester offen! Auch Dozenten und Dozentinnen können Zugang zu diesem Raum haben.

Bitte schreiben Sie sich entsprechend Ihres Studienganges mit dem passenden Schlüssel ein. 

1) Agrarwirtschaft: Agrar_SKD

2) Bautechnik: Bau_SKD

3) Elektro- und Informationstechnik: Elektro_SKD

4) Ernährungs- und Hauswirtschaftswissenschaft: EH_SKD

5) Gesundheits- und Pflegewissenschaft: GP_SKD

6) Metalltechnik: Metall_SKD

(LMU Wirtschaftspädagogik): Wipäd_SKD

Sie werden dann automatisch der Gruppe mit Ihrer Fachrichtung zugeordnet. 

Im Anschluss tragen Sie sich bitte noch selbst in die Gruppen TUM-Unterrichtsfach oder TUM-Erweiterungsfach ein. 

Dies dient statistischen Zwecken und einer genaueren Adressierung bei aufkommenden Fragen oder Problemen. In LSF wird leider nicht angezeigt, ob Sie SKD als Unterrichtsfach oder als Erweiterungsfach studieren. 

KI-Technologie durchläuft aktuell eine Phase rasanter Weiterentwicklung und Innovation, was uns dazu zwingt, unsere eigenen Fähigkeiten und Kompetenzen (skills) kritisch zu hinterfragen.  Insbesondere generative Modelle, die hoch-effizient Bilder, Texte oder Audios produzieren können, haben einen massiven Einfluss auf unsere Arbeit als Künstler:innen und Kunsthistoriker:innen. Um dieser Herausforderung sowie dem Potenzial von KI-Technologien für unsere Fachbereiche gerecht zu werden, wollen wir in der Übung das Thema “Skills” differenziert in den Blick nehmen: Aus unserer jeweiligen Perspektive fragen wir nach aktuell geforderten Skills und blicken dafür auch in die Geschichte der Kunst, deren dynamische Entwicklung im 20. und 21. Jahrhundert sich durch sog. Skill-Shifts erklären lässt. So äußert sich De-Skilling beispielsweise in der Herausforderung traditioneller Techniken und Fertigkeiten durch avantgardistische Bewegungen wie den Kubismus, Surrealismus oder Dada, die herkömmliche Vorstellungen von Kunst und Handwerk infrage stellten. Gleichzeitig führt Re-Skilling dazu, dass Künstler:innen neue Fähigkeiten entwickeln bzw. traditionelle Fähigkeiten neu kombinieren und innovative Techniken erforschen, um ihre künstlerische Vision umzusetzen. 

In der Übung diskutieren wir künstlerische Positionen, an denen diese Skill-Shifts besonders anschaulich werden. Ausgehend von historischen Kippmomenten, in denen geltende Skills überworfen, erweitert oder durch neue ersetzt wurden, werfen wir auch einen Blick auf die Kunstkritik- und Kuration, denn neue Verfahren erfordern häufig auch eine Anpassung im Schreiben über oder im Vermitteln von Kunst.

Daran anknüpfend findet an zwei Blockterminen ein Workshop statt, in dem wir das Schreiben über aktuelle Kunst in verschiedenen Textformaten erproben; Studierende der AdBK sind im Rahmen dessen eingeladen, eigene Werke zur kritischen Rezension durch die Gruppe vorzustellen. 

Leitung: Prof. Dr. Sophie Junge (LMU) & Dr. des. Sabine Weingartner (AdBK) 

Was bedeutet es, Theater auf Instagram, TikTok oder Facebook sichtbar zu machen? Theater stehen heute vor der Herausforderung, ihre künstlerische Arbeit über Social Media zu vermitteln – und dabei eigene narrative und visuelle Strategien für diese digitalen Räume zu entwickeln. Das Seminar vermittelt theoretische Grundlagen zu Öffentlichkeit, Plattformisierung und digitalen Kulturen ebenso wie praxisorientierte Zugänge zu Theaterkommunikation im Netz.

In einer gemeinsamen Werkstattphase entwickeln wir eigene Social-Media-Formate für Theater – von der Zielgruppenansprache bis zur Umsetzung. Begleitet wird die Praxisarbeit durch Inputs von Social-Media-Redakteur*innen und Theatermacher*innen, die Einblicke in ihre Arbeitsrealität geben.

Do., 14–15:30 Uhr s.t. (Ludwigstr. 28, RG 122)
Den Einschreibeschlüssel erhalten Sie von der Dozentin
Barbara Reilly

Do., 14:00–15:30 (Ludwig 28, Rgb 124)
Den Einschreibeschlüssel erhalten Sie ausschließlich von der Dozentin
Barbara Reilly

Registration Key: SWTestSS2025

Lecture
Tuesday 12pm-2pm, Prof.-Huber-Pl. 2 (W), LEHRTURM-W201
First lecture on April 29th, 2025
Exercise
Thusrday 2pm - 4pm, Main Building (i.e., Geschw.-Scholl-Pl. 1 (M)), M 014
First exercise on May 8th, 2025

This course covers advanced techniques for automatic software verification, especially those in the field of software model checking. It continues the Bachelor course Formal Verification and Specification (FSV). Knowledge from FSV is helpful but not mandatory. This course can be used for the specialization "Programming, Software Verification, and Logic" in the MSc computer science (cf. German site on specializations).

Topics

The course will cover the following topics:

1. Mathematical foundation for software verification
2. Configurable program analysis
3. Strongest postcondition
4. Predicate abstraction with a fixed precision
5. Craig interpolation and abstraction refinement (CEGAR)
6. Predicate abstraction with precision adjustment
7. Bounded model checking and k-induction
8. Observer automata
9. Verification witnesses
10. Test generation and symbolic execution
11. Cooperative verification
12. Project: implementing a software verifier (2 weeks)

Reference Materials

• Combining Model Checking and Data-Flow Analysis (Chapter 16 in the Handbook of Model Checking)
• A Unifying View on SMT-Based Software Verification

Organization

The course consists of weekly lectures and tutorials. Important announcements are sent via Moodle messages.

Time Slots and Rooms

• Lecture: 10:15 - 12:00, Wednesday, in M 101, HGB (by Dr. Thomas Lemberger)
• Tutorial: 14:15 - 15:45, Thursday, in D Z007, HGB (by Marek Jankola)

The first lecture session on 2025-05-07 will be about the detailed course organization and expectations. The first tutorial session will be on 2025-04-24.

Enrollment

Please enroll with the following key: wr$NUB#L9Zvl0&W37Ynx

Master Seminar: Software-Verification Algorithms and Tools

Regular Slot 

Tuesday, 14-16, starting from October 14th.

Prerequisites

You should be knowledgeable on the contents of 
the bachelor lectures "Formal Specification and Verification" 
and "Formal Languages and Complexity".

Additionally, there are Master lectures concerned with software verification.
In particular, the following lectures are very beneficial for the seminar:

• Software Verification
• Verification of Parallel Programs
• Software Testing

Description

As software becomes more critical, 
the consequences of bugs or failures become more severe. 
To build trust in software systems, 
we need strong tools and techniques to prove that programs behave correctly. 
This is where software verification comes in.

In this seminar, you will be introduced to key concepts and modern techniques used to formally check the (in)correctness of software. 
These approaches complement testing: 
they aim to automatically verify that programs meet their specifications, 
detect potential bugs, 
or prove that certain errors cannot occur under any circumstances.

This course is ideal for students who are curious about topics such as static analysis, model checking,
and how these concepts are used to automatically prove software systems correct regarding a given specification.
We will discuss the ideas of selected research papers in our weekly group sessions, 
and practice presenting scientific content in written and oral form.

Preliminary Selection of Topics (may be extended):

Each topic will be introduced through a research paper. You will pick (or be assigned) one of these topics and papers.

• A Unifying View on SMT-Based Software Verification (https://doi.org/10.1007/s10817-017-9432-6)
• Symbolic Execution with CEGAR (https://doi.org/10.1007/978-3-319-47166-2_14)
• Explicit-State Software Model Checking Based on CEGAR and Interpolation (https://doi.org/10.1007/978-3-642-37057-1_11)
• Software Model Checking for People Who Love Automata (https://doi.org/10.1007/978-3-642-39799-8_2)
• Software Verification Using k-Induction (https://10.1007/978-3-642-23702-7_26)
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis (https://doi.org/10.1007/978-3-540-73368-3_51)
• Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification (https://doi.org/10.1007/s10817-024-09702-9)
• A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification (https://doi.org/10.1145/3660797)
• Bounded Model Checking (https://doi.org/10.3233/FAIA201002)
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (https://doi.org/10.1145/512950.512973)
• Predicate Abstraction with adjustable-block encoding (https://doi.org/10.5555/1998496.1998532)
• Termination Analysis by Learning Terminating Programs (https://doi.org/10.1007/978-3-319-08867-9_53)

Expectations

• Write a seminar thesis about an assigned paper (approx. 6-8 pages incl. references), using the ACMART (two column) format.
• Give a 25-minute presentation explaining the paper's core ideas and methods, followed by a 5-minute Q&A session.

Das Praktikum SEP-Java besteht aus zwei Teilen: Der erste Teil ist ein Einzelpraktikum, der zweite Teil ein Teampraktikum. Das Einzelpraktikum besteht aus der Lösung mehrerer Programmieraufgaben, die alle Teilnehmer:innen selbstständig bearbeiten müssen. Jede Einzelaufgabe wird individuell bewertet und muss bestanden werden, um das Praktikum bestehen zu können. Das Teampraktikum besteht aus einem größeren Softwareprojekt, das in Teams von 5-6 Personen umgesetzt wird.

Ziel des Praktikums ist es, Programmierkenntnisse zu erlernen, die es Ihnen ermöglichen, produktiv und professionell zu programmieren. Sie lernen unter anderem, Werkzeuge zur Steigerung Ihrer Produktivität einzusetzen, z.B. Entwicklungsumgebungen, statische Analysen und Git.

Ab voraussichtlich 17. Juni finden statt der Plenartreffen wöchentliche Treffen in Ihrem jeweiligen Team statt. Diese Treffen sind verpflichtend.

Das Praktikum SEP-Java besteht aus zwei Teilen: Der erste Teil ist ein Einzelpraktikum, der zweite Teil ein Teampraktikum. Das Einzelpraktikum besteht aus der Lösung mehrerer Programmieraufgaben, die alle Teilnehmer:innen selbstständig bearbeiten müssen. Jede Einzelaufgabe wird individuell bewertet und muss bestanden werden, um zum Teampraktikum zugelassen zu werden. Das Teampraktikum besteht aus einem größeren Softwareprojekt, das in Teams von 5-6 Personen umgesetzt wird.

Ziel des Praktikums ist es, Programmierkenntnisse zu erlangen, die es Ihnen ermöglichen, produktiv und professionell zu programmieren. Sie müssen anwenden: Prinzipien der objektorientierten Programmierung, Design Patterns, Unit Testing, Netzwerkkommunikation via JSON, und GUI-Programmierung mit JavaFX. Zusätzlich üben Sie grundlegende agile Methoden, Methodiken der KI-gestützten Softwareentwicklung, und die Verwendung von Entwicklungsumgebungen und Git.
Der Fokus des Praktikum ist nicht auf der reinen Programmierung, sondern auf bestimmten Technologien und Techniken der modernen Softwareentwicklung.
Von allen Teilnehmer:innen wird während des Praktikum eine aktive und professionelle Kommunikation erwartet.

Im zweiten Teil des Praktikum wird eine wöchentlich kontinuierliche Arbeit im Team erwartet. Es finden statt der Plenartreffen wöchentliche Treffen in Ihrem jeweiligen Team mit einer zugewiesenen Tutor:in in Präsenz statt.

Wir erwarten, dass Studierende im Durchschnitt 24 Stunden pro Woche für das Praktikum aufwenden. Bei fehlendem Vorwissen müssen Sie mit mehr Aufwand rechnen. Ein wiederholtes Fehlen bei Teamtreffen oder nicht erledigte Aufgaben führen zum Nicht-Bestehen des Praktikum.

Die Prüfung findet im Praktikum durch eine mündliche Prüfung statt, in der Fragen zu Grundlagen, Einzelaufgaben, und der Arbeit im Teamprojekt gestellt werden.

This software engineering practical focuses on developing a benchmark for reinforcement learning from human feedback (RLHF), with an emphasis on control applications. Inspired by the B-Pref benchmark, this project aims to create a comprehensive toolbox for evaluating preference-based reinforcement learning algorithms, which derive preferred behaviors from human feedback in simulated environments.

The exact goals will be determined in the first weeks of the project, but you may work on:

• Algorithm Re-implementation: Re-implement or adapt RLHF algorithms such as PrefPPO, PEBBLE, SURF, Meta-Reward-Net, and RUNE. This includes reading and understanding the original research papers, and implementing the algorithms in a clear and efficient manner, ensuring they are easily maintainable and readable for future research use.
• Validation: Validate the re-implemented algorithms against the performance reported in their original papers. This may involve re-running original experiments, requiring some system administration skills to manage unmaintained codebases.
• Tools and Interface Development: Implement tools for logging and visualizing algorithm performance, and develop a command-line interface for running benchmark experiments.

• Python for Research Applications: Enhance your Python programming skills, focusing on its use in machine learning with libraries like PyTorch and Jax.
• Version Control with Git: Develop expertise in using Git for collaborative software development and project management.
• Code Quality & Testing: Learn to write clean, maintainable code and implement robust testing strategies, crucial for research integrity.

16.10.2025 - 05.02.206
Do, 10 -12 Uhr c.t., 
Room: HG, Geschw.-Scholl-Pl. 1 (A), A 015
11 SWS

Machine learning is changing the world. It can be found in almost all segments including healthcare services, education, transport, food, entertainment and many more. Specifically, in the field of computer vision, machine learning techniques have enabled programs to interpret and understand the world, sometimes even better than humans. In this course, we will work on several projects to solve several computer vision tasks using python. The students will have a chance to get their hands on the classical (or potentially deep) machine learning algorithms in teams, and apply those techniques to some of the most interesting topics in computer vision.

Beschreibung:
In diesem Praktikum entwerfen, spezifizieren und implementieren die Studierenden unter Anleitung ein größeres Softwareprojekt. Dabei werden die in den Vorlesungen “Einführung in die Programmierung” und “Programmierung und Modellierung” erlernten grundlegenden Konzepte und Techniken praktisch eingesetzt und erweitert. Des weiteren werden Kenntnisse über Softwareentwicklungs-Tools wie Versionsverwaltungsprogramme (Git) oder Integrated Development Environments (IDE) vermittelt. In der ersten Phase des Praktikums (Vorprojekt) werden nochmals grundlegende Fähigkeiten in der Programmentwicklung in Einzelarbeit geübt. Nach Bestehen der ersten Phase, werden die Studierenden in Teams von 4-6 Personen aufgeteilt. In der Hauptphase des Praktikums wird dann eine größere Python-Applikation im Team entwickelt. Hierbei können die Studierenden dann auch wertvolle Erfahrungen über Team- und Projektarbeit sammeln.

Thema der Projektarbeit:
Die Projektarbeit behandelt das Thema der erklärbaren Künstlichen Intelligenz (eng. eXplainable Artificial Intelligence, kurz XAI). Konkret geht es darum eine Softwareapplikation in Python zu implementieren, welche spieltheoretische Algorithmen verwendet um Modelle des maschinellen Lernens für Nutzer erklärbar zu machen.

Bitte Beachten:
12 ECTS entsprechen einem Arbeitsaufwand von ca. 24 Stunden pro Woche. Es ist in keiner Weise ausreichend, nur den Plenumstermin und die Tutortreffen wahrzunehmen, sondern sie müssen sehr viel eigenständig am Computer arbeiten und programmieren. Sie müssen genug Zeit für dieses Praktikum einplanen um problemlos einen Termin mit ihren Gruppenmitgliedern zu finden. 

Beschreibung:

In diesem Praktikum entwerfen, spezifizieren und implementieren die Studierenden unter Anleitung ein größeres Softwareprojekt.
Dabei werden die in den Vorlesungen “Einführung in die Programmierung” und “Programmierung und Modellierung” erlernten grundlegenden Konzepte und Techniken praktisch eingesetzt und erweitert. Des Weiteren werden Kenntnisse über Softwareentwicklungs-Tools wie Versionsverwaltungsprogramme (Git) oder Integrated Development Environments (IDE) vermittelt.
In der ersten Phase des Praktikums (Vorprojekt) werden nochmals grundlegende Fähigkeiten in der Programmentwicklung in Einzelarbeit geübt.
Nach Bestehen der ersten Phase, werden die Studierenden in Teams von 5-6 Personen aufgeteilt. In der Hauptphase des Praktikums wird dann eine größere Java-Applikation im Team entwickelt. Hierbei können die Studierenden dann auch wertvolle Erfahrungen über Team- und Projektarbeit sammeln.

Bitte beachten:

12 ECTS entsprechen einem Arbeitsaufwand von ca. 24 Stunden pro Woche. Es ist in keiner Weise ausreichend, nur den Plenumstermin und die Tutortreffen wahrzunehmen, sondern sie müssen sehr viel eigenständig am Computer arbeiten und programmieren. Sie müssen genug Zeit für dieses Praktikum einplanen um problemlos einen Termin mit ihren Gruppenmitgliedern zu finden.

Termine und Ort:

Anmeldeschlüssel: swtws24

In der Vorlesung werden Methoden und Techniken zur Entwicklung großer Software-Systeme besprochen.
Besonders wird auf objektorientierte Methoden und Techniken eingegangen. Zur System-Modellierung
wird die Sprache UML (Unified Modeling Language) verwendet. Schwerpunkte der Vorlesung sind:

• Modellierung der statischen Systemeigenschaften durch Klassendiagramme
• Modellierung des dynamischen Verhaltens durch Interaktions-, Zustands- und Aktivitätsdiagramme
• Anwendungsfall-gesteuerte Systemanalyse
• Objektorientierter Entwurf
• Realisierung von Zustandsdiagrammen
• Anbindung an Benutzerschnittstelle und Datenbank
• Entwurfsmuster
• Transformation von Modellen in Java-Code

What happens to literary manuscripts after the death of the author? Do they allow us to access the past? And how do we measure their philological, economic, or aesthetic value? Compared to cultural institutions such as libraries and museums, literary archives are a relatively recent invention (although practices of treasuring, collecting, and studying manuscripts predate such professionalization). In this seminar, we will reconstruct the history of the archive as an institution and discuss literary narratives about authors’ papers and their preservation and consumption. These fictional texts allow us to analyze how modern writers since the second half of the twentieth century have responded to the cultural history of the modern literary manuscript. We will cover a range of such “paper fictions,” including Muriel Spark’s short story “The Executor” (1983) (whose protagonist sells her uncle’s literary remains to a university-based archive but finds herself haunted by his posthumous presence), Carol Shields’s Swann (1987) (a postmodernist fiction that focuses on how scholars, biographers, archivist, and the reading public struggle to make sense of the manuscript legacy of a twentieth-century female poet), and A. S. Byatt’s Booker Prize-winning Possession: A Romance (1990) (a neo-Victorian historical novel which revolves around an archival paper chase that sees two modern literary scholars discovering a secret love story). Concentrating on questions of authorship, gender, and canonicity, the seminar will focus on how such suspense-driven narratives of archival discovery and loss deal with the relationship between manuscripts and texts, between the material and the intellectual, between the present and the past, and between life and art.

At the heart of modern Chinese nationalism and national identity is the "minzu" concept and the "Zhonghua minzu" paradigm. The Chinese Communist Party has employed minzu, alternatively translated as "people," "nation," "nationality," "race," or "ethnicity," as a key building block of Chinese society since 1949, if not earlier, and argues that the "Zhonghua minzu" is the correct formulation for "Chinese people." Where did the minzu concept come from? Who belonged (or belongs) to the Zhonghua minzu? What did it mean? What kinds of policies were devised and inspired by the Zhonghua minzu paradigm? This tutorial will examine a range of primary documents concerning the "national question" in China from the late 19th through the early 21st centuries. We will also consider theories of translation and the movement of concepts across linguistic frontiers.    

In der Veranstaltung wird danach gefragt, welchen spezifischen Beitrag der Religionsunterricht zur Förderung digitaler Kompetenzen von Schüler:innen leisten kann und soll. Es werden die Potenziale des Religionsunterrichts eruiert, Schüler:innen zu einem kritisch-konstruktiven Umgang mit digitalen Medien zu befähigen. Dazu lernen die Teilnehmenden verschiedene Kompetenzmodelle aus der Medien- und Religionspädagogik kennen und ziehen zu deren Reflexion Theorien aus verschiedenen Nachbardisziplinen (Cultural Studies, Gender Studies, Postcolonial Studies, Kommunikationswissenschaften, etc.) hinzu. Es wird im Sinne einer ästhetischen Praxis als Kritik (vgl. Zahn 2019) auch eigenständig an und mit unterschiedlichen Medienformaten (Social Media, Podcasts, Synthesizer, Videos, etc.) gearbeitet.

Die Teilnehmer:innen werden im Zuge des Seminars in ihren Praktikumsschulen besucht und erhalten Rückmeldung zu einer ihrer Unterrichtsversuche.