• Veranstaltungszeit: Mi., 8-10 c.t.
  
• Veranstaltungsort: GSP, M209
  
• Anna Schiehlen auf der Fakultätshomepage

• Veranstaltungszeit: Do., 10-12 c.t.
  
• Veranstaltungsort: GSP, B011
  
• Georg Suppé auf der Fakultätshomepage

• Veranstaltungszeit: Fr., 10-12 c.t.
  
• Veranstaltungsort: GSP, DZ007
  
• Lorenz Jacob auf der Fakultätshomepage

• Veranstaltungszeit: Mi., 16-18 c.t.
  
• Veranstaltungsort: Schelling 3 - R303
  
• Mathias Scheer auf der Fakultätshomepage

• Veranstaltungszeit: Do., 10-12 c.t.
  
• Veranstaltungsort: online
  
• Matthias Lüdeking auf der Fakultätshomepage

• Veranstaltungszeit: Mi., 12–14 Uhr c.t.
• Veranstaltungsort: Schellingstr. 3, S 227
• Benjamin Lorenz auf der Fakultätshomepage
  

• Veranstaltungszeit: Do., 16–18 Uhr c.t.
  
• Veranstaltungsort: Ludwigstraße 29, 409
  
• Severin Uhsler auf der Fakultätshomepage
  

• Veranstaltungszeit: Fr., 12–14 Uhr c.t.
• Veranstaltungsort: Die Veranstaltung findet online statt
• Yannick Skowronek auf der Fakultätshomepage
  

• Veranstaltungszeit: Do., 18-20 c.t.
  
• Veranstaltungsort: PHP 2, W401
  
• Benedikt Günther auf der Fakultätshomepage

• Veranstaltungszeit: Di., 18-20 c.t.
  
• Veranstaltungsort: GSP, A 020
  
• Charlotte Wendland auf der Fakultätshomepage

• Veranstaltungszeit: Di., 16-18 c.t.
  
• Veranstaltungsort: Amalienstraße 73a, 112
  
• Dr. Heiko Richter: https://www.ip.mpg.de/de/personen/richter-heiko.html
  

Hierbei handelt es sich um einen Moodle-Kurs für die Online-Teilnehmer der PÜ von Joerg Rohloff

• Veranstaltungszeit: Mi., 18-20 c.t.
  
• Veranstaltungsort: GSP, A015
  
• Jonathan Knospe auf der Fakultätshomepage

• Veranstaltungszeit: Di., 8-10 c.t.
  
• Veranstaltungsort: Ludwigstr. 28 RG, 024
  

• Veranstaltungszeit: Di., 14-16 s.t.
  
• Veranstaltungsort: online (Teilnahme generell oder an einzelnen Terminen auch ohne Anmeldung im Moodle-Kurs möglich; bitte mit SSO anmelden)
  
• Aline Brießmann auf der Fakultätshomepage

• Veranstaltungszeit: Mi., 10-12 c.t.
  
• Veranstaltungsort: GSP 1, M 209
  
• David Paparizos auf der Fakultätshomepage

• Veranstaltungszeit: Mo., 18-20 s.t.
  
• Veranstaltungsort: PHP 2, W201
• Dr. Christiane von Bary auf der Fakultätshomepage
  

• Veranstaltungszeit: Di., 12-14 c.t.
  
• Veranstaltungsort: Schellingstraße 3, S 003
  
• Dr. Matthias Lüdeking auf der Fakultätshomepage

• Veranstaltungszeit: Mi., 16–18 c.t.
  
• Veranstaltungsort: Professor-Huber-Platz 2, VU 104 und zugleich online auf Zoom über diesen Zugangslink (Online-Teilnahme jederzeit auch ohne Einschreibung möglich)
  
• Felix Aiwanger auf der Fakultätshomepage
  

• Veranstaltungszeit: Di., 14-16 c.t.
• Veranstaltungsort: Schellingstraße 3, S 001
  
• Katharina Roderus auf der Fakultätshomepage
• Sophie Schröter auf der Fakultätshomepage

• Veranstaltungszeit: Do., 8–10 c.t.
  
• Veranstaltungsort: GSP 1, A015
• Shazana Rohr auf der Fakultätshomepage

• Veranstaltungszeit: Mi., 16–18 Uhr c.t.
• Veranstaltungsort: Die Veranstaltung findet online statt. (Einmalige oder gelegentliche) Teilnahme auch ohne Einschreibung über diesen Link möglich
• Felix Aiwanger auf der Fakultätshomepage
  

• Veranstaltungszeit: Mi., 16–18 Uhr c.t.
• Veranstaltungsort: Professor-Huber-Platz 2, W 201
• Mira Jahani auf der Fakultätshomepage
  

• Veranstaltungszeit: Fr., 10-12 c.t.
• Veranstaltungsort: GSP, D Z007

