Faculty Colloquium Current guest lectures Wednesday, 8 May 2024, 17.00 Uhr, WE5/01.006and via Zoom (meeting ID: 658 0966 2927, password: 0Lj=HL)Prof. Dr. Raúl Rojas, Freie Universit?t BerlinKonrad Zuse's Early ComputersAbstract(513.8 KB) Earlier colloquium lectures Thursday, 25 January 2024, 18.00, WE5/01.006Prof. Dr. Wim Martens, University of Bayreuth A Researcher's Digest of GQLAbstract(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 systemAbstract(192.5 KB) Thursday, 12.12.2019, 16:00 Uhr, WE5/03.004Prof. Dr. Kang Zhang, UT Dallas (currently Humboldt Professor at the University of Prague) Aesthetic Computing and Computational AestheticsAbstract(111.9 KB, 1 page) Monday, 02.12.2019, 18:00 Uhr, WE5/00.02Brent Lagesse Privacy in a World with Billions of CamerastAbstract(180.7 KB, 1 page) Thursday, 07.11.2019, 16:00 Uhr, WE5/05.003Prof. Dr. Thomas Noll (RWTH Aachen University) Quantitative Separation Logic: A Logic for Reasoning about Probabilistic Pointer ProgramstAbstract(182.0 KB, 1 page)Wednesday, 24.7.2019, 16:00 Uhr, WE5/04.004Andreas 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 StorytellingAbstract(182.4 KB, 1 page)Thursday, 14. Februar 2019, 16:00 Uhr, Raum WE5/04.004Prof. Dr. Peter H?fner, CSIRO & The University of New South Wales Sydney, Australia Backwards and Forwards in Separation LogicAbstract(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 systemsAbstract(187.9 KB, 1 page)Thursday, 26. April 2018, 16:00 Uhr, Raum WE5/01.006Prof. Dr.-Ing. Dr.h.c. Manfred Nagl, Emeritus, RWTH Aachen University Gotik und InformatikAbstract(185.6 KB, 1 page)Thursday, 14. Dezember 2017, 16:00 Uhr, Raum WE5/02.020Dr Adrien Guatto, INRIA, Pariso, A Functional Language with Time WarpsAbstract(198.7 KB, 1 page)Thursday, 7. Dezember 2017, 16:00 Uhr, Raum WE5/02.020Prof. Dr. habil. Martin Steffen, University of Oslo, Polymorphic Behaviour Inference for Deadlock CheckingAbstract(1.0 MB, 1 page)Tuesday, 01. August 2017, 16:00 Uhr, Raum WE5/05.003Dr. Thomas Noll (RWTH Aachen) Graph-Based Static Analysis of Concurrent Pointer ProgramsAbstract(181.3 KB, 1 page)Thursday, 06. Juli 2017, 16:00 Uhr, Raum WE5/05.003Prof. Yaroslav Prytula, UCU Ukraine Ukraine’s IT sector boomAbstract(181.5 KB, 1 page) Thursday, 02. M?rz 2017, 16:00 Uhr, WE5/04.004Jasper van de Ven, University of Bremen The Spatial Interaction LaboratoryAbstract(1.0 MB, 1 page)Thursday, 10. November 2016, 16:15 Uhr, WE5/04.004Stefan Oppl, Johannes Kepler University of Linz Articulation and Alignment of Knowledge about Organizational WorkAbstract(184.8 KB, 1 page) Thursday, 11. August 2016, 16:00 Uhr, WE5/05.003Rance Cleaveland , University of Maryland (UMD) Prove If You Can, Test If You CannotAbstract(185.4 KB, 1 page) Thursday, 9. Juni 2016, 16:00 Uhr, WE5/00.019Prof. Dr.-Ing. Felix Freiling, Universit?t Erlangen-Nürnberg Cyberkriminelle und ihre TricksAbstract(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 InteractionAbstract(190.2 KB)Thursday, 14. Januar 2016, 16:15 Uhr, WE5/01.006Dr.-Ing. Michael Deubzer, Timing-Architects Modellbasierte Software-Entwicklung von Echtzeitsystemen mit Multicore Prozessoren in der AutomobilindustrieAbstract(183.0 KB, 1 page)Thursday, 27. November 2014, 16:15 Uhr, WE5/01.006Prof. Dr. Gerhard Heyer, Universit?t Leipzig Formen der interaktiven Trend-Detection als explorative SucheAbstract(188.7 KB, 1 page) Thursday, 13. November 2014, 16:15 Uhr, WE5/01.006Paolo Bottoni, Department of Computer Science – Sapienza University of Rome Document and model annotation: a formal view and a system for Web annotationAbstract(1.0 MB, 1 page) Thursday, 30.Oktober 2014, 16:15 Uhr, WE5/01.006Dr. Todor Mladenov, Intel Mobile Communications GmbH, Neubiberg Modeling and Design of Network-on-ChipAbstract(316.6 KB, 1 page) Thursday, 23. Oktober 2014, 16:15 Uhr, WE5/01.006Prof. Dr. Meinard Müller, AudioLabs @ FAU Beethoven, Bach und Billionen Bytes - Musik trifft InformatikAbstract(254.3 KB, 1 page) Wednesday, 29. Januar 2014, 16:15 Uhr, WE5/00.022Grégoire Sutre, CNRS Research Fellow, LaBRI Bordeaux On the Boundedness Problem for Pushdown Vector Addition SystemsAbstract(216.0 KB, 1 page) Wednesday, 30. Oktober 2013, 16:00 Uhr, WE5/00.022Professor 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.006Professorin Dr.-Ing. Gabriele Taentzer, FB Mathematik und Informatik, Philipps Universit?t Marburg Modellgetriebene Entwicklung von mobilen SoftwaresystemenAbstract(314.9 KB, 1 page) Tuesday, 5. November 2013, 8:30 Uhr, WE5/00.019Professorin Dr. rer. nat. Petra Hofstedt, Brandenburgische Technische Universit?t Cottbus Beschreibung von Verhalten und Konfiguration mobiler Agenten und SystemeAbstract(314.4 KB, 1 page) Thursday, 07.11.2013, 16.00 Uhr c.t., WE5/01.0Prof. 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.006Dr. rer. nat. Daniela Nicklas, OFFIS, Carl-von-Ossietzky Universit?t Oldenburg Ich sehe was, was du nicht siehst: Qualit?tsaspekte mobiler Objekte in UmgebungsmodellenAbstract(314.8 KB, 1 page) Thursday, Do. 13.06.2013, 16.00 Uhr, WE5 00.019Prof. Dr. Julie Fisher, Monash University (Melbourne, Australien) Perspectives of women in the IT workforce AbstractThursday, 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 EscalationAbstract(217.5 KB, 1 page)Thursday, 31. Mai 2012, 18 Uhr ct., F384Prof. Dr. rer. nat. habil. Mathias Weske, Business Process Technology Group, Hasso-Plattner Institut, Potsdam Business Process Management: Abstraction, Consistency, ComplianceAbstract(253.1 KB)Thursday, 14.07.2011, 16 Uhr c.t., Raum F384Petra Hofstedt, Lehrstuhl für Programmiersprachen und Compilerbau, BTU Cottbus Multi-paradigm ProgrammingAbstract(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 MeasurementAbstract(176.7 KB, 1 page) Thursday, 16.06. 2011, 16 Uhr c.t., F384Janis Voigtl?nder, Universit?t Bonn Programmiersprachliche Techniken für Bidirektionale TransformationAbstract(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., F384Abstract(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, F384Abstract(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, F384Abstract(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, F135Abstract(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, F137Abstract(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., F135Abstract(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