Faculty Colloquium
Current guest lectures
Wednesday, 8 May 2024, 17.00 Uhr, WE5/01.006
and via Zoom (meeting ID: 658 0966 2927, password: 0Lj=HL)
Prof. Dr. Raúl Rojas, Freie Universität Berlin
Konrad Zuse's Early Computers
Abstract(513.8 KB)
Earlier colloquium lectures
- Thursday, 25 January 2024, 18.00, WE5/01.006
Prof. Dr. Wim Martens, University of Bayreuth
A Researcher's Digest of GQL
Abstract(871.7 KB)
- Thursday, 23.April 2020, 16:15 Uhr, WE5/05.003 (postponed)
Prof. Dr.-Ing. Katharina Seifert, Director of the DLR Institute for Transport Systems Technology
Connected automated vehicles - expectations of a new mobility system
Abstract(192.5 KB)
- Thursday, 12.12.2019, 16:00 Uhr, WE5/03.004
Prof. Dr. Kang Zhang, UT Dallas (currently Humboldt Professor at the University of Prague)
Aesthetic Computing and Computational Aesthetics
Abstract(111.9 KB, 1 page)
- Monday, 02.12.2019, 18:00 Uhr, WE5/00.02
Brent Lagesse
Privacy in a World with Billions of Camerast
Abstract(180.7 KB, 1 page)
- Thursday, 07.11.2019, 16:00 Uhr, WE5/05.003
Prof. Dr. Thomas Noll (RWTH Aachen University)
Quantitative Separation Logic: A Logic for Reasoning about Probabilistic Pointer Programst
Abstract(182.0 KB, 1 page) - Wednesday, 24.7.2019, 16:00 Uhr, WE5/04.004
Andreas Schuch (PhD student at the Center for English Studies at the Karl-Franzens University Graz) and Prof. Dr. Roberta Maierhofer (Professor of American Studies at the Karl-Franzens University Graz)
Digitales Storytelling
Abstract(182.4 KB, 1 page) - Thursday, 14. Februar 2019, 16:00 Uhr, Raum WE5/04.004
Prof. Dr. Peter Höfner, CSIRO & The University of New South Wales
Sydney, Australia
Backwards and Forwards in Separation Logic
Abstract(185.3 KB, 1 page) - Thursday, 22. November 2018, 16:00 Uhr, Raum WE5/04.004.
Dr. Stefan Resmerita, University of Salzburg
Dealing with Time in software development processes for embedded control systems
Abstract(187.9 KB, 1 page) - Thursday, 26. April 2018, 16:00 Uhr, Raum WE5/01.006
Prof. Dr.-Ing. Dr.h.c. Manfred Nagl, Emeritus, RWTH Aachen University
Gotik und Informatik
Abstract(185.6 KB, 1 page) - Thursday, 14. Dezember 2017, 16:00 Uhr, Raum WE5/02.020
Dr Adrien Guatto, INRIA, Pariso,
A Functional Language with Time Warps
Abstract(198.7 KB, 1 page) - Thursday, 7. Dezember 2017, 16:00 Uhr, Raum WE5/02.020
Prof. Dr. habil. Martin Steffen, University of Oslo,
Polymorphic Behaviour Inference for Deadlock Checking
Abstract(1.0 MB, 1 page)
- Tuesday, 01. August 2017, 16:00 Uhr, Raum WE5/05.003
Dr. Thomas Noll (RWTH Aachen)
Graph-Based Static Analysis of Concurrent Pointer Programs
Abstract(181.3 KB, 1 page)
- Thursday, 06. Juli 2017, 16:00 Uhr, Raum WE5/05.003
Prof. Yaroslav Prytula, UCU Ukraine
Ukraine’s IT sector boom
Abstract(181.5 KB, 1 page)
- Thursday, 02. März 2017, 16:00 Uhr, WE5/04.004
Jasper van de Ven, University of Bremen
The Spatial Interaction Laboratory
Abstract(1.0 MB, 1 page)
- Thursday, 10. November 2016, 16:15 Uhr, WE5/04.004
Stefan Oppl, Johannes Kepler University of Linz
Articulation and Alignment of Knowledge about Organizational Work
Abstract(184.8 KB, 1 page)
- Thursday, 11. August 2016, 16:00 Uhr, WE5/05.003
Rance Cleaveland , University of Maryland (UMD)
Prove If You Can, Test If You Cannot
Abstract(185.4 KB, 1 page)
- Thursday, 9. Juni 2016, 16:00 Uhr, WE5/00.019
Prof. Dr.-Ing. Felix Freiling, Universität Erlangen-Nürnberg
Cyberkriminelle und ihre Tricks
Abstract(187.7 KB, 1 page)
- Thursday, 19. Mai 2016, 16:00 Uhr,
Dr.-Ing. Kai-Florian Richter, Universität Zürich
Spatial Cognitive Engineering for Situated Human-Computer Interaction
Abstract(190.2 KB)
- Thursday, 14. Januar 2016, 16:15 Uhr, WE5/01.006
Dr.-Ing. Michael Deubzer, Timing-Architects
Modellbasierte Software-Entwicklung von Echtzeitsystemen mit Multicore Prozessoren in der Automobilindustrie
Abstract(183.0 KB, 1 page) - Thursday, 27. November 2014, 16:15 Uhr, WE5/01.006
Prof. Dr. Gerhard Heyer, Universität Leipzig
Formen der interaktiven Trend-Detection als explorative Suche
Abstract(188.7 KB, 1 page) - Thursday, 13. November 2014, 16:15 Uhr, WE5/01.006
Paolo Bottoni, Department of Computer Science – Sapienza University of Rome
Document and model annotation: a formal view and a system for Web annotation
Abstract(1.0 MB, 1 page) - Thursday, 30.Oktober 2014, 16:15 Uhr, WE5/01.006
Dr. Todor Mladenov, Intel Mobile Communications GmbH, Neubiberg
Modeling and Design of Network-on-Chip
Abstract(316.6 KB, 1 page) - Thursday, 23. Oktober 2014, 16:15 Uhr, WE5/01.006
Prof. Dr. Meinard Müller, AudioLabs @ FAU
Beethoven, Bach und Billionen Bytes - Musik trifft Informatik
Abstract(254.3 KB, 1 page)
- Wednesday, 29. Januar 2014, 16:15 Uhr, WE5/00.022
Grégoire Sutre, CNRS Research Fellow, LaBRI Bordeaux
On the Boundedness Problem for Pushdown Vector Addition Systems
Abstract(216.0 KB, 1 page)
- Wednesday, 30. Oktober 2013, 16:00 Uhr, WE5/00.022
Professor Dr.-Ing. Rüdiger Kapitza, Carl-Friedrich-Gauß-Fakultät, Technische Universität Braunschweig
Betriebsunterstützung für mobile Systeme.
Abstract(317.6 KB, 1 page)
- Monday, 04.11.2013, 16:00 Uhr, WE5/01.006
Professorin Dr.-Ing. Gabriele Taentzer, FB Mathematik und Informatik, Philipps Universität Marburg
Modellgetriebene Entwicklung von mobilen Softwaresystemen
Abstract(314.9 KB, 1 page)
- Tuesday, 5. November 2013, 8:30 Uhr, WE5/00.019
Professorin Dr. rer. nat. Petra Hofstedt, Brandenburgische Technische Universität Cottbus
Beschreibung von Verhalten und Konfiguration mobiler Agenten und Systeme
Abstract(314.4 KB, 1 page)
- Thursday, 07.11.2013, 16.00 Uhr c.t., WE5/01.0
Prof. Niederman (St. Louis University) on IS integration following mergers and acquisitions.
Abstract(210.9 KB, 1 page)
- Friday, 25.10.2013, 8:15 Uhr, WE5/01.006
Dr. rer. nat. Daniela Nicklas, OFFIS, Carl-von-Ossietzky Universität Oldenburg
Ich sehe was, was du nicht siehst: Qualitätsaspekte mobiler Objekte in Umgebungsmodellen
Abstract(314.8 KB, 1 page)
- Thursday, Do. 13.06.2013, 16.00 Uhr, WE5 00.019
Prof. Dr. Julie Fisher, Monash University (Melbourne, Australien)
Perspectives of women in the IT workforce
Abstract - Thursday, 05.07.2012, 16.00h c.t., (F384)
Prof. Dr. Mark Keil, Georgia State University, Senior Editor der ISR
The Effect of an Initial Budget and Schedule Goal on Software Project Escalation
Abstract(217.5 KB, 1 page)
- Thursday, 31. Mai 2012, 18 Uhr ct., F384
Prof. Dr. rer. nat. habil. Mathias Weske, Business Process Technology Group, Hasso-Plattner Institut, Potsdam
Business Process Management: Abstraction, Consistency, Compliance
Abstract(253.1 KB) - Thursday, 14.07.2011, 16 Uhr c.t., Raum F384
Petra Hofstedt, Lehrstuhl für Programmiersprachen und Compilerbau, BTU Cottbus
Multi-paradigm Programming
Abstract(174.1 KB, 1 page) - Wednesday, 15.06., 16 c.t., F384 (Sondertermin)
Prof. Dr. Rudy Hirschheim, Louisiana State University, USA
Scholarly Influence and its Measurement
Abstract(176.7 KB, 1 page)
- Thursday, 16.06. 2011, 16 Uhr c.t., F384
Janis Voigtländer, Universität Bonn
Programmiersprachliche Techniken für Bidirektionale Transformation
Abstract(174.5 KB, 1 page)
- The Quest for the Limits of Automatic Program Verification
Dr. Antti Siirtola, Oulu University, Finnland.
Thursday, 26.05. 2011, 16 Uhr c.t., F384
Abstract(101.0 KB, 1 page)
- Modellbasiertes Testen eingebetteter Systeme: Erfahrungen aus einer Industriekooperation
Dr. Carsten Weise, RWTH Aachen
Thursday, 12.05. 2011, 16:00 Uhr, F384
Abstract(179.3 KB, 1 page)
Hocheffiziente Videocodierung: Aktuelle Trends und Forschungsentwicklungen.
Prof. Dr. Andre Kaup, Lehrstuhl für Multimediakommunikation und Signalverarbeitung, Universität Erlangen-Nürnberg
Thursday, 28.10.10, 16:00 Uhr, F384
Abstract(289.5 KB, 1 page)
- A first-order policy language for history-based transaction monitoring. Dr Rajev Goré, School of Computer Science,
Australian National University, Canberra.
Wednesday, 28.7.10, 16:00 Uhr, F135
Abstract(45.6 KB)
- Das ADOxx Meta-Modellierungs Framework: Konzepte, Funktionalität und Anwendungen. Prof. Dr. Dimitris Karagiannis, Fakultät für Informatik, Knowledge and Business Engineering, Universität Wien, Österreich.
Friday, 18.6.10, 11:30 Uhr, F137
Abstract(134.3 KB, 2 pages)
- IT Post-Merger Integration bei Banken. Dr. Stefan Luckner, Dr. Jörg Sandrock, Booz & Company.
Monday, 28.6.2010, 16 Uhr c.t., F135
Abstract(126.2 KB, 1 page)
- 5.3.2010, 9:00-10:00 Uhr, WP10. Prof. Christian Lengauer, Fakultät für Informatik und Mathematik, Universität Passau: Programmparallelisierung