Fakultätskolloquium

Aktuelle Gastvorträ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)

Frühere Kolloquiumsvorträge

  • 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