Archiv Kolloquium Informatik/Wirtschaftsinformatik

Wintersemester 2014/15

08.12.2014, 16:00 Uhr, H 321

"Online Voting and Polyas"

B.Sc. Math. Dipl.-Kfm. Dipl.-Volksw. Moritz Strube

Leiter Forschung & entwicklung Micromata GmbH

01.12.2014, 16:00 Uhr, H 321

"Digitale Spuren - Möglichkeiten und Grenzen der IuK - Forensik"

Thomas Mohr, Leiter Fachkommissariat K15, IuK-Forensik, Polizeipräsidium Trier

08.12.2014, 16:00 Uhr, H 321

"Online Voting and Polyas"

B.Sc. Math. Dipl.-Kfm. Dipl.-Volksw. Moritz Strube

Leiter Forschung & entwicklung Micromata GmbH

01.12.2014, 16:00 Uhr, H 321

"Digitale Spuren - Möglichkeiten und Grenzen der IuK - Forensik"

Thomas Mohr, Leiter Fachkommissariat K15, IuK-Forensik, Polizeipräsidium Trier

Sommersemester 2014

07.07.2014, 17:00 Uhr, Raum C 321

Dipl.-Inf. Guido Schmitz, Dipl.-Inf. Daniel Fett

"An expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System"

07.05.2014, 16:15 Uhr, Raum H445

Dr. Max Tuengerthal

"FutureID - A Comprehensive Identity Management Infrastructure for Europe"

07.05.2014, 16:15 Uhr, Raum H445

Dr. Max Tuengerthal

"FutureID - A Comprehensive Identity Management Infrastructure for Europe"

03.02.2014, 16:15 Uhr, Raum H321

Dr. Zsófia Kräussl

"The OPAL method: Toward designing feasible value constellations exploiting innovative services"

Wintersemester 2013/2014

20.11.2013, 16.00 Uhr s.t., Raum H321

Prof. Faisal N. Abu-Khzam

Lebanese American University, Beirut/Lebanon
"The Common Induced Subgraph Problem: Structural Parameterizations and Exact Algorithms"

28.10.2013, 16.00 Uhr s.t., Raum H321

Prof. Dr. Olivier Pereira

Université de Louvain/Belgien
"Election Verifiability and Privacy of the Votes: A Challenging Equilibrium?"

04.11.2013, 16.00 Uhr s.t., Raum H321

Dr. Ansgar Woltering

Deutsche Bahn AG (Wirtschaftsinformatik)
"Informationsmanagement in einem Großkonzern am Beispiel der Deutschen Bahn"

Sommersemester 2013

Montag, 08.07.2013, 16 Uhr s.t. Raum H 321

Dr. Axel Kalenborn

"Modeling by Example: Eine werkzeugbasierte Methode zur Angebotserstellung und Planung von Internet Projekten"

Freitag, 28.06.2013, 10.00 c.t., in Raum HS 13

Prof. Dr. Martin Pinzger, Software Engineering Research Group, Universität Klagenfurt

"A Tale of Experiments on Bug-Prediction"

Montag, 17.06.2013, 16.00 Uhr s.t., in Raum H 321

Dipl.-Ing. Martin Wilske, Rohde & Schwarz SIT GmbH, Leitung Mobile Krytogeräte

"Mobile Sprachverschlüsselung: Von leitungsgebundener bis paketvermittelter Sicherheitstechnik"

Montag, 13.05.2013, 16.00 Uhr s.t. in Raum H 321

Tim Maschuw, DAAD - Deutscher Akademischer Austauschdienst

"FITweltweit"

Der DAAD informiert über das Förderprogramm FITweltweit. Das Programm fördert forschungsorientierte Auslandsaufenthalte für Master- Studierende, Doktoranden und Post-Docs der Informatik. Die Stipendienlaufzeit kann dabei flexibel gewählt werden, damit sich der Auslandsaufenthalt optimal in den aktuellen Forschungsplan und die mittelfristige Karriereplanung einbinden lässt.

Dienstag, 16.04.2013, 14:15 Uhr s.t., Raum F 55

Dr. Jan Camenisch, IBM Research Zürich

"Information Privacy?!"

Wintersemester 2012/2013

14.03.2013, 14.00 Uhr s.t. in Raum H 321

Prof. Dr. Joost-Pieter Katoen, RWTH Aachen

"Analysing Probabilistik Programs: Pushing the Limits of Automation"

15.01.2013, 16.00 Uhr s.t. in Raum HZ 203

Prof. K.G. Subramanian, University Sains Malaysia (USM) in Penang

"Picture language - an overview"

17.12.2012, 15.00 Uhr s.t. in Raum H 12

Andreas Koch, Universität Trier

"Cloud Code - die Zukunft der Webanwendung?"

23.11.2012

Ass. Prof. Dr. Alexander Serebrenik, TU Eindhoven

"Mearuring GNOME"

05.11.2012
Prof. Dr. Ralf Gerhards, Duale Hochschule Baden-Württemberg, Mannheim

"Einsatz eines IT-basierten Kennzahlensystems zur strategischen Steuerung im Krankenhaus"

Sommersemester 2012

05.07.2012
Prof. Dr. Santiago Escobar, Universidad Politécnica de Valencia
"Certification of Non-interference and Erasure in Rewriting"

