Johannes Waldmann - Talks

2017

Automation for Exercises on Principles of Programming Languages (Seminar LS21, Fak. Inf., TU München, 27. Februar) (Folien)

Geometrie unendlicher Folgen (Vortrag für Teilnehmer des Auswahlseminars des Bezirksolympiadekommittees, Universität Leipzig, 21. Januar)(Text)


2016

Musiktheorie (Harmonielehre) (Oberseminar Computermusik, IMN, HTWK, 25. Oktober) (Folien)

Sylver Coinage (Wochenendseminar der LSGM, Windischleuba, 21. Oktober) (Zusammenfassung einer ähnlichen Unterrichtsstunde von 2004)

Automated Performance Measurements (Workshop Haskell in Leipzig, September 14) (abstract,slides,software)

Termination and Complexity Competition 2016 - inofficial report (Workshop on Termination, Obergurgl, Austria, September 6)

Two Concrete Challenges in Complexity Analysis of Actual Haskell Code (Workshop Logic, Complexity, and Automation, Obergurgl, September 5) (slides,software)

Symbolic Enumeration of One-Rule String Rewriting Systems (with Alfons Geser and Mario Wenzel) (Workshop on Termination, Obergurgl, Austria, September 5) (abstract,slides, data: strings, cycles)

On the Construction of Matchbound Certificates (Workshop TERMGRAPH, Eindhoven, April 8) (paper,slides,software)


2015

Privacy Laws in Germany and Europe (presentation for guest students, Leipzig, October 19) (slides)

autotool (distance learning) Demonstration (presentation for guest students, Leipzig, October 19) (explanation)

Automatisierte Bewertung und Erzeugung von Übungsaufgaben zu Prinzipien von Programmiersprachen (18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015, Pörtschach, 5. Oktober) (paper and slides) (examples)

Interaktive Übungen zu Prinzipien von Programmiersprachen (Workshop on E-Learning 2015, Leipzig, 23. September) (Text und Folien) (examples)

Termination (Seminar, Univ. of New South Wales, Sydney, September 17) (Univ. of Newcastle, September 18)(slides)

Bit-Blasting for Termination Analysis (Seminar, Univ. of Melbourne, September 8) (slides)

Matrix Interpretation on Polyhedral Domains (Conf. Rewriting Techniques and Applications, Warsaw, June 30) (slides, paper, visualisation source code)

N-Weighted Finite Automata with Polyhedral Constraints (seminar lecture for QuantLA, Leipzig, June 23) (slides)


2014

Automated Exercises for Constraint Programming (28th Workshop on (Constraint) Logic Programming (WLP 2014), Wittenberg, September 15-17) (draft)

Describing and Measuring the Complexity of SAT encodings for Constraint Programs (with Alexander Bau) (28th Workshop on (Constraint) Logic Programming, September 15-17 2014, Wittenberg, Germany) (draft, slides)

Semantische Bewertung und personalisierte Erzeugung von Übungsaufgaben zu Mathematik, Logik, Informatik (Netzwerktreffen Mathematik/Physik E-Learning, HTWK Leipzig, 3. September) (Folien)

Termination and Complexity (International School on Rewriting, Valparaiso, Chile, August 25-27) (draft slides)

Automated SAT Encoding for Termination Proofs with Semantic Labelling and Unlabelling (with Alexander Bau, talk given by Alexander) (14th International Workshop on Termination, July 17-18 2014, Vienna, Austria) (proceedings)

Mind the Gap (virtuelles Tutorium mit Haskell-Lückentextaufgaben) (Workshop HaL9, 20. Juni, Universität Halle) (Hinweise)


2013

RNA Design by Program Inversion via SAT solving (with Alexander Bau and Sebastian Will), (Workshop on Constraint-Based-Methods for Bioinformatics, September 16th 2013, Uppsala, Sweden) (proceedings)

