Dr. Hans Leiß

Tel.: +49-89-2180-9718
e-mail: leiss at cis.uni-muenchen.de
Mentorenstunde: Mi 13-14
Sprechstunde: Mi 14-15, Raum B 1.07, Oe 67

Interessengebiete

Reguläre Algebra und Formale Sprachen
Grammatiken und Syntaxanalyse
Typentheorie und Funktionales Programmieren

Projekte und Programme

Suche in komprimierten Daten (DAAD, Procope)
Finite Automata Library for Standard ML
Standard ML with polymorphic recursion
Semiunifikation und allgemeinste Induktionsbeweise (Deduktion, DFG)
New Hardware Design Methods (NADA, Esprit)
Dynamic Interpretation of Natural Language (Dyana-2, Esprit)
Foundations of Functional and Logic Programming (Gentzen, Esprit)

Neuere Arbeiten

The proper treatment of coordination in Peirce grammar. Proceedings Workshop on Formal Grammar/Mathematics of Language '05, Edinburgh 2005. CSLI Publications, 2005
Kleene Modules and Linear Languages. Journal of Logic and Algebraic Programming, Vol 66/2 (2006), 185-194. DOI information: 10.1016/j.jlap.2005.04.004
Algebraically complete semirings and Greibach normal form (with Zoltan Esik). Annals of Pure and Applied Logic 133 (2005), 173--203.
Automata on Lempel-Ziv Compressed Strings (with Michel de Rougemont). Proceedings CSL 2003, Wien, Aug. 2003. Springer LNCS ??, pp 384--396. (Slides of the talk)
Greibach Normal Form in Algebraically Complete Semirings (with Zoltan Esik). BRICS Report Series RS-02-46, Dec. 2002, 43 pages. ISSN 0909-0878.
Kleenean Semimodules and Linear Languages. Extended Abstract in: Z.Ésik and A.Ingólfsdóttir (eds.) Preliminary Proceedings of the Workshop on Fixed Points in Computer Science, FICS '02, (Copenhagen, Denmark, July 20 and 21, 2002), June 2002.
Greibach Normal Form in Algebraically Complete Semirings (with Zoltan Esik). Proceedings CSL 2002, Edinburgh, Sept. 2002. Springer LNCS 2471, pp. 135-150.
Zweitstufige Prälogische Relationen und Repräsentationsunabhängigkeit. CIS-Bericht-01-127, März 2001. (Erweiterte Fassung der veröffentlichten englischen Version.)
Second-Order Pre-Logical Relations and Representation Independence. Proceedings TLCA 2001, Krakow, May 2-5, 2001. Springer LNCS 2044. Copyright by Springer-Verlag, 2001.
Definability and Compression (with Foto Afrati and Michel de Rougemont). Tech.Report (October 1999). Final version in: Proceedings of 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA. LICS 2000. IEEE Computer Society
Extending the Type Checker of SML by Polymorphic Recursion (with Martin Emms). Theoretical Computer Science 212 (1999), 157-181.
(Copyright does not permit to make this publicly accessible, but I can send a copy on request.)
Extending the Type Checker of SML by Polymorphic Recursion --
A Correctness Proof (with Martin Emms). CIS-Bericht-96-101.
Bounded Fixed-Point Definability and Tabular Recognition of Languages.
Proceedings CSL'95, Springer LNCS 1092, http://dx.doi.org/10.1007/3-540-61377-3_50
Combining Dynamic and Recursive Types. Proceedings TLCA'93, Springer LNCS 664, http://dx.doi.org/10.1007/BFb0037111
Towards Kleene Algebra with Recursion. Proceedings CSL'91, Springer LNCS 626

Vorlesungen und Seminare

Wintersemester 2009/10

Relationale Grammatik. Hauptseminar. Mo 14-16, Schellingstr.3, S 244.
Computerlinguistik II. Vorlesung mit Proseminar/Übung. Di, Do 16-18, Schellingstr.3, S 227.
Formale Sprachen und Automaten. Vorlesung mit Proseminar/Übung. Di 10-12, D0 14-16, Schellingstr.3, S 227

Frühere Semester

Einführung in das Symbolische Programmieren. Vorlesung mit Übung SS 2009
Syntax. Proseminar/Vorlesung SS 2009
Beschreibungslogik. Hauptseminar SS 2009
Implementierung einer Grammatik für das Mongolische. Arbeitsgemeinschaft SS 2009

Grammatikimplementierung. Hauptseminar WS 2008/09
Parsing. Hauptseminar mit Programmierübung WS 2008/09
Computerlinguistik II. Vorlesung mit Proseminar WS 2008/09

Datenstrukturen und Algorithmen zur Stringverarbeitung. Hauptseminar SS 2008
Geteiltes Wissen. Hauptseminar SS 2008
Funktionales Programmieren. Programmierkurs SS 2008
Semantik. Vorlesung mit Proseminar SS 2008

