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
| 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
| Datum | Vortragende(r) | Thema | Bemerkung |
|---|---|---|---|
| 1.11.2012 | Dr. Stefan-Alexander Schneider | Functional Development with Modelica | 16-18, TEL1011 |
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
| 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
| 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 |
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 |
| 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 |
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 |
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 |
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 |
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe