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
25.05.12:
Oberseminar Programmierung, Universität Tübingen, Wilhelm-Schickard-Institut, Tübingen, Ausblick auf Java 8
1.09.12
24th symposium on implementation and application of functional languages (IFL 2012) , Oxford, Functional implementation of well-typings in Javaλ
06.05.13
30. Workshop der FG "Programmiersprachen und Rechenkonzepte, Bad Honnef, Type inference for functional interfaces in Java 8
11.11.13
ERP Future 2013,Wien, Integrated Campus-Portal
12.11.13
Kollogium of the Institute of Computer Languages Compilers and Languages Group Technische Universität Wien, Wien, More type inference in Java 8
10.01.14:
Oberseminar Programmierung, Universität Tübingen, Wilhelm-Schickard-Institut, Tübingen, Typinferenz in Java-8
26.02.14
7. Arbeitstagung Programmiersprachen (ATPS 2014), Kiel, Functional Interfaces vs. Function Types in Java with Lambdas
28.04.14
31. Workshop der FG "Programmiersprachen und Rechenkonzepte, Bad Honnef, Generic instances in Java Byte Code
24.06.14
PSI '14, Ershov Informatics Conference Perspectives of System Informatics , St. Petersburg, More type inference in Java-8
06.05.15
32. Workshop der FG Programmiersprachen und Rechenkonzepte, Bad Honnef, Introducing Scala-like functional interfaces into Java
05.10.15
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'15) , Pörtschach am Wörthersee, Kärnten, Österreich, Java Type System - Proposals for Java 10 or 11
05.10.15
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'15) , Pörtschach am Wörthersee, Kärnten, Österreich, Bytecode-Generierung eines neuartigen Java-Compilers
25.02.16
9. Arbeitstagung Programmiersprachen (ATPS 2016), Wien, Structural Type Inference in Java-like Languages
03.05.15
33. Workshop der FG Programmiersprachen und Rechenkonzepte, Bad Honnef, Type unification for structural types in Java
26.06.16
30st International Workshop on Unification (UNIF 2016),Porto, Portugal Type unification for structural types in Java
08.05.17
34. Workshop der FG Programmiersprachen und Rechenkonzepte, Bad Honnef, Aktueller Stand des Java-TX Projekts
25.09.17
19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'17) , Weimar, Thüringen, Deutschland, Structural type inference in Java-like languages
27.09.17
14th International Conference on Managed Languages & Runtimes (ManLang, formerly PPPJ), Prague, Czech Republic, Introducing Scala-like function types into Java-TX
02.05.18
35. Workshop der FG Programmiersprachen und Rechenkonzepte, Bad Honnef, Optimierung der Java Typunifikation
06.05.19
36. Workshop der FG Programmiersprachen und Rechenkonzepte, Bad Honnef, Java-TX: The Language
24.09.19
20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'20) , Baiersbronn Baden-Württemberg, Deutschland, Von Pizza zu Java-TX
03.05.21
37. Workshop der FG Programmiersprachen und Rechenkonzepte, vituell via Zoom, Principal set of generated generics in Java-TX