direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschungskolloqium

Im Forschungskolloquium des Fachgebiets ÜBB werden aktuell behandelte Forschungsthemen vorgestellt. Neben Vorträgen der MitarbeiterInnen und DiplomandInnen des Fachgebiets werden auch Gastvorträge im Rahmen des Kolloquiums gehalten.

Sommersemester 2013

Sommersemester 2013
Datum
Vortragende(r)
Thema
Bemerkung
05.09.2013
Martin Zuber
Fresh Scala: Defining object-level syntax modulo α-equivalence in Scala
Kolloquiumsklausur Schloss Ziethen
06.09.2013
Florian Lorenzen
Modular and Automated Type-Soundness Verification for Language Extensions
Kolloquiumsklausur Schloss Ziethen

Wintersemester 2012/2013

Wintersemester 2012/2013
Datum
Vortragende(r)
Thema
Bemerkung
1.11.2012
Dr. Stefan-Alexander Schneider
Functional Development with Modelica
16-18, TEL1011

Sommersemester 2012

Sommersemester 2012
Datum
Vortragende(r)
Thema
Bemerkung
24.04.2012
Fabian Otto
Eine Haskell-Bibliothek zur Manipulation kontextfreier Grammatiken und Parser
14-15, TEL1212
10.07.2012
Dr. Michael Tiller
Perspectives on Physical Modeling from Real World Applications
10-12, TEL1011
20.08.2012
Christoph Höger
Implementation Of Mosilab 5
Kolloquiumsklausur Landhaus Villago Strausberg
20.08.2012
Alexandra Mehlhase
Leitfaden zur Entwicklung und Wiederverwendung von Modellen für die Strukturdynamik
Kolloquiumsklausur Landhaus Villago Strausberg
20.08.2012
Florian Lorenzen
System F-omega with programmable binders
Kolloquiumsklausur Landhaus Villago Strausberg
21.08.2012
Judith Rohloff
Aktuelles von den Gruppen
Kolloquiumsklausur Landhaus Villago Strausberg
21.08.2012
Martin Zuber
Deriving Type Checkers - Progress Report
Kolloquiumsklausur Landhaus Villago Strausberg

Wintersemester 2011/2012

Wintersemester 2011/2012
Datum
Vortragende(r)
Thema
Bemerkung
21.11.2011
Christoph Conrads
Übersetzen einer funktionalen Programmiersprache nach JavaScript
14:30-16, TEL1212
15.12.2011
Markus Lepper
Optimization of Visitor Performance by Reflection-Based Analysis
10-12, TEL403
16.02.2012
Dmytro Hritsevskyy
Entwurf und Implementierung eines Werkzeugs zum Testen von kontextsensitiven Mustererkennungssystemen
10-12,
TEL403
16.04.2012
Alexandra Mehlhase
Python Framework für die Strukturdynamik
Kolloquiumsklausur SeePark Hotel Wandlitz
16.04.2012
Christoph Höger
λMod - Yet Another Modeling Kernel Language
Kolloquiumsklausur SeePark Hotel Wandlitz
16.04.2012
Judith Rohloff
Denotationelle Semantik für Gruppen
Kolloquiumsklausur SeePark Hotel Wandlitz
17.04.2012
Martin Zuber
Formalizing TypeCheckLib's Semantics
Kolloquiumsklausur SeePark Hotel Wandlitz
17.04.2012
Florian Lorenzen
A Foundation for Programmable Binders in Statically Typed Functional Languages
Kolloquiumsklausur SeePark Hotel Wandlitz
17.04.2012
Falk-Florian Henrich, Moritz Hilger
CeleraOne Analytics Engine
Kolloquiumsklausur SeePark Hotel Wandlitz

Sommersemester 2011

Sommersemester 2011
Datum
Vortragende(r)
Thema
Bemerkung
26.04.2011
Martin Fäcknitz
Ein Framework zum Task-parallelen Programmieren auf der JVM
15-16:30, TEL1212
19.09.2011
Martin Zuber
Towards a real world type checking framework
Kolloquiumsklausur Hotelresidenz Motzener See
19.09.2011
Judith Rohloff
Verallgemeinerung von Records und Modulen in
einer eager funktionalen Sprache
Kolloquiumsklausur Hotelresidenz Motzener See
19.09.2011
Sandro Rodriguez-Garzon
Kontextabhängige Personalisierung: Evaluation und Test
Kolloquiumsklausur Hotelresidenz Motzener See
19.09.2011
Florian Lorenzen
A type system proposal for Opal-2
Kolloquiumsklausur Hotelresidenz Motzener See
20.09.2011
Alexandra Mehlhase
Umsetzen der Strukturdynamik mit Hilfe von Skripten
Kolloquiumsklausur Hotelresidenz Motzener See
20.09.2011
Christoph Höger
Statische Analyse von Modelica
Kolloquiumsklausur Hotelresidenz Motzener See
20.09.2011
Falk-Florian Henrich
CeleraOne – Technology
Kolloquiumsklausur Hotelresidenz Motzener See
20.09.2011
Florian Lorenzen
Programmable type-safe derived forms
Kolloquiumsklausur Hotelresidenz Motzener See

Nach oben

Wintersemester 2010/2011

