23.01.2013:
Prof. Anastasia Ailamaki (EPFL, Switzerland),
"Scientific Data Management: Not your everyday transaction"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
"Scientific Data Management: Not your everyday transaction"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
08.04.2013:
Aslan Askarov (Harvard University),
"Securing information release: systems, models, and programming languages"
(MPI-Kolloquium)
"Securing information release: systems, models, and programming languages"
(MPI-Kolloquium)
20.06.2013:
Gordon Blair (Lancaster University),
"Revisiting Interoperability: The Case for Emergent Middleware"
(Vortrag im Rahmen der "IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
"Revisiting Interoperability: The Case for Emergent Middleware"
(Vortrag im Rahmen der "IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
15.07.2013 :
Dr. Jens Brandt (Robert Bosch GmbH),
"Ansätze zur Hardwaresynthese"
(Habilitationsvortrag)
"Ansätze zur Hardwaresynthese"
(Habilitationsvortrag)
06.11.2013: Prof. Dr. Dr. h. c. Manfred Broy (TU München),
"Seamless Modeling in the Development of Cyber-Physical Systems"
(Vortrag im Rahmen der "IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
"Seamless Modeling in the Development of Cyber-Physical Systems"
(Vortrag im Rahmen der "IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
21.03.2013:
David Choffnes (University of Washington),
"Diagnosing and Repairing Internet Performance Problems"
(MPI-Kolloquium)
"Diagnosing and Repairing Internet Performance Problems"
(MPI-Kolloquium)
07.03.2013:
Alexei Czeskis (University of Washington, Seattle),
"Practical, Usable, and Secure Authentication and Authorization on the Web"
(MPI-Kolloquium)
"Practical, Usable, and Secure Authentication and Authorization on the Web"
(MPI-Kolloquium)
22.04.2013 :
Dr. Konrad Faber (Geschäftsführer VCRP), und Monika Haberer (M.A.)
"OLAT im Fachbereich"
(Informatik Kolloquium)
"OLAT im Fachbereich"
(Informatik Kolloquium)
06.05.2013:
Yuri Gurevich (Microsoft Research Redmond),
"Impugning Alleged Randomness"
(MPI-Kolloquium)
"Impugning Alleged Randomness"
(MPI-Kolloquium)
19.03.2013:
Prof. Dr. Koichi Kise (IDAKS, Japan),
"Logging Reading Activities with the help of Character Recognition and Document Image Retrieval"
(DFKI-Kolloquium)
"Logging Reading Activities with the help of Character Recognition and Document Image Retrieval"
(DFKI-Kolloquium)
04.04.2013:
Daniel Kroening (Oxford),
"Verifying shared-variable concurrent programs"
(MPI-Kolloquium)
"Verifying shared-variable concurrent programs"
(MPI-Kolloquium)
12.03.2013:
Dongyoon Lee (University of Michigan),
"Holistic System Design for Deterministic Replay"
(MPI-Kolloquium)
"Holistic System Design for Deterministic Replay"
(MPI-Kolloquium)
10.06.2013 :
Dr. Jörg Liebeherr (University of Toronto),
"Getting a Grip on Delays in Packet Networks"
(Informatik Kolloquium)
"Getting a Grip on Delays in Packet Networks"
(Informatik Kolloquium)
24.06.2013:
Frank McSherry (Microsoft Research Silicon Valley),
"Naiad: a system for iterative, incremental, and interactive distributed dataflow"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
"Naiad: a system for iterative, incremental, and interactive distributed dataflow"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
23.05.2013 :
Prof. Dr. Joost Pieter-Katoen (RWTH Aachen),
"Next Generation Stochastic Petri Nets"
(Informatik Kolloquium)
"Next Generation Stochastic Petri Nets"
(Informatik Kolloquium)
04.03.2013:
Kasper Bonne Rasmussen (University of California, Irvine),
"Selected Topics on Wireless Security and Localization"
(MPI-Kolloquium)
"Selected Topics on Wireless Security and Localization"
(MPI-Kolloquium)
15.04.2013 :
Dr. Josef Schüle (RHRK),
Antrittsvorlesung "Hochleistungsrechnen heute und morgen"
(Informatik Kolloquium)
Antrittsvorlesung "Hochleistungsrechnen heute und morgen"
(Informatik Kolloquium)
18.02.2013:
Peter Sewell (Cambridge University),
"Tales from the Jungle"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
"Tales from the Jungle"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
17.01.2013:
Vitaly Shmatikov (University of Texas, Austin),
"Building Privacy-Preserving Systems: What Works, What Doesn't, and What Is To Be Done"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
"Building Privacy-Preserving Systems: What Works, What Doesn't, and What Is To Be Done"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
23.01.2013:
Dr. Divesh Srivastava (AT&T Labs, Florham Park, NJ, USA),
"In Search of Truth (on the Deep Web)"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
"In Search of Truth (on the Deep Web)"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
22.02.2013:
Doug Terry (Microsoft Research, Silicon Valley),
"Cloud Storage Consistency Explained Through Baseball"
(MPI-Kolloquium)
"Cloud Storage Consistency Explained Through Baseball"
(MPI-Kolloquium)
28.01.2013:
Prof. David Walker (Princeton University),
"A Killer App for Programming Languages Researchers"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
"A Killer App for Programming Languages Researchers"
(Vortrag im Rahmen der "Distinguished Lecture Series" des "Max Planck Instituts für Software-Systeme")
16.05.2013:
Prof. Thomas Wies (New York University),
"Logical Abstractions of Systems"
(MPI-Kolloquium)
"Logical Abstractions of Systems"
(MPI-Kolloquium)