Formale Sprachen und Automaten. Vorlesung mit Proseminar. WS 2007/08
Computerlinguistik II. Vorlesung mit Proseminar. WS 2007/08
Syntax und Semantik von Vergleichsausdrücken. Hauptseminar WS 2007/08

Grammatical Framework. Hauptseminar. SS 2007
Syntax. Vorlesung/Proseminar SS 2007
Mathematische Grundlagen II. Vorlesung/Proseminar SS 2007

Computerlinguistik II. Vorlesung mit Proseminar. WS 2006/07
Parsing.Vorlesung/Hauptseminar mit Übung. WS 2006/07.
Grammatikimplementierung. Hauptseminar. WS 2006/07

Einführung in das symbolische Programmieren (Prolog). Programmierkurs. SS 2006
Logik des geteilten Wissens. Hauptseminar. SS 2006
Algorithmische Probleme kontextfreier Grammatiken. Hauptseminar. SS 2006
Sprachtheorie bei Aristoteles. Arbeitsgemeinschaft. (mangels Beteiligung ausgefallen)

Computerlinguistik II. Vorlesung mit Proseminar. WS 2005/06
Formale Sprachen und Automaten. Vorlesung mit Proseminar. WS 2005/06
Optimierung von Parsing-Algorithmen. Programmierpraktikum. WS 2005/06

Mathematische Grundlagen der Computerlinguistik II. Vorlesung mit Proseminar. SS 2005

Mathematische Grundlagen der Computerlinguistik I. Vorlesung mit Proseminar WS 2004/05
Semantik: Interpretation und Auswertung. Hauptseminar WS 2004/05
Computerlinguistik II. Vorlesung mit Proseminar WS 2004/05

Algorithmen und Datenstrukturen in der Stringverarbeitung. Vorlesung + Hauptseminar SS 2004
Semantik I. Vorlesung+Proseminar SS 2004
CIS-GRAMM. Arbeitsgemeinschaft SS 2004

Mathematische Grundlagen der Computerlinguistik II. Vorlesung und Proseminar SS 2003
Einführung in Standard ML, Programmierkurs SS 2003
Relationale Grammatik, Hauptseminar SS 2003

Mathematische Grundlagen der Computerlinguistik I. Vorlesung und Proseminar WS 2002/03
Mercury-Kurs zum Proseminar "Melcuk und Mercury", WS 2002/03
Logik und Automaten. Die Vorlesung fällt leider aus Mangel an Teilnehmern aus.
Einführung in das wissenschaftliche Arbeiten, WS 2002/03 ( LaTeX Beispiele )

Einführung in das symbolische Programmieren (Prolog), Vorlesung und Tutorial SS 2002
Semantik II , Vorlesung SS 2002
Grammatikimplementierung II
- Version 03.7.02 Nur Dokumentation (dokumentation.ps)
- Version 8.7.02 (ohne dokumentation.ps, ohne /Testbett) (Nur für Seminarteilnehmer)

Grammatikimplementierung I, Vorlesung mit Seminar WS 2001/02
Mathematische Grundlagen der Computerlinguistik I, Vorlesung mit Proseminar, WS 2001/2002

Einführung in das symbolische Programmieren (Prolog), Vorlesung und Tutorial SS 2001
Synonymie und Intensionalität, Hauptseminar WS 2000/2001
Einführung in Standard ML, Programmierkurs WS 2000/2001

Einführung in das symbolische Programmieren (Prolog), Vorlesung und Tutorial SS 2000
Mathematische Grundlagen II. Vorlesung und Proseminar SS 2000
Algorithmen und Datenstrukturen in der Stringverarbeitung. Hauptseminar SS 2000

Lektüre klassischer Texte der Sprachwissenschaft, Arbeitsgemeinschaft WS 1999/2000, SS 2000
Parsing, Vorlesung und Hauptseminar WS 1999/2000
Einführung in das symbolische Programmieren (Prolog), Vorlesung SS 1999 (prologfolien.ps)
Automaten und Transduktoren. Hauptseminar WS 1998/99.
Syntax I, Vorlesung SS 98 (syntax.pdf)
Formale Sprachen und Automaten, Vorlesung WS 97/98, (automaten.skriptum.ps)
Typsysteme funktionaler Programmiersprachen, Teil I. Vorlesung SS 97. CIS-Bericht-97-107
Theorie endlicher Modelle, Seminar WS 96/97

Organisation

CSL 2000. Annual Conference of the European Association for Computer Science Logic.
August 21-26, 2000 · Fischbachau/Munich, Germany. Member of the Local Organization Comittee
NADA Worshop on Streams. October 16-18, 1995, Schloß Elmau, 82493 Elmau/Oberbayern, Germany.
International workshop of the Esprit Basic Research Action `New Hardware Design Languages'.
Organizers: H.Leiß, H.Schwichtenberg
Workshop on `Common Foundations of Functional and Logic Programming'. Munich, March 26-28, 1992.
3rd Workshop of the Esprit Basic Research Action 3230. Organizer: H.Leiß

Last Modified: Mai 1st, 2003