Propositional Encoding of Constraints over Tree-Shaped Data (with Alexander Bau) (22nd International Workshop on Functional and (Constraint) Logic Programming, September 11-13 2013, Kiel, Germany)

SAT compilation for Termination Proofs via Semantic Labelling (with Alexander Bau) (13th International Workshop on Termination August 28 - 31 2013, Bertinoro, Italy) (proceedings)

Propositional Encoding of Constraints over Tree-Shaped Data (with Alexander Bau, talk given by Alexander) (Workshop on Haskell and Rewriting Techniques, Eindhoven, June 27) (slides)

Compression of Rewriting Systems for Termination Analysis (with Alexander Bau, Markus Lohrey, Eric Noeth) (talk given by Eric) (Conference on Rewriting Techniques and Applications, Eindhoven, June 26) (slides

Haskell zur Constraint-Programmierung (mit Alexander Bau, talk given by Alexander) (Workshop HaL8 - Haskell in Leipzig, 21. Juni)

M****** in der Compilerbauvorlesung (30. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte, Bad Honnef, 6. Mai) (Zusammenfassung, Folien)

Rewrite Properties and Presburger Logic (Workshop on Proof Theory and Rewriting, Kanazawa/JP, March 5) (slides)


2012

Benchmarks and Competitions in Termination, SAT and SMT (Workhshop on Symbolic Data Design, HTWK Leipzig, 14. Dezember) (slides)

Einführung in Computational Social Choice (Oberseminar, HTWK/IMN, 15. Oktober) (Folien)

Constraint Programming for Secondary Structure Prediction Herbstseminar Bioinformatik, Doubice, October 4. (slides)

Compression of Rewriting Systems for Termination Analysis Forschungsseminar Theoretische Informatik, Univ. Leipzig, 11. Juli (Folien)

Starexec for Termination Starexec-Workshop, Manchester, July 1 (slides)

Exotic Semiring Constraints (with Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl) SMT-12 Workshop, Manchester, June 30 (slides)

Automatische Analyse von Termination und Komplexität von Programmen (Vortrag an der Univ. Bonn, 22. Juni) (Folien)

Size-Change Termination and Arctic Matrix Monoids (with Bertram Felgenhauer and Sibylle Schwarz) (Workshop on Weighted Automata - Theory and Applications, Dresden, June 1) (abstract, slides)

Sprachkonzepte der parallelen Programmierung (Fakultätskolloquium IMN, 2. Mai 2012) (Folien)

James Gosling über Java (Beispielvortrag OS Masterminds of Programming, 19. März 2012) (Folien)

Recent Developments in the Matchbox Termination Prover (with Alexander Bau, Tobias Kalbitz, Maria Voigtländer; talk given by Alexander) (12th Intl. Workshop on Termination, February 19 to February 23, 2012, Obergurgl, Austria) (Abstract, Slides)


2011

Praktische CUDA-Programmierung (Wissenschaftliches Kolloquium der Fakultät IMN, HTWK Leipzig, 14. 12. 2011) (Folien)

autotool und autotool-Netzwerk (mit Hans-Gert Gräbe, Frank Loebe, Sibylle Schwarz) (Vortrag auf HDS-Jahrestagung, TU Dresden, 4. 11. 2011) (Folien)

Datenschutz und (sozial)wissenschaftliche Forschung (Vortrag, HTWK Leipzig, FZ Eilenburger Str., 3. 11. 2011) (Folien)

Die wissenschaftliche Publikation (Vortrag im Rahmen der Kompetenzschule für Doktoranden, HTWK Leipzig, 20. 10. 2011) (Zusammenfassung, Folien)

Rechnen mit natürlichen Zahlen (Vortrag im LSGM-Wochenendseminar, Bennewitz, 16. 9. 2011)

(with Hans-Gert Gräbe und Sibylle Schwarz) OLAT-Erweiterungen zur Kursverwaltung, Prüfungsanmeldung und automatischen Auswertung von Programmieraufgaben (OLAT-User-Day, TU Dresden, 5. 9. 2011)

The ICFP 2010 Programming Contest (with Bertram Felgenhauer) (IFIP WG 1.6 meeting, June 2, 2011, Novi Sad, Serbia) (slides)

Durch Zufall zum Dan? Die Monte-Carlo-Baumsuche (Vortrag während des Go-Turniers "Potsdamer Panda", 2. 4. 2011) (Zusammenfassung, Folien)


2010

The ICFP 2010 Programming Contest (with Bertram Felgenhauer) (Int. Conf. Functional Programming, Baltimore/MD, 28. 9. 2010) (slides)

Matchbounds for Relative Termination (with Dieter Hofbauer) (Workshop on Termination, Edinburgh, 14. 7. 2010) (slides)

Polynomially Bounded Matrix Interpretations (Conf. Rewriting Techniques and Applications, Edinburgh, 13. 7. 2010) (slides)

Tropical Termination (with Adam Koprowski and Dieter Hofbauer) (Term Rewriting Seminar (TeReSe), RWTH Aachen, 28. 5. 2010) (slides)

Growth Bounds for Ordered Monoids and Semirings (Workshop on Weighted Automata Techniques and Applications, Leipzig, 7. 5. 2010) (slides)

Constructing Lower Bounds on the Derivational Complexity of Rewrite Systems (with Dieter Hofbauer) (Workshop Proof Theory and Rewriting, Obergurgl, 30. 3. 2010) (slides)


2009

Gewichtete Automaten und Ableitungskomplexität (Theorietag FG A+S, Wittenberg, 29. 9. 2009) (slides)

SMT solvers for Termination Provers (IFIP WG 1.6 Meeting, Brasilia, July 2009) (slides)

Automatic Termination (Invited talk, Conf. Rewriting Techniques and Applications, Brasilia, June 2009) (slides)

Entwurfsmuster vom Kopf auf die Füße gestellt (Haskell-Workshop, Halle, Juni 2009) (Folien)

Report on the 2008 Termination Competition (Workshop on Termination, Leipzig, June 2009) (slides)


2008

Polynomial bounds for N-weighted word automata (Forschungsseminar Theoretische Informatik, Univ. Leipzig, Dezember 2008) (slides)

The Leipzig autotool E-Learning/E-Testing System (Symposium on Math Tutoring, Tools and Feedback, Open Universiteit Nederland, September 19, 2008) (slides)

Non-Termination (mit Martin Oppelt) (Forschungsseminar Theoretische Informatik, Univ. Leipzig, Juli 2008)

Certified Termination (Overview) (IFIP WG 1.6 meeting, Hagenberg, July 2008) (slides)

Arctic Termination ... Below Zero) (with Adam Koprowski, talk given by Adam) (Conf. Rewriting Techniques and Applications, Hagenberg, July 2008)