Wintersemester 2010/2011
Datum
Vortragende(r)
Thema
Bemerkung
28.10.2010
Wolfgang Grieskamp
Open Protocol Notation - Design and Implementation
14:30  - 16:00 Uhr, TEL 403
10.11.2010
Kristoff Schütt
Spatio-Temporal Data Mining of User Interactions Based on Pattern Description
13-15 Uhr, TEL1212
15.12.2010
Martin Zuber
A Haskell Type Checker Library
13-15 Uhr, TEL1212
15.12.2010
Björn Kalks
Eine Implementierung von CCFL mit
Lastverteilung auf Multicore-Architekturen
15-17 Uhr, TEL1212
05.01.2011
Jan Loewe
Komposition von Softwarekomponenten - Ein pragmatischer Ansatz
13-15 Uhr, TEL403
12.01.2011
Baltasar Trancón y Widemann
Programmierung als Leitbild in der Theorie der Ökosysteme
13-15 Uhr, TEL1212
26.01.2011
François Gerard
Design und Implementierung eines Frameworks zur Erzeugung von 3D-Straßenkarten auf der Grundlage freier Geodaten
13-15 Uhr, TEL1212
03.03.2011
David Broman
Modeling Kernel Language
10-12 Uhr, TEL1011
29.03.2011
Sebastian Schlunke
Optimizing CCFL-Process Cooperation for Multicore Architectures
12-14 Uhr, TEL1212
30.03.2011
Christoph Höger
Eine abstrakte Maschine für Gleichungen
Benutzerdefinierte Connector Semantik in Modelica & Co.
Kolloquiumsklausur Barnimer Hof
30.03.2011
Alexandra Mehlhase
Modellstrukturdynamik für Ingenieur
Kolloquiumsklausur Barnimer Hof
30.03.2011
Florian Lorenzen
Dynamic checking of dependent types – a dead end?
Kolloquiumsklausur Barnimer Hof
31.03.2011
Judith Rohloff
Opal 2 - das Scoping
Kolloquiumsklausur Barnimer Hof
31.03.2011
Sandro Rodriguez Garzon
Situation-dependent HMI personalization
Kolloquiumsklausur Barnimer Hof
31.03.2011
Peter Pepper
Towards a Mathematical Theory of Garbage Collectors
Notes on Hybrid Models, Refinement and Testing
Kolloquiumsklausur Barnimer Hof

Nach oben

Sommersemester 2010
Datum
Vortragende(r)
Thema
Bemerkung
23.04.2010
Christopher Steglich
Implementierung von Modelica 3.x mit Spracherweiterung
Um 12.30 im Raum TEL 1212
30.04.2010
Stefan Jank
Extended Modelica Typechecking by Integration of Physical Dimensions
Um 10:30 im Raum TEL 1212

01.07.2010
Florian Lorenzen
Typecheck by Optimization
Blockkolloquium Schloss Wulkow
01.07.2010
Peter Pepper
Deriving Parallel Garbage Collectors
Blockkolloquium Schloss Wulkow
01.07.2010
Christoph Höger
Acasual Modeling and simulation of physical systems
Blockkolloquium Schloss Wulkow
02.07.2010
Judith Rohloff
Ungenutzte Cores für Softwareverlässlichkeit nutzen
Blockkolloquium Schloss Wulkow
02.07.2010
Sandro Rodriguez Garzon
Location-Based Personalization within an Automotive Environment
Blockkolloquium Schloss Wulkow
02.07.2010
Andreas Büchele
Überblick über Registerallokationsverfahren
Blockkolloquium Schloss Wulkow

Nach oben

Wintersemester 2009/2010

Wintersemester 2009/2010
Datum
Vortragende(r)
Thema
Bemerkung
05.10.2009
Martin Görg

A Framework for the Abstract Representation and Recognition of Gestures in Multi-Touch Applications
Im Raum TEL403, 13:00 Uhr

13.11.2009
Wolfram Schulte
Smart Dust to Smart Cars: Why Modeling Enables Next-Gen Systems

Im Raum TEL1011, 14:00 Uhr
27.11.2009
Jan Loewe
Komposition von Komponenten: ein pragmatischer Ansatz
Im Raum TEL403, 12:15 Uhr
11.12.2009
Waldemar Lichtner
Modellbasiertes Lernen von Sprachbefehlen in einer multimodalen Umgebung
Im Raum TEL1212, 12:00 Uhr

11.12.2009
Florian Lorenzen
A glimpse of Opal-2
Im Raum TEL1212, 13:00
22.01.2010
Jan Sixt
Formale Komposition von Verhaltensspezifikationen
Im Raum TEL403, 12:15 Uhr

Nach oben

Sommersemester 2009

Sommersemester 2009
Datum
Vortragende(r)
Thema
Bemerkung
09.07.2009
Ilknur Atak
Model-Based Testing of In-Vehicle Human-Machine Systems with Spec
Explorer in Practice
ab 13 Uhr im Raum TEL1011

Hannes Mehnert
Extending Dylan's Type System
Andreas Büchele
Programmieren mit abhängigen Typen
21.09.2009
Kazunori Ueda
Analyzing and Understanding Nondeterministic Systems with
Hierarchical Graph Rewriting

Um 10:30 im Raum TEL403

Nach oben

Wintersemester 2008/09

Wintersemester 2008/09
Datum
Vortragende(r)
Thema
Bemerkung
09.01.2009
Florian Lorenzen
Functional is everywhere: an impression of density-functional theory
21.01.2009
Christoph Höger
eModelica

Außerplanmäßig: 13 Uhr
13.02.2009
Sandro Rodriguez Garzon
Intelligent User Interfaces for Automobiles
18.02.2009

Stephan Frank
Judith Rohloff
Dirk Kleeblatt

t. b. a.
Shape Analysis
Ableitung einer STG-Maschine für vollständige Normalisierung

Außerplanmäßig: ab 10.30 Uhr

Nach oben

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