Fakult?tskolloquium
Aktuelle Gastvortr?ge
- Mittwoch, 8. Mai 2024, 17:00 Uhr, WE5/01.006
sowie auf Zoom (Meeting-ID: 658 0966 2927, Passwort: 0Lj=HL)
Prof. Dr. Raúl Rojas, Freie Universit?t Berlin
Konrad Zuses frühe Rechenmaschinen
Abstract(513.8 KB)
Frühere Kolloquiumsvortr?ge
- Donnerstag, 25. Januar 2024, 18:00 Uhr, WE5/01.006
Prof. Dr. Wim Martens, Universit?t Bayreuth
A Researcher's Digest of GQL
Abstract(871.7 KB)
- Donnerstag, 15. Juni 2023, 18:00 Uhr, WE5/01.006
Adish Singla, MPI-SWS, Saarbrücken
AI-Driven Educational Technology for Introductory Programming
Abstract(1.0 MB)
- Montag, 23. Mai 2022, 16:00 Uhr, WE5/05.003
Prof. Zied Bouraoui, Artois University, France
Learning and reasoning with conceptual spaces
Abstract(1.0 MB, 1 Seite)
- Freitag, 29. April 2022, 14:00 Uhr, WE5/01.006
Keith Graham, Head of University Program at Codasip
The Codasip RISC-V University Program
Abstract(962.6 KB)
- Donnerstag, 23.April 2020, 16:15 Uhr, WE5/05.003
Prof. Dr.-Ing. Katharina Seifert, Direktorin des DLR-Instituts für Verkehrssystemtechnik
Vernetzte automatisierte Fahrzeuge – Erwartungen an ein neues Mobilit?tssystem
Abstract(192.5 KB)
Der Vortrag wurde verschoben ins WS 2020/2021.
- Donnerstag, 12.12.2019, 16:00 Uhr, WE5/03.004
Prof. Dr. Kang Zhang, UT Dallas (derzeit Humboldt-Professor an der Universit?t Prag)
Aesthetic Computing and Computational Aesthetics
Abstract(111.9 KB, 1 Seite)
- Montag, 02.12.2019, 18:00 Uhr, WE5/00.02
Brent Lagesse
Privacy in a World with Billions of Camerast
Abstract(180.7 KB, 1 Seite)
- Donnerstag, 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 Seite)
- Mittwoch, 24.7.2019, 16:00 Uhr, WE5/04.004
Andreas Schuch (Dissertant am Zentrum für Anglistik an der Karl-Franzens-Universit?t Graz) und Prof. Dr. Roberta Maierhofer (Professorin für Amerikanistik an der Karl-Franzens-Universit?t Graz)
Digitales Storytelling
Abstract(182.4 KB, 1 Seite)
- Donnerstag, 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 Seite)
- Donnerstag, 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 Seite)
- Donnerstag, 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 Seite)
- Donnerstag, 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 Seite)
- Donnerstag, 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 Seite) - Dienstag, 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 Seite) - Donnerstag, 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 Seite)
- Donnerstag, 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 Seite) - Donnerstag, 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 Seite)
- Donnerstag, 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 Seite)
- Donnerstag, 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 Seite)
- Donnerstag, 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)
- Donnerstag, 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 Seite) - Donnerstag, 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 Seite)
- Donnerstag, 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 Seite)
- Donnerstag, 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 Seite)
- Donnerstag, 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 Seite)
- Mittwoch, 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 Seite)
- Mittwoch, 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 Seite)
- Montag, 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 Seite)
- Dienstag, 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 Seite)
- Donnerstag, 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 Seite)
- Freitag, 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 Seite)
- Donnerstag, 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
- Donnerstag, 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 Seite)
- Donnerstag, 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)
- Donnerstag, 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 Seite)
- Mittwoch, 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 Seite)
- Donnerstag, 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 Seite)
- The Quest for the Limits of Automatic Program Verification
Dr. Antti Siirtola, Oulu University, Finnland.
Wann und Wo?: Donnerstag, 26.05. 2011, 16 Uhr c.t., F384
Abstract(101.0 KB, 1 Seite)
- Modellbasiertes Testen eingebetteter Systeme: Erfahrungen aus einer Industriekooperation
Dr. Carsten Weise, RWTH Aachen
Wann und Wo?: Donnerstag, 12.05. 2011, 16:00 Uhr, F384
Abstract(179.3 KB, 1 Seite)
Hocheffiziente Videocodierung: Aktuelle Trends und Forschungsentwicklungen.
Prof. Dr. Andre Kaup, Lehrstuhl für Multimediakommunikation und Signalverarbeitung, Universit?t Erlangen-Nürnberg
Wann und Wo?: Donnerstag, 28.10.10, 16:00 Uhr, F384
Abstract(289.5 KB, 1 Seite)
- A first-order policy language for history-based transaction monitoring. Dr Rajev Goré, School of Computer Science,
Australian National University, Canberra.
Wann und Wo?: Mittwoch, 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.
Wann und Wo?: Freitag, 18.6.10, 11:30 Uhr, F137
Abstract(134.3 KB, 2 Seiten)
- IT Post-Merger Integration bei Banken. Dr. Stefan Luckner, Dr. J?rg Sandrock, Booz & Company.
Wann und Wo?: Montag, 28.6.2010, 16 Uhr c.t., F135
Abstract(126.2 KB, 1 Seite)
- 5.3.2010, 9:00-10:00 Uhr, WP10. Prof. Christian Lengauer, Fakult?t für Informatik und Mathematik, Universit?t Passau: Programmparallelisierung