• Veranstaltungszeit: Mi., 18-20 c.t.
• Veranstaltungsort: Ludwigstr. 28, RG 025
  

• Veranstaltungszeit: Di., 12-14 c.t.
• Veranstaltungsort: GSP, A016
  

• Veranstaltungszeit: Mi., 12-14 c.t.
• Veranstaltungsort: PHP 2, W201
• Marc Bullach auf der Fakultätshomepage
  

• Veranstaltungszeit: Do., 16-18 c.t.
• Veranstaltungsort: PHP 2, W401
  

• Veranstaltungszeit (und -ort): Do., 18–20 c.t. (Ludwig 28, Rgb 024)
• Björn Baumann auf der Fakultätswebsite (folgt)
  

• Veranstaltungszeit (und -ort): Mi., 18–20 c.t. (Ludwig 28, Rgb 026)
  
• Jonathan Knospe auf der Fakultätshomepage
  

• Veranstaltungszeit (und -ort): Do., 18–20 c.t. (Ludwig 29, 409)
  
• Severin Uhsler auf der Fakultätshomepage
  

• Veranstaltungszeit: Mi., 8:30-10 s.t.
  
• Veranstaltungsort: PHP, V002
  

• Veranstaltungszeit (und -ort): Do., 16–18 c.t. (GSP, F 007)
• Andreas Roth auf der Fakultätshomepage

• Veranstaltungszeit: Mo., 14-16 c.t.
  
• Veranstaltungsort: PHP, V002
  

• Veranstaltungszeit: Di., 12-18 c.t.
  
• Veranstaltungsort: GSP, M209
  

• Veranstaltungszeit: Mi., 18-20 c.t.
  
• Veranstaltungsort: Amalienstraße 73A, 112
  

• Veranstaltungszeit: Mo., 18-20 c.t.
  
• Veranstaltungsort: GSP, C009
  

• Veranstaltungszeit (und -ort): Mo., 8–10 c.t. (Ludwigstraße 28, Rgb 122)
• Peter Zickgraf auf der Fakultätshomepage
  

• Veranstaltungszeit (und -ort): Do., 16–18 c.t. (online, bei Interesse ggf. Umstellung auf Hybrid-Format)
• Zoom-Link:  https://lmu-munich.zoom.us/j/93450441814?pwd=RUw2UlJwY2U2SEI5QWRTZDJidURkQT09
• Felix Aiwanger auf der Fakultätshomepage

Das Masterprojekt beschäftigt sich mit der Frage, welche Präventionsstrategien gegen extremistische Botschaften in sozialen Medien eingesetzt werden können. Im Seminar werden wir uns zunächst mit extremistischer Propaganda und Hate Speech beschäftigen und darauf aufbauend Gegenbotschaften kategorisieren und analysieren. Theorien zur narrativen Persuasion zeigen beispielsweise, dass (fiktive, aber auch reale) Geschichten gut geeignet sind, um zum Nachdenken anzuregen oder Einstellungen zu verändern. Im Zentrum des Seminars steht daher die Planung von empirischen Studien zu möglichen narrativen Formaten von Gegenbotschaften, Gegenrede und Strategien zur Extremismusprävention.

Das WPF "Prophylaxe, Erkennen und Therapie von Anästhesienotfällen" gehört zur Profillinie "Anästhesie und Analgesie sowie perianästhetische Intensiv- und Notfalltherapie beim Kleintierpatienten". Im WPF "Prophylaxe, Erkennen und Therapie von Anästhesienotfällen" werden die Anästhesie und Analgesie sowie perianästhetische Intensiv- und Notfalltherapie bei verschiedenen Tierspezies mit verschiedenen Vor-/Erkrankungen vermittelt. Dabei werden die folgenden Themen vertieft: - Welche Besonderheiten gibt es bei Herz-Kreiskauferkrankungen? - Wenn das Atmen schwerfällt: Besonderheiten bei Erkrankungen des Atmungstraktes. - Was ist bei Erkrankungen der Niere, der Leber und des endokrinen Systems zu beachten? - Wenn es plötzlich wehtut: Der Schmerz als Notfall Lernziele: - Die Studierenden erhalten spezielle Kenntnisse zu den krankheitsbedingten Besonderheiten bei der Anästhesie von Kleintierpatienten. - Die Studierenden erhalten spezielle Kenntnisse zu den krankheitsbedingten Besonderheiten bei der Schmerztherapie von Kleintierpatienten. - Sie erfahren, was im Notfall bei der perianästhetischen Intensiv- und Notfalltherapie zu tun ist, wenn die Kleintierpatienten unter krankheitsbedingten Besonderheiten leiden.

