Vorträge/Talks
- 25.03.92:
- 2. Workshop: Effiziente Implementierung funktionaler
Programmiersprachen, Oberjoch,
Order-Sorted Algebras als Semantik für SRDL-Module
- 09.05.94:
- Workshop: Deklarative Programmierung und Spezifikation, Bad Honnef,
Ordnungs-sortierte Algebren als Grundlage für Semantik und
Typsystem einer algebraischen Spezifikationssprache
- 04.05.95:
- Workshop Alternative Konzepte für Sprachen und Rechner, Bad Honnef,
Semantik und Implementierung einer funktionalen Sprache mit Subtypen
und Überladung
- 20.09.95:
- 11th Workshop on Abstract Data Types and COMPASS meeting, Oslo,
Concepts for Overloading and Subtyping in a Algebraic Specification Language
- 14.03.96:
- 3. Arbeitstreffen über Grundlagen, Spezifikation,
Implementierung und Verifikation von Programmiersprachen, Dresden,
SODA - Eine kleine Einführung
- 08.01.97:
- 6th International Workshop on Functional and Logic Programming,
Schwarzenberg, Extension of OBJ embedded in a SML environment
- 26.09.97:
- 9.Kolloquium: Programmiersprachen und Grundlagen der
Programmierung, Fehmarn,
Vollständige polymorphe ordnungs-sortierte Unifikation
- 27.04.98:
- 7th International Workshop on Functional and Logic
Programming, Bad Honnef, Type-Inference in OBJ-P
- 06.07.99:
- Andrei Ershov Third International Conference,
Perspectives of System Informatics, Novosibirsk-Akademgorodok,
(Rußland), Polymorphism in OBJ-P
- 25.10.02:
- Arbeitskreis Geschäftsprozesse & Workflowsysteme, Berufsakademie Stuttgart, Außenstelle Horb, Horb, Software-Engineering im Aris-Konzept
als Ansatz der Integration der
IT-Landschaft von Unternehmen
- 30.01.04:
- Kolloquium Programmierung, Universität Tübingen, Wilhelm-Schickard-Institut,
Tübingen, Ein
parametrisch polymorphes Typ-System für Java
- 24.06.04:
- Kolloquium Programmierung, Universität Tübingen, Wilhelm-Schickard-Institut,
Tübingen, Neues vom
parametrisch-polymorphen Typsystem für Java
- 05.07.04:
- 18th International Workshop on Unification UNIF'04
Cork, Ireland, Type
Unification in Generic-Java
- 07.07.04:
- Annual Meeting on Information Technology & Computer
Science of the BA-University of Cooperative Education,
Stuttgart, Untyped
Methods in Generic-Java
- 23.07.04
- 1. Alumni-Treffen der Berufsakademie Stuttgart, Außenstelle Horb,
Horb, Type-Casts ade, Scheiden tut nicht weh!
Generische Klassen in Java 1.5
- 06.10.04
- 3. GI-Workshop "EPK 2004 - Geschäftsprozessmanagement mit
Ereignisgesteuerten Prozessketten",
Luxemburg, ARIS
meets RUP - The ARIS Unified Information System Development Process
- 05.05.06
- 23. Workshop der FG "Programmiersprachen und Rechenkonzepte" Bad Honnef, Typ--Inferenz in Java
- 01.09.06:
- 5th international Symposium on Principles and Practice of Programming in Java,
Mannheim, Deutschland,
Typeless Programming in Java 5.0
- 07.11.06:
- 5th International Symposium on Formal Methods for Components and Objects,
Amsterdam, Netherlands,
Java type inference with wildcards
- 12.02.07:
- Oberseminar Programmierung, Universität Tübingen, Wilhelm-Schickard-Institut,
Tübingen,
Type inference in the generic type system of Java 5.0
- 03.05.07
- 24. Workshop der FG "Programmiersprachen und Rechenkonzepte" Bad Honnef, Formalization of the Java Type System
- 29.06.07:
- 21st International Workshop on Unification UNIF'07
Paris, France, Java
type unification with wildcards
- 06.09.07:
- 6th international conference on Principles and Practice of Programming in Java,
Lisbon, Portugal,
Typeless programming in Java 5.0 with Wildcards
- 06.10.07:
- 21st Workshop on (Constraint) Logic Programming and International Conference on
Applications of Declarative Programming and Knowledge Management (INAP 2007),
Würzburg, Deutschland,
Java Type Unification with Wildcards
- 13.02.08:
- Oberseminar Programmierung, Universität Tübingen, Wilhelm-Schickard-Institut,
Tübingen,
Generics
und Wildcards in Java 5.0
- 20.02.08:
- 4th Annual Meeting on Information Technology & Computer Science of the BA-University of Cooperative Education
Stuttgart, Subtyping in Java
- 05.05.08
- 25. Workshop der FG "Programmiersprachen und Rechenkonzepte" Bad Honnef, Auflösung von Durchschnittstypen in Java
- 11.09.08
- 6th International Symposium on Principles and Practice of Programming in Java,
Modena, Italy,
Intersection Types in Java
- 03.05.10
- 27. Workshop der FG "Programmiersprachen und Rechenkonzepte", Bad Honnef, Formalization of the Javaλ type system
- 20.09.10
-
Kollogium of the Institute of Computer Languages Compilers and Languages Group
Technische Universität Wien, Wien, Typeless Programming in Java 5 and 7
- 04.05.11
- 28. Workshop der FG "Programmiersprachen und Rechenkonzepte", Bad Honnef, Well-typings for Javaλ
- 25.08.11
-
9th international conference on Principles and Practice of Programming in Java,
Kongens Lyngby, Denmark, Well-typings for Javaλ
- 26.09.11
-
16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)
, Raesfeld, Implementation of well-typings in Javaλ
- 03.05.12
- 29. Workshop der FG "Programmiersprachen und Rechenkonzepte", Bad Honnef, Brian's approach vs. Martin's approach - Functional Interfaces vs. function types in Java 8