Institut für Informatik Programmier- und Modellierungssprachen Lehr- und Forschungseinheit 4 Univ.-Prof. Dr. François Bry, Ordinarius Univ.-Prof. Dr. Hans Jürgen Ohlbach, Extra-Ordinarius

(English version)

Schwerpunkte in Lehre und Forschung

• Wissensrepräsentation und -verwaltung
• Logikbasierte Wissensmodellierung
• Markup-Sprachen und Semistrukturierte Datenmodellierung
• Logik- und Constraint-Programmierung
• Automatische Deduktion
• Künstliche Intelligenz

Lehre

• Vorlesungen und Übungen
• Praktika
• Proseminare, Hauptseminare, Oberseminare
• Projekt- und Diplomarbeitsthemen
• Stellenangebote für Studenten

Forschung

• Knowledge in a Wiki     
• Network of Excellence   
• Forschungsprojekte
• Veröffentlichungen [ dynamische Version | statische Version ]
• Vorträge
• Software
• Mitwirkung bei Tagungsveranstaltung und Zeitschriften
• Stellenangebote für Studenten

Aktuelles

• Auszeichnung "Best Full Paper" bei RR2007
• Selbsttest zur Prüfung der Eignung zum Studium der Informatik
• Eingeladene Vorträge im PMS Oberseminar

Team

Sonstiges

Suche in der Lehrstuhlbibliothek (nur Institut für Informatik der LMU)
Buchausleihe (nur LFE Programmier- und Modellierungssprachen)
Internes (nur LFE Programmier- und Modellierungssprachen)
Konferenzen
Ontologie- und Wissensrepräsentations-Formalismen

PMS Webseiten durchsuchen

Anschrift

Ludwig-Maximilians-Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen
Oettingenstr. 67
D-80538 München

Tel: +49-89-2180-9310
Fax: +49-89-2180-9311
E-Post: s e k r e t a r i a t [AT] pms ° ifi ° lmu ° de

Institut

Universität