In diesem Proseminar werden wir uns grundlegende Text-, Bild- und Tongenres der islamischen Tradition, wie Koran, Prophetentradition, Biographie, historiographische Texte, geographische Karten, Rechtsdokumente, Baukunst, Kunst und Literatur sowie deren Verbindungen zu heutigen multisprachlichen und transregionalen Praktiken in verschiedenen Medien wie Buch, Radio, TV, YouTube und verschiedenen Apps erarbeiten.

Darüber hinaus reflektieren wir die Geschichte der Islamwissenschaft und verwandter Fächer, d.h. der akademischen Erforschung der oben genannten Genres und Praktiken.

Das Proseminar dient gleichzeitig dem Erlernen wissenschaftlichen Arbeitens und der Einübung des akademischen Schreibens als Lern- und Denkpraxis.

This course will provide the essential tools to conduct academic work in the field of historical and cultural studies. Hollywood’s fabled motion picture industry, which has long played a significant role in American cultural history, will serve as an overarching topic. From the glitz and glamour of Hollywood’s Golden Age, the studios’ struggle with censorship and their efforts during wartime, to critical discussions of race, gender, and class in an industry that propagates the American Dream, “La La Land” offers numerous topics for discussion. The course will offer an approach to academic research, writing, and presentation on Hollywood, its legends, and its movies.

Basic Information

• Language: English
• Prerequisite courses
  • Formal Languages and Complexity (must)
  • Logic and Discrete Structures (must)
  • Formal Specification and Verification (recommended)
  • Software Verification (recommended)
  • SAT Solving (recommended)
• Date: Thursday, 10:15-11:45
• Location: Seminar Room 133, Oettingenstr. 67
• First meeting: 2024-04-18 (about the detailed seminar organization and expectations)

Content

Model checking is an important research field in computer science where automatic solutions to the following problem are studied: Given a computational model and a specification, decide whether the model satisfies the specification or not. In practice, a computational model can be a digital circuit (hardware) or a program (software). A specification can be a safety property requiring that errors never happen during the execution of the model. Compared to testing, model checking can guarantee the correctness of a computational model with mathematical rigor. Model checking is rooted in a solid theoretical foundation and requires advanced software engineering for tool implementation. The inventors of model checking won the 2007 Turing Award, and leading technology companies use model-checking techniques to assure the quality of their products.

Goal

The goal of this seminar is to learn the mathematical foundation and understand the working of state-of-the-art algorithms for hardware and software model checking. At the end of this seminar, students should become familiar with the background knowledge of model checking and able to explain a scientific publication on model checking in oral and written forms.

Organization

The seminar will consist of three phases:

1. Reading sessions: In the first phase, we will recap the mathematical foundation of model checking. Students will be divided into groups. Each group will be assigned a topic and lead the discussion on the topic in one seminar session.
2. Weekly meetings: In the second phase, each student will be assigned a publication on an algorithm for model checking. Students will have weekly meetings with the mentors to report their progress. Mentors will guide students to read and understand the algorithms in the publications.
3. Final presentation and report: In the final phase, students will present the algorithms assigned to them and write a report explaining them with examples and analysis.

Team

• Prof. Dr. Dirk Beyer
• Nian-Ze Lee, Ph.D.
• Po-Chun Chien

References

• Handbook of Model Checking, 2018

This seminar introduces methods for the computational analysis of quantitative high-throughput RNA sequencing data (RNA-Seq). The seminar is required for the practical course "Computational analysis of RNA-Seq" and the lecture "Human Genomics" is highly recommended.

Instructors:  Ines Hellmann hellmann@bio.lmu.de

        Beate Vieth      vieth@bio.lmu.de

Please remember that you have to consult with one of us at least 2 days prior to the Seminar.

Talks should be 20min/person and including discussion each section should be roughly 1.5h.

The points given in each topics are hints, you may restructure it and make slight changes to the emphasis if you think it to be appropriate.

Talks are generally better if, you consider the following principles:

1. Less text, more pictures

2. Text and pictures need to be in sync

3. Explain everything to a level that your fellow students understand the pictures and statements you make. Don't just show things for the sake showing.

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.

The course is taught in English.

Space is one of the most basic, if not the most basic domain of human experience. Much of human life consists of interactions with spatial entities and comprehending and communicating the location of entities in space. To facilitate this, languages have developed a multitude of systems to express spatial relations between entities. This course provides an overview of different kinds of systems of spatial expressions as well as what types of spatial distinctions are made within different types of spatial expression systems. Moreover, the course will discuss how the general human cognitive capacities are reflected in the systems of spatial expressions and the distinctions made in them.

The course can be of interest to students interested in typology and semantics of space, as well as the interface between language and other cognitive properties of humans.

Lehrmaterialien: to be provided during the course.

Leistungsnachweis: active participation in the course, obligatory assignments throughout the course