• Veranstaltungszeit: Mo., 12-14 c.t.
  
• Veranstaltungsort: GSP, F007
  

• Veranstaltungszeit: Di., 8-10 c.t.
  
• Veranstaltungsort: PHP, W401
  

• Veranstaltungszeit (und -ort): Mo., 14–16 c.t. (GSP, A 125)
• Dr. Richard Rachlitz, LL.M. (Stellenbosch) auf der Fakultätshomepage

• Veranstaltungszeit (und -ort): Mi., 16–18 c.t. (GSP, A 119)
• Lisa Thalmeir auf der Fakultätshomepage

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.

This course presents selected physical properties of solids as independent units in a series of lectures. Using experimental and simulated examples, the lectures aim to convey a clear understanding of the central solid state aspects, and weekly alternates with computer exercises (Matlab, Octave, Python) under tight supervision, leading to an in-depth understanding. The content starts with kinematic near- and far-field diffraction (Fresnel,Fraunhofer) at atoms, molecules, nanoparticles and infinite solids. Electronic properties, such as the emergence of a band structure, are presented within the framework of 1D and 2D model systems. This is followed by a wave-optical treatment of of imaging in a light- and electron microscope which is exemplified using meta-materials and crystalline solids. Finally the course deals with phase retrieval based on pure diffraction experiments (Ptychography), as is widely used in, e.g., X-ray scattering, and introduces approaches to simulate multiple scattering (multislice) with low implementation effort.

Content

The course targets first-year PhD students and last-year Master students, i.e., if you have just started as wissenschaftlicher Mitarbeiter or if you study in software engineering (projects or Master thesis) and want to learn more about topics in academic work environments. The idea is to cover things that nobody told you yet in the computer-science studies but which you need if you want to go for PhD.

In order to get started with the discussion, we will usually start presenting some material. This will automatically turn into a discussion after a while. If you are interested, please sign up and stop by.

Outline

• Sciences: Wissen und Wissenschaft, Wissenschaft als Wissenskompression
• Publications: Open Access and Open Science, Repositories, Bibliographic Data, Licenses
• Artifacts
• Bibliographic Data and Rankings, Impact of Rankings
• Clustering of Research Areas
• Peer Reviews
• Authorship Criteria
• Conflict of Interest
• Plagiarism
• Evaluation of Research Results, Competitions, Proofs, Experiments
• Technical Writing, esp. with LaTeX
• Structure of Research Papers
• Grant Proposals
• Team Work, Groups, Leadership
• Principles

Please note: This course is mostly about how to do scientific work in the area of software engineering, it is not a course about software engineering itself. If you are interested in an advanced software-engineering course, we recommend Methods in Software Engineering.

Organization

There is no exam for this course, and subsequently no ECTS points. We can provide a participant certificate if you regularly attended the course.

The course happens weekly on Tuesday 14-16.

Registration key: SPSE24

Attendees

Doctoral researchers and Master students interested in a PhD.

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

Le stage est obligatoire pour la formation. La place de stage doit être suffisamment appropriée pour les tâches pratiques dans le contexte des études actuarielles. Mais le contenu détaillé dépend des conditions de la compagnie qui offre ces places de stages, par exemple le département dans lequel l’étudiant travaillera, les tâches et activités concrètes qu’il aura  à faire.

Este curso tiene como objetivo brindarle a los estudiantes las destrezas necesarias para elaborar discursos escritos de diferente tipología. Esencialmente, se aboradarán contenidos de textos narrativos, descriptivos, argumentativos y expositivos. El curso tendrá dos enfoques: por un lado un enfoque cognitivo, que pretende el desarrollo autónomo de metodologías de aprendizaje (herramientas y procedimientos) y por otro lado, un enfoque comunicativo, por medio del cual los estudiantes podrán expresar sus opiniones y puntos de vista de los temas a tratar, presentar sus propuestas y recibir retroalimentación por parte del profesor y de sus compañeros. En cuanto a la gramática, se tendrán en cuenta: los usos de los pasados, el adjetivo, coherencia, cohesión y adecuación y los marcadores discursivos. El léxico se ampliará por medio del uso de expresiones idiomáticas, figuras retóricas, expresiones para introducir información, expresiones útiles para argumentar, proverbios, refranes y verbos para expresar puntos de vista y poner énfasis. Las temáticas del curso se enfocarán en la cultura, la historia y la sociedad hispánica.

