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