Weighted Automata define a Hierarchy of Terminating String Rewriting Systems (with Andreas Gebhardt, talk given by Andreas) (Workshop Weighted Automata: Theory and Applications, Dresden, May 2008)

Max/Plus Tree Automata for Termination of Term Rewriting (with Adam Koprowski) (Workshop Weighted Automata Techniques and Applications, Dresden, May 2008)

Weighted Tree Automata for Termination of Term Rewriting (with Adam Koprowski) (Bereichsseminar Theoretische Informatik, Univ. Leipzig, Januar 08) (abstract, slides)


2007

Equivalence of Match-Boundedness, Change-Boundedness and Inverse Match-Boundedness for Length-Preserving String Rewriring (with Dieter Hofbauer) (Theorietag, Leipzig, September 07) (abstract, slides)

Non-Termination (Austro Japanese Rewriting Workshop, Obergurgl, August 07) (slides)

Das autotool als Service-Provider (mit Christian Wanka) (Workshop E-Learning, Leipzig, July 07) (Folien)

Das autotool-System und seine Anwendung in einem Informatik-Grundkurs (Nebenfach) (Workshop E-Learning, Leipzig, July 07) (Folien)

Matrix Evolutions (with Andreas Gebhardt and Dieter Hofbauer; talk given by Andreas) (Workshop on Termination, Paris/FR, June 07) (slides)