11.06.2012
Dr. Andreas Vogt, Universität Trier, Informatik (LS Prof. Küsters)
"Sicherheitseigenschaften und formale Analysen kryptographischer
Wahlprotokolle"

Wintersemester 2011/2012

17.02.2012
Prof. Dr. Srdjan Capkun, ETH Zürich
"Secure Localization: Review and recent results"

30.01.2012
Dr. Marcus Ritt, Universidade Federal do Rio Grande do Sul, Porto Alegre/Brasilien
"Scheduling- und Fließbandabstimmungsprobleme: Modelle und Algorithmen"

05.12.2011
Dr. Daniel Meister, Universität Trier
"Gerichtete Graphen mit perfekter Eliminationsordnung"

28.11.2011
Dr. Andreas D. Lattner, Goethe-Universität Frankfurt am Main
"Intelligente Methoden zur Steuerung und Analyse von Simulationsexperimenten"

23.11.2011
Dr. Cedric Fournet, Microsoft Research
"Modular Code-Based Cryptographic Verification"

Sommersemester 2011

Dr. Daniel Meister, Universität Trier
"Gerichtete Graphen mit perfekter Eliminationsordnung"

Dr. Cedric Fournet, Microsoft
"Modular Code-Based Cryptographic Verification"

Dr. Andreas D. Lattner, Goethe-Universität Frankfurt am Main
"Intelligente Methoden zur Steuerung und Analyse von Simulationsexperimenten"

Univ.-Prof. Dr.-Ing. habil. Dr. mont. Eva-Maria Kern
Universität der Bundeswehr München
"Integration des Faktors Wissen in die Wertstromanalyse: Nutzen, Herausforderungen, Lösungsansatz"

Wintersemester 2010/2011

Prof. Dr. Pinar Heggernes, Universität Bergen/Norwegen
„Fixed-parameter algorithms for Cochromatic Number and Disjoint Rectangle Stabbing”

Dr. Ansgar Woltering, Deutsche Bahn AG – DB Systel GmbH
„Strategisches Informationsmanagement – Perspektive aus der Praxis und Einsatzfelder“

Craig Anslow, Victoria University of Wellington, New Zealand
“Co-located Collaborative Software Visualization”

Sommersemester 2010

Prof. Dr. Anca Muscholl, LaBRI, Université Bordeaux, Talence/Frankreich
"Analysing communicating automata"

Prof. Dr. Bettina Berendt, K.U. Leuven/Belgien
"Where does this new information belong? From developing mining algorithms to supporting knowledge discovery"

Pieter Collins, Centrum voor Wiskunde en Informatica, Amsterdam
“Computational Analysis of Nonlinear Hybrid Systems”

Wintersemester 2009/2010

Prof. Dr. Ryan, Universität Luxembourg
“Advances in Secret, Verifiable Elections”

Dr. Sandra Zilles, University of Regina/Canada
„Abstraktion von Suchräumen für den Entwurf von Suchheuristiken - eine komplexitätstheoretische Analyse“

Dr. Axel Kalenborn, Universität Trier
"Modelling by Example: Ein Ansatz zur Vereinfachung des Requirements-Engineering bei dialogorientierten Anwendungen"

Sommersemester 2009

Dr. Hannes Frey, Universität Paderborn
„MSTEAM: Lokales energieeffizientes Multicast-Routing für große drahtlose Netze“

Wintersemester 2008/2009

Prof. Dr. Sjouke Mauw, University of Luxembourg
"Message Complexity of Multi-Party Contract Signing"

Dr. Stephanie Delaune
“Security via Constraint Solving: Past, Present and Future”

Dr. Anupam Datta, Carnegie Mellon University-
“Foundations of Privacy: Contextual Integrity, The Logic of Privacy and Beyond”

Dr. Christophe Costa Florencio, Universität Leuven/Belgien
"Learnable classes of hypergraph languages"

Dipl.- Inf. Florian Kerschbaum (SAP)
"Security Against the Business Partner"

Sommersemester 2008

Dr. Mirjam Minor, Universität Trier
"Intelligent Assistant Systems for Agile Processes"

Dr. Frauke Liers, Universität Köln
„Exakte Algorithmen zur Anwendung in der Physik“

Dr. Shun-Yun Hu, National University Taiwan
“Scalable peer-to-peer virtual environments”

Prof. Dr. Gottfried Vossen, Universität Münster
"Informatik lehren und lernen seit 1000100"

Prof. Dr. Francois Bry, LMU München
"Soziale Medien in der Wissenschaft"

Wintersemester 2007/2008

Prof. Dr. Christian Becker, Universität Mannheim
„Betriebssysteme für das Internet der Dinge“

Dr. Carsten Görg, Georgia Institute of Technology
"Sensemaking across Text Documents: Human-Centered, Visual Exploration with Jigsaw"

Prof. Detlef Seese, Universität Karlsruhe
"Logik und Dominos als Werkzeuge zum besseren Verständnis von Komplexität
und zur Erzeugung effizienter Lösungen"

Prof. Eyke Hüllermeier, Universität Marburg
"Wissensentdeckung in strukturbasierten Daten: Methoden und Anwendungen in der Bioinformatik"

Prof. Dr. Ing. Norbert Luttenberger, Universität Kiel
“Service Protection in Web Service-based Architectures”