|
Taxiplanung
Um gemeinsame Taxis von und zum Kolloquium zu organisieren, bitte hier eintragen:
Taxiplanung
(Nutzername und Passwort habe ich in einer Mail am 12.05.09 herumgeschickt)
Das Kolloquium
Das Kolloquium zum Dissertationspreis findet am 17. Mai bis 20. Mai 2009 (Sonntag bis Mittwoch, inkl. An- und Abreise)
in Schloss Dagstuhl statt.
Die GI übernimmt die Kosten für den Aufenthalt in
Dagstuhl (jedoch nicht die Anreise).
Informationen zur Anreise finden Sie auf dieser Website.
Für die weitere Programmplanung bestätigen Sie Ihre Teilnahme bitte bis zum 10. April bei Lilian Beckert. Als Standard nehmen wir an, dass Sie Sonntag anreisen und Mittwoch Abend abreisen, falls Ihr Reiseplan hiervon abweicht, teilen Sie dies bitte ebenfalls Lilian Beckert mit.
Vorläufiges Vortragsprogramm
|
Montag, 18. Mai 2009
|
| 08.30 |
Begrüßung
|
| 09.00 |
Dr. Arno Zinke
Universität Bonn
Photo-Realistic Rendering of Fiber Assemblies
|
| 09.30 |
Dr. Dominik Schultes
Universität Karlsruhe
Route Planning in Road Networks
|
| 10.00 |
Pause
|
| 10.30 |
Dr. Markus Chimani
TU Dortmund
Computing Crossing Numbers
|
| 11.00 |
Dr. Sebastian Dörn
Universität Ulm
Quantum Complexity of Graph and Algebraic Problems
|
| 11.30 |
Dr. Lutz Ißler
Universität Leipzig
Informationsverarbeitung im Informationsmanagement
|
| 12.00 |
Mittagessen
|
| 13.45 |
Foto
|
| 14.00 |
Dr.-Ing. Daniel Große
Universität Bremen
Quality-Driven Design and Verification Flow for Digital Systems
|
| 14.30 |
Dr. Jens Heidrich
TU Kaiserslautern
Goal-oriented Quantitative Software Project Control
|
| 15.00 |
Dr. Manfred Bortenschlager
Johannes Kepler-Universität Linz Technisch-Naturwissenschaftliche Fakultät
CorA, A Coordination Architecture for Collaboration in Pervasive ENvironments
|
| 15.30 |
Pause
|
| 16.00 |
Dr. Ilias Michalarias
Freie Universität Berlin
Multidimensional Data Management in Mobile Environments
|
| 16.30 |
Dr. Thomas Sauerwald
Universität Paderborn
Randomized Protocols for Information Dissemination
|
| 17.00 |
Dr. Sven Schewe
Universität des Saarlandes
Synthesis of Distributed Systems
|
| 17.30 |
Dr. Jonathan Schmitt
Universität Augsburg
Modellierung und Verifikation medizinischer Leitlinien
|
| 18.00 |
Abendessen
|
|
---------------------------------------
|
|
Dienstag, 19. Mai 2009
|
| 09.00 |
Dr. Ulrike Thomas
TU Braunschweig
Automatisierte Programmierung von Robotern für Montageaufgaben
|
| 09.30 |
Dr. Marco Reisert
Albert-Ludwigs-Universität Freiburg
Group Integration Techniques in Pattern Analysis, A Kernel View
|
| 10.00 |
Pause
|
| 10.30 |
Dr. Thomas Deselaers
RWTH Aachen
Image Retrieval, Object Recognition, and Discriminative Models
|
| 11.00 |
Dr.-Ing. Tino Weinkauf
Otto-von-Guericke-Universität Magdeburg
Extraction of Topological Structures in 2D and 3D Vector Fields
|
| 11.30 |
Dr. Thomas Gottron
Johannes Gutenberg-Universität Mainz
Content Extraction, Identifying the Main Content in HTML Documents
|
| 12.15 |
Mittagessen
|
| 13.30 |
Dr. Andreas Henschel
TU Dresden
A structural classification of protein-protein interactions for detection of convergently evolved motifs and for the predictions of protein binding sites on sequence level
|
| 14.00 |
Dr. Martin Groher
TU München
2D-3D Registration of Vascular Images, Towards 3D-Guided Catheter Interventions
|
| 14.30 |
Dr. Amir Madany Mamlouk
Universität zu Lübeck
Computergestützte Analyse von biologischen und bioinspirierten Signalverarbeitungs- und Wahrnehmungsprozessen
|
| 15.00 |
Dr. Sören Sonnenburg
TU Berlin
Machine Learning for Genomic Sequence Analysis
|
| 15.30 |
Pause
|
| 16.00 |
Dr.-Ing. Christoph Bockisch
TU Darmstadt
An Efficient and Flexible Implementation of Aspect-Oriented Languages
|
| 16.30 |
Dr. Beat Fluri
Universität Zürich
Change Distilling, Enriching Software Evolution Analysis with Fine-Grained Source Code Change Histories
|
| 17.00 |
Dr. Oliver Hummel
Universität Mannheim
Semantic Component Retrieval in Software Engineering
|
| 17.30 |
Dr. Carsten Binnig
Ruprecht-Karls-Universität Heidelberg
Generating Meaningful Test Databases
|
| 18.00 |
Abendessen
|
|
---------------------------------------
|
|
Mittwoch, 20. Mai 2009
|
| 08.30 |
Dr. Felix Salfner
Humboldt-Universität zu Berlin
Event-based Failure Prediction, An Extended Hidden Markov Model Approach
|
| 09.00 |
Dr. David Sabel
Johann Wolfgang Goethe-Universität Frankfurt am Main
Semantics of a Call-by-Need Lambda Calculus with McCarthy's amb for Program Equivalence
|
| 09.30 |
Dr. André Platzer
Carl von Ossietzky-Universität Oldenburg
Differential Dynamic Logic, Automated Theorem Proving for Hybrid Systems
|
| 10.00 |
Pause
|
| 10.30 |
Dr. Florian Rabe
Jacobs University Bremen
Representing Logics and Logic Translations
|
| 11.00 |
Dr. Franz Weitl
Universität Passau
Document Verification with Temporal Description Logics
|
| 11.30 |
Dr. Melanie Volkamer
Universität Koblenz-Landau
Evaluation of Electronic Voting, Requirements and Evaluation Procedures to Support Responsible Election Authorities
|
| 12.00 |
Ende des Kolloquiums
|
| 12.15 |
Mittagessen
|
| 13.30 |
Besprechung des Nominationsausschuss
|
Links
Schloss Dagstuhl
FAQ
Q: Wird beim Kolloquium Kleid/Anzug erwartet?
A: Nein, Kleidung ist nach eigenem Geschmack zu wählen.
Q: Welche Sprache wird beim Vortrag gefordert?
A: Die deutsche Sprache ist die Regel, auf Wunsch des Vortragenden kann ohne Weiteres auch auf englisch vorgetragen werden.
Q: Stehen beim Kolloquium Präsentationsmöglichkeiten zur Verfügung?
A: Ja, eine komplette multimediale Präsentationstechnik inklusive Computer, Tafel, Beamer und Overhead-Projektoren steht zur Verfügung.
Q: Wie entscheidend ist eine persönliche Teilnahme an dem Nominations-Kolloquium?
A: Die Nomination ist keineswegs an eine Teilnahme am Kolloquium gebunden. Das Kolloquium bietet die Chance, die Ergebnisse der Dissertation "bestmöglich" zu präsentieren. Wenn man diese nutzt, hat man natürlich einen Vorteil.
Q: Muss man in Schloss Dagstuhl noch ein Zimmer reservieren?
A: Nein, nach der Anmeldung bei Lilian Beckert wird alles weitere geregelt, inklusive der Reservierung eines Zimmers. Für spezielle Wünsche, beispielsweise vegetarische Mahlzeiten, wenden Sie Sich bitte an Robert Görke
Q: Wann steht denn der Sieger fest?
A: Das dauert in der Regel eine handvoll Wochen. In Dagstuhl auszuharren bis der Ausschuss fertiggetagt hat "lohnt sich" also nicht, denn dann wird noch nichts feststehen.
|
E-Mail senden