Die Vorlesung fragt, welchen Beitrag Sozialtheorien zur Erklärung der Mediengegenwart leisten können, und will so auch helfen, eine Medienkompetenz aufzubauen, die über Medienwirkungstheorien mittlerer Reichweite hinausreicht. Im Programm: Ulrich Beck (Definitionsmachtverhältnisse), Berger/Luckmann (Sozialkonstruktivismus), Niklas Luhmann (Mediensystem), Michel Foucault (Wahrheitsregime, Diskursordnung), Theodor W. Adorno (Kulturindustrie), Jacques Ellul (Propaganda), Noam Chomsky (Filtermodell), Uwe Schimank (Medienlogik, Medialisierung), Sheldon Wolin (Umgekehrter Totalistarismus), Shoshana Zuboff (Überwachungskapitalismus) und Pierre Bourdieu (das journalistische Feld).   

Von der Antike bis zur Zeit der Aufklärung wurde die Logik der Macht durch das Verhältnis zwischen Religion und Herrschaft geprägt. Während sich beide Dimensionen in der Figur des noch heidnischen Römischen Imperators fusionierten, entwickelte sich im christlich gewordenen Römischen Reich der Spätantike und in seinen „Nachfolgerreichen“ – dem katholischen Heiligen Römischen und dem orthodoxen Byzantinischen Reich eine Teilung der Mächte. Die Grenzen dieser Teilung wurden hierbei immer wieder neu ausgehandelt: Während sich im westlichen Europa die „Bipolarität“ der Mächte etablierte – das Kaisertum und das Papsttum, konnte man im oströmischen Reich sowie auch im erst an der Schwelle zur Neuzeit formierenden Zarenreich die Wirkung der sogenannte „Sinfonie“ der Mächte beobachten, wobei die Mächteverhältnisse natürlich auch von den jeweiligen Zeitumständen und Persönlichkeiten abhingen. Gleichzeitig war jegliche Form der Machtlegitimation – schriftliche, rituelle und visuelle – ohne die theologische Unterfütterung nicht denkbar, was dazu führte, dass sich die Grenzen zwischen der irdischen und der himmlischen Macht erneut verwischten.

Im Rahmen der angebotenen Übung werden wir uns ausgewählte prominente Ereignisse, Herrschaftstheorien, aber auch apokalyptische Prophetien und Mythen näher anschauen, um die Andersartigkeit der religiös konnotierten Herrschaftslogiken in den mittelalterlichen Reichen zu versinnbildlichen. Das wird uns helfen, diese faszinierende Epoche besser verstehen zu können.

Das Große Schisma stellte mit seinen zuletzt drei gleichzeitig amtierenden Päpsten die lateinische Kirche zu Beginn des 15. Jahrhunderts vor eine nie dagewesene Herausforderung. Doch auch die zur Lösung der diversen Probleme innerhalb der Kirche einberufenen Konzilien entwickelten sich bald zu eigenständig handelnden Institutionen, die nun selbst den Päpsten Konkurrenz machten. Drüber hinaus wirkten diese „Weltereignisse“ des Mittelalters mit ihren zahlreichen Teilnehmern als Orte intensiven politischen und kulturellen Austausches.

Das Alte Testament enthält zahlreiche Erzählungen, in denen Frauen die Protagonistinnen sind. Frauen wie Sara, Tamar, Rahab oder Ruth spielen in der Darstellung der Ursprünge Israels eine entscheidende Rolle. An Frauen behandeln die Erzählungen paradigmatische Aspekte; so zeigt sich an Tamar, was in Israel Gerechtigkeit (zedaka) bedeutet; Rahab ist ein Muster an Gottvertrauen, Ruth ein Exempel für Güte (chesed). Frauen agieren als Prophetinnen und Königinnen, Richterinnen und Geschäftsfrauen und natürlich als Mütter.

Obwohl ihm nur ein kurzes Büchlein gewidmet ist, zählt Jona zu den bekanntesten Propheten des Alten Testaments. Dies hat vielfältige Gründe. Was von ihm erzählt wird, besonders dass ein großer Fisch ihn zunächst verschluckt, dann aber an Land speit, ist zweifellos unerhört. Diese märchenhaften Züge haben dem Jona-Buch einen Platz in der christlichen Kindererziehung gesichert und viele kleine Künstlerinnen und Künstler zu bemerkenswerten Zeichnungen inspiriert. Doch ist mit dem gruseligen Staunen über Jonas Abenteuer mit dem Riesenfisch schon das Wesentliche über dieses Buch erfasst? Da ist zum Beispiel ja auch noch der durchaus irritierende Schluss, wo Jona, der (verdient???) Gerettete, sich den Tod wünscht, weil andere vor dem Untergang verschont blieben. Der Text selbst und seine vielfältige, intellektuell anspruchsvolle Wirkungsgeschichte zeigen, dass der sensationelle Charakter der Geschichte nur eine Art Eingangstor zu einer äußerst kunstvoll gestalteten, theologisch tiefgründigen Prophetenerzählung ist. Den Reichtum der Jona -Erzählung in seiner sprachlich-narrativen Gestaltung und theologischen Vielschichtigkeit zu erschließen und Beispiele seiner jüdischen und christlichen Rezeptionen kennen und verstehen zu lernen, ist Ziel der Vorlesung. 