Arctic Termination (Workshop on Termination, Paris/FR, June 07) (slides)

Report on the 2007 Termination Competition (with Claude Marche and Hans Zantema) (Workshop on Termination, Paris/FR, June 07) (slides)

A Control Language (Proposal) for Modular Termination Provers (CoLoR Workshop, Nancy/FR, May 07) (slides)


2006

Haskell mit Stil (Workshop Haskell in Leipzig, Dezember 06) (folien)

Spieltheorie und -Praxis (Leipziger Informatik-Tage, Dezember 06)

Algorithmen zur gerechten Teilung (Weiterbildung für Mat/Nat-Lehrer, Jena, September 06)

Complexity bounds from relative termination proofs (With Dieter Hofbauer; talk given by Dieter) (Workshop on Proof Theory and Rewriting, Obergurgl, September 06) (slides)

Automatic Certification of Polynomial Derivation Lengths in String Rewriting (Workshop on Proof Theory and Rewriting, Obergurgl, September 06) (slides)

Termination of String Rewriting with Matrix Interpretations (With Dieter Hofbauer; talk given by Dieter) (Universität Innsbruck, September 06) (slides)

"Free" SCC Analysis via Constant Interpretations (Workshop on Termination, Seattle, August 06) (slides)

Decomposing Terminating Rewrite Relations (With Jörg Endrullis and Dieter Hofbauer; talk given by Jörg) (Workshop on Termination, Seattle, August 06) (slides)

Matrix Interpretations for Termination of Term Rewriting (With Jörg Endrullis and Hans Zantema; talk given by Jörg) (Intl. Joint Conf. Automated Reasoning, Seattle, August 06) (slides)

Termination of String Rewriting With Matrix Intepretations (With Dieter Hofbauer) (Intl. Conf. Rewriting Techniques and Applications, Seattle, August 06) (slides)

Weighted Automata for Proving Termination of String Rewriting (Workshop on Weighted Automata Theory and Applications, Uni Leipzig, 30. 3. 06) (Folien: pdf, einzeln, ps, acht pro Seite)


2005

Gleichungen und Ungleichungen in nichtkommutativen Ringen (8. Mitteldeutschter Computeralgebra-Tag, HTWK Leipzig, 8. 10. 05) (Folien: pdf, einzeln, ps, acht pro Seite)

Objektorientierte Entwurfsmuster in funktionalen Programmiersprachen (Kolloquium FB IMN, HTWK Leipzig, 14. 6. 05) (Folien: pdf, einzeln, ps, acht pro Seite )

Gewichtete Automaten als Terminations-Zertifikate für String Rewriting (Bereichsseminar Theoretische Informatik, Universität Leipzig, 8. 6. 05) (Folien: pdf, einzeln, ps, acht pro Seite )

Generische Polymorphie in Java-1.5 (Kolloquium FB IMN, HTWK Leipzig, 31. 5. 05) (Folien: pdf, einzeln, ps, acht pro Seite )

Endliche Automaten als Terminations-Zertifikate (Bereichsseminar Theoretische Informatik, Universität Halle, 17. 5. 05) (Folien: pdf, einzeln, ps, acht pro Seite )

Das E-Learning-System autotool (Bereichsseminar Theoretische Informatik, Universität Leipzig, 11. 5. 05) (Folien: pdf, einzeln, ps, acht pro Seite )


2004

Automatentheorie für Ersetzungssysteme (Bereichsseminar Theoretische Informatik, Universität Leipzig, 20. 10. 04)

