• RPTU Department of Computer Science ResearchColloquiaJahr 2013
RPTU SiteRPTU Site
  • Deutsch
RPTU SiteRPTU Site
Department of Computer Science
  • News
    • News
    • Current news, schedules, presentations, ...

      News
    • Dates
    • News from the Department
    • News Archive
    • Miscellaneous
  • Education
    • Education
    • All about admission, courses, lectures, examina, ...

      Education
    • Target Groups
    • For Applicants
    • For Students
    • PhDs and Graduate School
    • For Alumni
    • Courses of Study
    • Courses of Studies
    • Lectures
    • Courses of Study (Additional Informations)
    • Studienanleitung Informatik und Sozioinformatik
    • About Studying Computer Science
  • Research
    • Research
    • Research at the Dept. of Comp. Sci.: research groups, institutes, ...

      Research
    • Professors and lecturers
    • Allied Institutes
    • Colloquia
    • Jobs and Career
    • PhD Program
    • Completed PhDs
  • Organisation
    • Organisation
    • The organizational structure of the Dept. of Comp. Sci: research groups, central institutions, ...

      Organisation
    • Professors and lecturers
    • Office of the Dean
    • SCI
    • Students Council
    • Library
    • Allied Institutes
    • Examination Office
    • Committees
    • Association "Friends of the Department of Computer-Science" ("Förderverein Informatik", FIT)
  • Contact
    • Contact
    • Addresses, maps, bus and train schedules, ...

      Contact
    • Contact Addresses
    • Search
    • Get there
    • Map of our Campus
    • Public Transport Schedules
    • Topographic Maps
    • Umfeld
    • RPTU
    • The City of Kaiserslautern
    • KL-Inform
    • Association "Friends of the Department of Computer-Science" ("Förderverein Informatik", FIT)
  • Search
    • Search
    • Search for people and keywords

      Search
  • Information for
  • Current Students
  • New Students
  • Future Students
  • Pupils and Teachers
  • Researchers
Department of Computer Science
  • ResearchColloquiaJahr 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)




Superordinated page:

Colloquia

Lectures and colloquia in the Department of Computer Science.

Feedback for this Page

Email to the person in charge of this page (sakdapol@informatik.uni-kl.de)
  • Instagram
  • Facebook
  • Twitter
  • YouTube
  • LinkedIn
Schnellzugriff
  • Studies
  • Courses of Studies
  • Lectures
  • Module Handbook
  • Examination Regulations
Information for
  • Current Students
  • New Students
  • Future Students
  • Pupils and Teachers
  • Researchers
Service
  • Structure
  • 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