direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Vorträge der Gruppe Übersetzerbau

Modular and Automated Type-Soundness Verification for Language Extensions
Referent:
Florian Lorenzen
Anlass:
18th ACM SIGPLAN International Conference on Functional Programming
Zeit/Ort:
27.09.2013, Boston, USA
Towards a Tight Integration of a Functional Web Client Language into Scala
Referent:
Christoph Höger und Martin Zuber
Anlass:
4th Workshop on Scala
Zeit/Ort:
02.07.2013, Montpellier, Frankreich
Call-by-Value Semantics for Mutually Recursive First-Class Modules
Referent:
Judith Rohloff
Anlass:
9th LASER Summer School
Zeit/Ort:
07.09.2012, Elba, Italien
A Statically Typed Functional Language With Programmable Binders
Referent:
Florian Lorenzen
Anlass:
9th LASER Summer School
Zeit/Ort:
07.09.2012, Elba, Italien
A Foundation for Programmable Binders in Statically Typed Functional Languages
Referent:
Florian Lorenzen
Anlass:
2012 Symposium on Trends in Functional Programming (TFP2012)
Zeit/Ort:
12.-14.06.2012, St. Andrews, Schottland
Call-by-Value Semantics for Mutually Recursive First-Class Modules
Referent:
Judith Rohloff
Anlass:
2012 Symposium on Trends in Funtional Programming (TFP2012)
Zeit/Ort:
12.-14.06.2012, St. Andrews, Schottland
Userdefined Connection Semantics
Referent:
Christoph Höger
Anlass:
75th Modelica Design Meeting
Zeit / Ort:
7.05.-9.05.2012, Lund
A Modelica Frontend Library For The JVM
Referent:
Christoph Höger
Anlass:
MATHMOD 2012 - 7th Vienna International Conference on Mathematical Modelling
Zeit / Ort:
15.02.-17.02.2012, Wien
3D Graphics Animation in OpenModelica with some Applications
Referent:
Christoph Höger
Anlass:
OpenModelica Annual Workshop
Zeit / Ort:
6.02.2012, Linköping
Verallgemeinerung von Records und Modulen in einer strikten funktionalen Sprache
Referent:
Judith Roloff
Anlass:
16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)
Zeit/Ort:
25.-28.09-2011, Schloss Raesfeld (Münsterland)
A Type Checker Library for Haskell
Referent:
Martin Zuber
Anlass:
16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)
Zeit/Ort:
25.-28.09.2011, Schloss Raesfeld (Münsterland)
Separate Compilation of Causalized Equations
Referent:
Christoph Höger
Anlass:
4rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools
Zeit / Ort:
5.09.2011, Zürich
Notes on the Separate Compilation of Modelica
Referent:
Christoph Höger
Anlass:
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools
Zeit / Ort:
3.10.2010, Oslo
Deriving a Strong Normalizing STG Machine
Referent:
Dirk Kleeblatt
Anlass:
Arbeitstagung Programmiersprachen (ATPS 2009)
Zeit / Ort:
1.10.2009, Lübeck
Constraint Functional Multicore Programming
Referent:
Petra Hofstedt
Anlass:
Arbeitstagung Programmiersprachen (ATPS 2009)
Zeit / Ort:
1.10.2009, Lübeck
Generation of Incremental Parsers for Modern IDEs
Referent:
Christoph Höger
Anlass:
15. Kolloquium Programmiersprachen und Grundlagen der
Programmierung (KPS'09)
Zeit / Ort:
12.-14.10.2009, Maria Taferl, Österreich
Verbesserung statischer Programmanalysen mit Hilfe einer Annotationssprache
Referent:
Judith Rohloff
Anlass:
14. Kolloquium Programmiersprachen und Grundlagen der
Programmierung (KPS'07)
Zeit / Ort:
10.-12.10.2007, Lübeck
Checking Dependent Types Efficiently
Referent:
Dirk Kleeblatt
Anlass:
19th International Symposium on Implementation and Application of Functional Languages
Zeit / Ort:
27.9.2007, Freiburg
Solution strategies for multi-domain constraint logic programs
Referent:
Dirk Kleeblatt
Anlass:
Sixth International Andrei Ershov Memorial Conference,
Perspectives of System Informatics
Zeit / Ort:
28.6.2006, Novosibirsk
A Generic Model of Functional Programming With Dynamic Optimization
Referent:
Martin Grabmüller
Anlass:
Seventh Symposium on Trends in Functional Programming (TFP 2006)

Zeit / Ort:
20.04.2006, Nottingham, UK
Meta-S - combining solver cooperation and programming languages
Referent:
Dirk Kleeblatt
Anlass:
19th Workshop on (Constraint) Logic Programming
Zeit / Ort:
21.2.2005, Ulm
Strategies for the efficient solution of hybrid constraint logic programs
Referent:
Dirk Kleeblatt
Anlass:
Third Workshop on Multiparadigm Constraint Programming Languages

Zeit / Ort:
7.9.2004, Saint-Malo
Turtle: A Constraint Imperative Programming Language
Referent:
Martin Grabmüller
Anlass:
Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
Zeit / Ort:
16.12.2003, Cambridge, UK
Cardinality Analysis for Recursive Types
Referent:
Baltasar Trancón y Widemann
Anlass:
4th International Symposium on Trends in Functional Programming
Zeit / Ort:
12.09.2003, Edinburgh
Advanced Strict Corecursion
Referent:
Baltasar Trancón y Widemann
Anlass:
15th International Workshop on the Implementation of Functional Languages

Zeit / Ort:
09.09.2003, Edinburgh
Co-Algebraic Modelling as an Adequate Means for Representing, Transforming and Discussing Transcendentally Defined Aesthetic Objects.
Referent:
Markus Lepper
Anlass:
escom 5 - Fifth Triennal Conference of the European Society for the Cognitive Science of Music
Zeit / Ort:
09.09.2003, Hannover
veröffentlicht:
Institute for Research in Music Education , ISBN 3-931852-66-0    
Online Postscript
TUB-TCI --- A Generic Architecture for Distributed Test Executio
Referent:
Markus Lepper
Anlass:
15th IFIP International Conference, TestCom 2003   

Zeit / Ort:
29.05.2003, sofia-antipolis
veröffentlicht:
Springer , in der Reihe “ LNCS ”, Band 2644 , ISBN 3-540-40123-7
Modeling Music using XML --- some Basic Considerations
Referent:
Markus Lepper
Anlass:
MAX 2002 --- Fist International Conference on Musical Application using XML

Zeit / Ort:
20.09.2002, State University of Milano
veröffentlicht:
IEEE CS / Technical Comittee on Computer Generated Music
Online Postscript
Stacking Cycles: Functional Transformation of Circular Data
Referent:
Baltasar Trancón y Widemann
Anlass:
14th International Workshop on the Implementation of Functional Languages

Zeit / Ort:
18.09.2002, Madrid
veröffentlicht:
Springer , in der Reihe “ LNCS ”, Band 2670 , ISBN 3-540-40190-3
Lifting Sequential Functions to Parallel Skeletons
Referent:
Thomas Nitsche
Anlass:
CMPP'02 - 3rd International Workshop on Constructive Methods for Parallel Programming

Zeit / Ort:
20. 07.2002, Dagstuhl
The TUB-TCI Test Control Infrastructure
Referenten:
Markus Lepper and Baltasar Trancón y Widemann and Jacob Wieland
Anlass:
Kick-off Meeting of the ETSI MTS-TCI Standardization Commitee

Zeit / Ort:
26.04.2002, FHG Fokus Berlin
A Framework for Cooperating Constraint Solvers - A Prototypic Implementation
Referentin:
Petra Hofstedt
Anlass:
CoSolv: Workshop on Cooperative Solvers in Constraint Programming. At the Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001

Zeit / Ort:
01.12.2001, Paphos, Cyprus
Minimize Mark-Up! natural Writing Should Guide the Design of Textual Modeling Front-Ends
Referent:
Markus Lepper
Anlass:
ER 2001 --- International Conference for Conceptual Modeling    

Zeit / Ort:
29.11.2001, Yokohama National University
How to integrate Declarative Languages and Constraint Systems
Referentin:
Petra Hofstedt
Anlass:
Kolloquium Programmiersprachen und Grundlagen der Programmierung    

Zeit / Ort:
10.10.2001, Rurberg
Experience Report: Using AsmL 1.5 for Reverse Engineering
Referentin:
Markus Lepper
Anlass:
Forschungsaufenthalt bei microsoft research / FSE   

Zeit / Ort:
07.09.2001, Redmond, WA, USA
MWatch -- Evaluating Temporal Predicates in Real Time
Referent:
Markus Lepper
Anlass:
Forschungsaufenthalt bei microsoft research / FSE    

Zeit / Ort:
27.08.2001, Redmond, WA, USA
Kooperation und Koordination von Constraint Lösern
Referentin:
Petra Hofstedt
Anlass:
Im Rahmen des Kolloquiums des Fachbereichs Informatik der Universitaet Rostock 

Zeit / Ort:
05.07.2001, Universitaet Rostock
Automized Generation of Abstract Syntax Trees via XML
Referenten:
Baltasar Trancón y Widemann und Jacob Wieland
Anlass:
XSE 2001 -- XML and Software Engineering Workshop

Zeit / Ort:
15.05.2001, Toronto, CA
Parallel Programming with Data Distribution Algebras
Referent:
Thomas Nitsche
Anlass:
Invited Talk: Research cooperation    

Zeit / Ort:
04.04.2001, Ponteficia Universidad Católica de Chile Departamento de Ciencia de Computacion, Santiago, Chile
Distributed Programming Environments for High-Level Declarative Languages
Referent:
Thomas Nitsche
Anlass:
2nd Workshop German-Chilenien Cooperation    

Zeit / Ort:
15.01.2001, Berlin
A System for Cooperation and Coordination of Constraint Solvers
Referentin:
Petra Hofstedt
Anlass:
Auf Einladung des Graduiertenkollegs "Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken" der Fakultät Informatik der Technischen Universität Dresden.    

Zeit / Ort:
05.12.2000, TU Dresden, Fakultät Informatik, Raum HG250
Cooperating Constraint Solvers
Referentin:
Petra Hofstedt
Anlass:
Sixth International Conference on Principles and Practice of Constraint Programming - CP2000    

Zeit / Ort:
20.09.2000, Singapore, Hilton Singapore
Thread Communication over MPI
Referent:
Thomas Nitsche
Anlass:
EuroPVM/MPI'00 - Recent Advances in Parallel Virtual Machine and Message Passing Interface, 7th European PVM/MPI Users' Group Meeting    

Zeit / Ort:
11.09.2000, Balatonfüred, Hungary
Better Communication for Tighter Cooperation
Referentin:
Petra Hofstedt
Anlass:
First International Conference on Computational Logic - CL2000    

Zeit / Ort:
24.07.2000, Imperial College, London, UK
Skeleton Implementations Based on Generic Data Distributions
Referent:
Thomas Nitsche
Anlass:
CMPP'00 - 2nd International Workshop on Constructive Methods for Parallel Programming    

Zeit / Ort:
02.07.2000, Ponte de Lima, Portugal
Cooperating Constraint Solvers
Referentin:
Petra Hofstedt
Anlass:
Auf Einladung der GMD FIRST. Kolloquium.    

Zeit / Ort:
18.05.2000, GMD FIRST, Kekulestr.7, 12489 Berlin, Raum D6(EG)
Constraint Programming
Referentin:
Petra Hofstedt
Anlass:
Auf Einladung der Einheit Methoden der Künstlichen Intelligenz (KI) des Instituts für Angewandte Informatik der TU Berlin. Forschungskolloquium, WS 1999/2000.    

Zeit / Ort:
25.01.2000, Franklinstr. 28/29, FR 6007, 10587 Berlin
Using Use Cases in Executable Z
Referent:
Wolfgang Grieskamp
Anlass:
icfem2000

Zeit / Ort:
05.01.2000, York/UK
veröffentlicht:
IEEE computer society , ISBN 0769508227    
Online Postscript
Parallelprogrammierung mit Skeletons und Datenverteilungsalgebren
Referent:
Thomas Nitsche
Anlass:
Invited Talk: Workshop "Parallelprogrammierung"    

Zeit / Ort:
18.12.1998, Freiberg
Transformation of Coverspecifications into Communication Functions for Parallel Systems
Referent:
Thomas Nitsche
Anlass:
International Workshop on Communication Based Systems

Zeit / Ort:
14.10.1998, Berlin
Optimizing Dynamic Execution of Data Distribution Algebras
Referent:
Thomas Nitsche
Anlass:
PARS'98 - GI-Workshop Parallel-Algorithmen, Rechnerstrukturen und -Systemsoftware    

Zeit / Ort:
17.09.1998, Karlsruhe
Transformation of Coverspecifications into Communication Functions for Parallel Systems
Referent:
Thomas Nitsche
Anlass:
IFL'98 - 10th International Workshop on the Implementation of Functional Languages    

Zeit / Ort:
09.09.1998, London, UK
Parallel Programming with Data Distribution Algebras
Referent:
Thomas Nitsche
Anlass:
Workshop on Parallel Functional Programming    

Zeit / Ort:
08.09.1998, London, UK
Functional Message Passing with OPAL-MPI
Referent:
Thomas Nitsche
Anlass:
EuroPVM/ MPI'98 - Recent Advances in Parallel Virtual Machine and Message Passing Interface, 5th European PVM/MPI Users' Group Meeting   

Zeit / Ort:
07.09.1998, Liverpool, UK
Compiler Support for the Specification and Verification of Software Systems
Referent:
Klaus Didrich
Anlass:
Semi-Formal and Formal Specification Techniques for Software Systems    

Zeit / Ort:
12.07.1998, Dagstuhl
Shape Analysis of Functional Programs with Algebraic Datatypes
Referent:
Thomas Nitsche
Anlass:
CMPP'98 - First International Workshop on Constructive Methods for Parallel Programming    

Zeit / Ort:
18.06.1998, Marstrand, Sweden
Effiziente Übersetzung von Datenverteilungsalgebren für Parallele Systeme
Referent:
Thomas Nitsche
Anlass:
Workshop des GK "Parallele Rechnernetze in der Produktionstechnik"    

Zeit / Ort:
23.03.1998, Willebadessen
Deriving Parallel Algorithms using Data Distribution Algebras
Referent:
Thomas Nitsche
Anlass:
Invited Talk: Workshop on "Theory and Practice of Higher-Order Parallel Programming"    

Zeit / Ort:
18.02.1997, Dagstuhl

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Leiter

Prof. Dr. Peter Pepper
Sprechstd.: n.V.

Sekretariat

Christine Beyer
Raum TEL1215
Tel: +49 30 314-73 470
Fax: +49 30 314-73 623

Öffnungszeiten

mail/tel. vereinbaren

Postadresse

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik
Sekr. TEL12-2
Ernst-Reuter-Platz 7
D-10587 Berlin