Matchbox - a tool for matchbounded string rewriting (Intl. Conf. Rewriting Techniques and Applications, RWTH Aachen, Juni 04)


2003

XML: Definitionen, Anwendungen, Werkzeuge (Bereichsseminar Theoretische Informatik, Universität Leipzig, 6. 5. 03) ( Zusammenfassung )

Automatische Terminations-Beweise durch Deleting und Match-Bounded String-Rewriting (Bereichsseminar Theoretische Informatik, Universität Leipzig, 29. 4. 03) ( Zusammenfassung )

Schieberegister, Spiele und endliche Automaten (Bereichsseminar Theoretische Informatik, Universität Leipzig, 7. 1. 03) ( Zusammenfassung | Folien )


2002

Falt-Folgen, Rudin-Shapiro-Polynome und Weihnachtssterne (Bereichsseminar Theoretische Informatik, Universität Leipzig, 17. 12. 02) ( Folien )

Syntaktische Monoide, Synchronisierende Wörter und Straßenfärbungen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 12. 11. 02)

Nachfolgermengen in Wort-Ersetzungs-Systemen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 29. 10. 02) ( Zusammenfassung | Folien )

Rewriting, Automata, and Games (ICASE NASA LAngley Research Center, Hampton, Virginia, 2. Oktober 02) (Slides)

Praktische Haskell-Programmierung (Gastvortrag in der Vorlesung Funktionale Programmierung von Prof. Dr. S. Gerber, Leipzig, 28. 6. 02) ( Folien )

Kalküle für Objekte (Bereichsseminar Theoretische Informatik, Universität Leipzig, 18. 6. 2002) ( Zusammenfassung | Folien )

Typsysteme für Programmiersprachen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 11. 6. 2002) ( Zusammenfassung | Folien )

Term-Ersetzungs-Spiele (Bereichsseminar Theoretische Informatik, Universität Leipzig, 23. und 30. 4. 2002) ( Zusammenfassung | Folien (Teil 1) | Folien (Teil 2) )

Die Zwillingskreise des Archimedes (Wochenendseminar der LSGM, Bennewitz, 20. 4. 2002)

Baumweite, historisch gesehen (Kurzvortrag im Bereichsseminar Theoretische Informatik, Universität Leipzig, 16. 4. 2002) (Zusammenfassung (Gesamtvortrag) |Folien)

Programmierwettbewerb Phutball (Vortrag auf Veranstaltung des GAOS e.V. Leipzig, Moritzbastei, 9. 4. 2002) (Zusammenfassung, Folien)

Wort-Ersetzungs-Systeme und kontextfreie Sprachen (gemeinsame Arbeit mit Alfons Geser, Dieter Hofbauer, und Mirko Rahn) (Bereichsseminar Theoretische Informatik, Universität Leipzig, 15. 1. 2002) (Zusammenfassung)


2001

Gerechte Teilungsalgorithmen (Weihnachtsvorlesung am Institut für Informatik, 19. 12. 2001) (Text)

Partitionen und erzeugende Funktionen (Wochenendseminar der LSGM, 26. Oktober 2001, Bennewitz) (Text)

Dreibeinige PCP-Biber (Ko-Autoren Mario Schmidt und Heiko Stamer, Vortrag gehalten von Heiko) (11. Theorietag der Fachgruppe 0.1.5 Automaten und Formale Sprachen der GI, Wendgräben bei Magdeburg, 5. 10. 2001)

Programmierwettbewerb Connections und Fortsetzungen (Konferenz LIT01, HTWK Leipzig, 1. 10. 2001) (Folien)

Übungsaufgaben automatisch korrigieren mit autotool (Ko-Autor und Vortragender: Mirko Rahn) (Konferenz LIT01, HTWK Leipzig, 1. 10. 2001)

Zum Studium der Grundlagen der Informatik (Vortrag für Schüler aus Leistungskursen Mathematik, Univ. Leipzig, 16. 9. 2001) (Text)