AT-Lektürekurs

Begleitend zur Vertiefungs-VL "Loblieder der Schriftpropheten/Jesaja"

Montags 16 - 18 Uhr c.t.

Raum DZ001 (Zugang durch Treppenhaus an der Poststelle rechts vom Haupteingang der LMU)

AT-Vertiefungsvorlesung 

Montags 12 - 14 Uhr c.t.

Raum A 119

Sowohl Loben als auch Klagen gehört zu den Grundvollzügen menschlichen Lebens. Wo Menschen miteinander zu tun haben, wird gelobt und geklagt, in Familie, Berufsleben, unter Nachbarn, im Straßenverkehr, usw. Sind Lob und Klage in die Form eines gesprochenen oder gesungenen Gebets gefasst, leisten sie daher nichts weniger, als ein Grundelement menschlichen Daseins auf eine transzendente Ebene zu heben. Typisch für den Akt des Lobens ist dabei, dass er im Unterschied etwa zur Bitte keinen praktischen Zweck verfolgt. Lob ist Ausdruck der Freude am Guten und des Bedürfnisses, diese mit anderen zu teilen. Sobald Lob geäußert wird, weil damit – stets indirekt – ein bestimmter Zweck verfolgt wird, ist es kein reines, echtes Lob mehr. Ihm haftet der Makel der Unehrlichkeit an. Dies gilt selbst dann, wenn z.B. pädagogisch verzwecktes Lob eigentlich ein gutes Ziel verfolgt, und mehr noch, wenn Lob zur egoistisch motivierten Lobhudelei wird. Die ehrliche Haltung als wesensmäßige Voraussetzung echten Lobes ist ein Charakteristikum, das dem Lob im Verhältnis des Menschen zu Gott eine besondere Bedeutung verleiht. Wenn der Mensch Gott von Herzen lobt, dann ist ihm eine Unbefangenheit und Unmittelbarkeit gegeben, die ihn der Quelle des Lebens besonders nahe sein lässt.

Die Lobgebete bei den Schriftpropheten sind insofern besonders interessant, als sie in einem spezifischen Verhältnis zur prophetischen Verkündigung stehen. Während Letztere sich an Menschen richtet, indem sie die Gegenwart kritisch beleuchtet und Gericht oder Heil ankündigt, verleihen die Gebete der Prophetie eine dialogische Dimension, indem sie  Reaktionen auf Gottes Wort darstellen. Der Mensch ist dem Verkündeten nicht einfach unterworfen, sondern er kann in Lob oder auch Klage dazu Stellung nehmen. So akzeptieren etwa die Beter von Jes 12 ein früher angekündigtes und eingetretenes Gericht als Läuterungsprozess, der dauerhaft zum Heil führt. In Jes 25,1-5 preist ein Individuum den Herrn, der sich dem Geringen im Angesicht überlegener Feinde als unüberwindbare Festung erwies. Das Lob weitet sich in Jes 26 auf das ganze Gottesvolk aus, das sich dank erfahrener Rettung zu JHWH als „Fels der Ewigkeiten“ bekennt.

Neben der Exegese einzelner Texte und ihres Kontextes, beleuchtet die Vorlesung in einem propädeutischen Teil wichtige Grundlagen alttestamentlicher Gebete und ihrer Einbindung in die Prophetie. Dabei werden nicht nur spezifisches Vokabular und Überlieferungsquellen von Gebeten sowie das Verhältnis von Prophetie und Gebet behandelt, sondern auch archäologische Einblicke zu Kultstätten in Palästina als den prominentesten Orten von Opfer und Gebet vermittelt. 

Das Phänomen der Prophetie im Alten Testament beschränkt sich keineswegs nur auf die Schriftpropheten bzw. die ihnen zugeordneten Prophetenbücher. Propheten und Prophetinnen sind Gegenstand zahlreicher Erzähltexte, verteilt über alle drei Teile des alttestamentlichen Kanons – von Mose bis zu Noadja, von Mirjam bis zu Elia.