• RPTU Fachbereich Informatik ForschungKolloquienJahr 2013
RPTU SiteRPTU Site
  • English
RPTU SiteRPTU Site
Fachbereich Informatik
  • Aktuelles
    • Aktuelles
    • Aktuelle Meldungen, Prüfungstermine, Kolloquien, ...

      Aktuelles
    • Termine
    • Neues aus dem Fachbereich
    • Frühere Meldungen
    • Sonstiges
  • Studium
    • Studium
    • Alles zum Thema Informatik-Studium: Anfängerinfos, Lehrveranstaltungen, ...

      Studium
    • Zielgruppen
    • Für Bewerber/-innen
    • Für Studierende
    • PhDs und Graduate School
    • Für Alumni
    • Studium
    • Studiengänge
    • Lehrveranstaltungen
    • Studium (Zusatziniformationen)
    • Studienanleitung Informatik und Sozioinformatik
    • Über das Informatik-Studium
  • Forschung
    • Forschung
    • Forschung am Fachbereich Informatik: Arbeitsgruppen, Forschungsbereiche, ...

      Forschung
    • Arbeitsgruppen
    • An-Institute und externe Einrichtungen
    • Kolloquien
    • Stellen
    • PhD Programm
    • Promotionen
  • Organisation
    • Organisation
    • Die Struktur des Fachbereichs Informatik: Arbeitsgruppen, zentrale Einrichtungen, ...

      Organisation
    • Arbeitsgruppen
    • Dekanat
    • SCI
    • Fachschaft
    • Bibliothek
    • An-Institute und externe Einrichtungen
    • Abteilung für Prüfungsangelegenheiten
    • Ausschüsse
    • Förderverein Informatik (FIT)
  • Kontakt
    • Kontakt
    • Adressen, Fahrpläne, Karten, ...

      Kontakt
    • Kontaktadressen
    • Suche
    • Get there
    • Gebäudeplan
    • Fahrpläne
    • Anfahrtswege und Anreise
    • Umfeld
    • RPTU
    • Stadt Kaiserslautern
    • KL-Inform
    • Förderverein Informatik (FIT)
  • Suche
    • Suche
    • Suche nach Personen, Emailadressen, Telefonnummern, Stichworten, ...

      Suche
  • Informationen für
  • Studierende
  • Erstsemester
  • Studien­interessierte
  • SchülerInnen und Lehrkräfte
  • Forschende
  • Alumni
Fachbereich Informatik
  • ForschungKolloquienJahr 2013

Ailamaki

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")

Askarov

08.04.2013: Aslan Askarov (Harvard University),
"Securing information release: systems, models, and programming languages"
(MPI-Kolloquium)

Blair

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)

Brandt

15.07.2013 : Dr. Jens Brandt (Robert Bosch GmbH),
"Ansätze zur Hardwaresynthese"
(Habilitationsvortrag)

Broy

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)

Choffnes

21.03.2013: David Choffnes (University of Washington),
"Diagnosing and Repairing Internet Performance Problems"
(MPI-Kolloquium)

Czeskis

07.03.2013: Alexei Czeskis (University of Washington, Seattle),
"Practical, Usable, and Secure Authentication and Authorization on the Web"
(MPI-Kolloquium)

Faber

22.04.2013 : Dr. Konrad Faber (Geschäftsführer VCRP), und Monika Haberer (M.A.)
"OLAT im Fachbereich"
(Informatik Kolloquium)

Gurevich

06.05.2013: Yuri Gurevich (Microsoft Research Redmond),
"Impugning Alleged Randomness"
(MPI-Kolloquium)

Kise

19.03.2013: Prof. Dr. Koichi Kise (IDAKS, Japan),
"Logging Reading Activities with the help of Character Recognition and Document Image Retrieval"
(DFKI-Kolloquium)

Kroening

04.04.2013: Daniel Kroening (Oxford),
"Verifying shared-variable concurrent programs"
(MPI-Kolloquium)

Lee

12.03.2013: Dongyoon Lee (University of Michigan),
"Holistic System Design for Deterministic Replay"
(MPI-Kolloquium)

Liebeherr

10.06.2013 : Dr. Jörg Liebeherr (University of Toronto),
"Getting a Grip on Delays in Packet Networks"
(Informatik Kolloquium)

Mcsherry

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")

Pieter-katoen

23.05.2013 : Prof. Dr. Joost Pieter-Katoen (RWTH Aachen),
"Next Generation Stochastic Petri Nets"
(Informatik Kolloquium)

Rasmussen

04.03.2013: Kasper Bonne Rasmussen (University of California, Irvine),
"Selected Topics on Wireless Security and Localization"
(MPI-Kolloquium)

Schuele

15.04.2013 : Dr. Josef Schüle (RHRK),
Antrittsvorlesung "Hochleistungsrechnen heute und morgen"
(Informatik Kolloquium)

Sewell

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")

Shmatikov

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")

Srivastava

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")

Terry

22.02.2013: Doug Terry (Microsoft Research, Silicon Valley),
"Cloud Storage Consistency Explained Through Baseball"
(MPI-Kolloquium)

Walker

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")

Wies

16.05.2013: Prof. Thomas Wies (New York University),
"Logical Abstractions of Systems"
(MPI-Kolloquium)




Übergeordnete Seite:

Kolloquien

Vorträge und Kolloquien des Fachbereichs Informatik.

Feedback zu dieser Seite

Email an den Verantwortlichen dieser Seite (sakdapol@informatik.uni-kl.de)
  • Instagram
  • Facebook
  • Twitter
  • YouTube
  • LinkedIn
Schnellzugriff
  • Studium
  • Studiengänge
  • Lehrveranstaltungen
  • Modulhandbuch
  • Prüfungsordnungen
Informationen für
  • Studierende
  • Erstsemester
  • Studien­interessierte
  • SchülerInnen und Lehrkräfte
  • Forschende
  • Alumni
Service
  • Organisation
  • Arbeitsgruppen
  • Dekanat
  • SCI
  • Fachschaft
  • Service
  • Mensa
Fachbereich Informatik

Informatik in Kaiserslautern

Gottlieb-Daimler-Straße
Gebäude 48
67663 Kaiserslautern

49.42354, 7.75376

 

  

 

Copyright © 2024 RPTU. Alle Rechte vorbehalten.
  • Kontakt
  • Impressum
  • Datenschutzerklärung
  • Datenschutz und soziale Medien
  • Erklärung zur Barrierefreiheit