Tree Walking Automata, (Seminar Theoretische Informatik, Univ. GH Kassel, 13. 7. 2001) (Zusammenfassung)

Zwei Unterrichtsthemen im Sommerlager der Leipziger Schülergesellschaft Mathematik (1. - 8. 7. 2001) (Kuchenteilung, Spieltheorie)

Praktische Funktionale Programmierung (im Rahmen der Vorlesung Funktionale Programmierung von Prof. Dr. S. Gerber, Inst. f. Informatik, Univ. Leipzig, 25. 6. 2001) (Folien)

Approximation von Nachfolgermengen durch Baum-Automaten, (AG Implementierung von Programmiersprachen, Inst. Th. Inf., TU Dresden, 22. 6. 2001) (Zusammenfassung)

Busy Beaver PCPs (with co-authors Mario Schmidt and Heiko Stamer) (5th International Workshop on Termination, Utrecht, 21. 5. 2001) (Abstract | Slides)

Übungsaufgaben automatisch korrigieren mit autotool (Bereichsseminar Theoretische Informatik, Universität Leipzig, 8. 5. 2001) (Zusammenfassung | Folien)

Automaten, die auf Bäumen spazierengehen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 24. 4. 2001) (Zusammenfassung | Folien)

Programmierwettbewerb Connections (Bereichsseminar Theoretische Informatik, Universität Leipzig, 10. 4. 2001) (mehr Informationen)

Regeln für unregelmäßige Zeichenketten, Konferenz Begabtenförderung Mathematik, Universität Leipzig, 30. 3. 2001

Zwei Vorträge im Seminar zur Vorbereitung der sächsischen Teilnehmer der Deutschen Mathematik-Olympiade (Sayda, 20. 3. 2001)

  • Kombinatorik auf Wörtern
  • Spiele auf Graphen

2000

Jonglieren mit Zahlen (Weihnachtsvorlesung, Institut für Informatik, Universität Leipzig, 13. 12. 2000) (Zusammenfassung | Manuskript)

(Haupt-Autor Gundula Niemann) Die regulären Sprachen und die Church-Rosser-Kongruenz-Sprachen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 28. 11. 2000) (Zusammenfassung | Folien (nur Teil 2))

(Co-Autor Heiko Stamer) Neuigkeiten vom Postschen Korrespondenzproblem (Bereichsseminar Theoretische Informatik, Universität Leipzig, 7. 11. 2000) (Zusammenfassung | Folien (Teil 1) | Folien (Teil 2))

Aktuelles aus der Theorie Endlicher Automaten (Bereichsseminar Theoretische Informatik, Universität Leipzig, 17. 10. 2000) (Zusammenfassung | Text)

Fixpunkte von Morphismen und Normalformen von Ersetzungssystemen (10. Theorietag der Fachgruppe 0.1.5 Automaten und Formale Sprachen der GI, Technische Universität Wien, 27. 9. 2000) (Ausgedehnte Zusammenfassung)

Zwei Kurse im Mathecamp der Leipziger Schülergesellschaft für Mathematik (Schneeberg, 13. - 23. 7. 2000)

  • Ungleichungen
  • Kombinatorik auf Wörtern

Praxis der Funktionalen Programmierung (Bereichsseminar Theoretische Informatik, Universität Leipzig, 27. 6. 2000) (Abstrakt | Folien)

Wozu bewies F. P. Ramsey den Satz von F. P. Ramsey? (Bereichsseminar Theoretische Informatik, Universität Leipzig, 30. 5. 2000) (Abstrakt | Aufsatz | Folien)

Zwei Vorträge im Wochenendseminar der Leipziger Schülergesellschaft für Mathematik (Bennewitz, 13. 5. 2000)

  • Ramsey-Theorie
  • Sortieren und Auswählen

Aktuelles aus der Kombinatorischen Logik (Bereichsseminar Theoretische Informatik, Universität Leipzig, 2. 5. 2000) (Abstrakt | Folien)

Zwei Vorträge im Seminar für die sächsischen Teilnehmer der Deutschland-Olympiade (Grünheide, 14. 3. 2000)

  • Ramsey-Theorie
  • Geometrische Ungleichungen

Drei Vorträge im Wochenendseminar der Leipziger Schülergesellschaft für Mathematik (Bennewitz, vom 11. - 13. 2. 2000)

  • Ramsey-Theorie
  • Unit-Origami
  • Domino-Varianten

Zwei Vorträge im Seminar Funktionales Programmieren von Prof. Dr. S. Gerber, Institut für Informatik, Universität Leipzig

      1. 00: Rekursionsschemata (fold, build) und Rechenregeln (Fusion, Acid Rain) (Quelltexte)
      1. 00: Speicherverwaltung und Garbage Collection (Folien und Quelltexte)

1999

Zwei Vorträge im Wochenendseminar der Leipziger Schülergesellschaft für Mathematik:

  • Jonglieren und Mathematik, 27. 11. 1999
  • Der Schubfachschluß, 28. 11. 1999

Drei Vorträge zu Struktur und Endlichkeit (Bereichsseminar Theoretische Informatik, Universität Leipzig, 2., 16. und 23. 11. 1999) (Zusammenfassung und Folien)

Boolesche Operationen auf Wort- und Baumautomaten mit kurzen Schleifen (9. Theorietag der Fachgruppe 0.1.5 der Gesellschaft für Informatik, Schauenburg-Elmshagen, 28. 9. 1999) (Text)

Jonglieren und Mathematik (Schülerakademie Mathematik, Hundeshagen, 29. 7. 1999) (Text)

Tree Automata in RX (software demo) (Workshop on Implementing Automata, Potsdam, 17. 7. 1999) (extended abstract)

Logische Klassifizierung regulärer Sprachen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 8. 6. 1999) (Abstrakt | Folien)

Set Constraints (Bereichsseminar Theoretische Informatik, Universität Leipzig, 18. 5. 1999) (Abstrakt | Folien)

Deciding Head Normalization and Proving Top Termination for CL(S) (4th Intl. Workshop on Termination, Schloß Dagstuhl, 12. 5. 1999) (slides)

Top-Termination für CL(S) (Bereichsseminar Theoretische Informatik, Universität Leipzig, 27. 4. 1999) (Abstrakt)

Les mathématiques du jonglage (avec démo!) (Laboratoire d'Informatique Fondamentale de Lille, 30. März 1999) (abstract)

Regular Languages of S Terms (Réunions Calcul formel, Automates, Logique et Complexité, Laboratoire d'Informatique Fondamentale de Lille, 25. 02. 1999)


1998

Dual Ground Tree Transducer (Bereichsseminar Theoretische Informatik, Universität Leipzig, 8. 12. 1998) (Abstrakt | Folien - ohne Bilder)

Busy Beaver (Bereichsseminar Theoretische Informatik, Universität Leipzig, 27. 10. 1998) (Abstrakt)

Kategorien, Monaden und Funktionales Programmieren (Bereichsseminar Theoretische Informatik, Universität Leipzig, 16. und 23. 6. 1998) (Folien)

Term-Ersetzungs-Systeme und Reguläre Baum-Sprachen, (Bereichsseminar Theoretische Informatik, Universität Leipzig, 5. 5. 1998) (Folien)

Normalization of S-Terms is Decidable (9th RTA, Tsukuba, 31. 3. 1998) (slides|text)

Jonglieren und Mathematik (Institut für Informatik, Universität Jena, 25. 3. 1998) (Text)

Der Kombinator S, (Verteidigung meiner Dissertation, Jena, 20. 2. 1998) (Folien|Text)


this page is best viewed with any browser


http://www.informatik.uni-leipzig.de/~joe/