• RPTU Department of Computer Science ResearchColloquiaJahr 2008
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 2008

Francis

18.01.2008: Paul Francis (Cornell University),
"Scaling Internet Routing with Legacy Protocols"
(Vortrag im Rahmen der "Distinguished Lecture Series 07/08" des Max Planck Instituts für Software-Systeme)

Hanxleden

21.01.2008: Prof. Dr. Reinhard von Hanxleden (Christian-Albrecht Universität, Kiel),
"A Multi-Threaded Reactive Processor"
(Informatik Kolloquium)

Zilles

06.02.2008: Dr. Sandra Zilles (University of Alberta, Edmonton, Canada),
"Iteratives Lernen - formale Grundlagen für effiziente maschinelle Lernverfahren"
(Informatik Kolloquium)

Morrisett

25.03.2008: Prof. Dr. Greg Morrisett (Harvard University)
"Ynot: integrating effects with dependent types"
(Vortrag im Rahmen der "Distinguished Lecture Series 07/08" des Max Planck Instituts für Software-Systeme)

Godefroid

04.04.2008: Patrice Godefroid (Microsoft Research)
"Software Model Checking 2.0"
(Vortrag im Rahmen der "Distinguished Lecture Series 07/08" des Max Planck Instituts für Software-Systeme)

Ball

11.04.2008: Thomas Ball (Microsoft Research)
"Systematic Testing of Concurrent Programs with CHESS"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme)

Pretschner

14.04.2008: Dr. Alexander Pretschner (ETH Zürich),
"Verteilte Nutzungskontrolle"
(Informatik Kolloquium)

Kemme

21.04.2008: Prof. Dr. Bettina Kemme (McGill University, Montreal),
"Adaptable Multi-Tier Architectures"
(Informatik Kolloquium)

Majumdar

28.04.2008: Rupak Majumdar (University of California, L.A.)
"Dataflow Analysis for Asynchronous Programs"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme)

Reps

05.05.2008: Tom Reps (University of Wisconsin and GrammaTech, Inc.)
"WYSINWYX: What You See Is Not What You eXecute"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme)

Cook

16.05.2008: Byron Cook (Microsoft Research, Cambridge)
"Proving that software eventually does something good"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme)

Herlihy

18.06.2008: Maurice Herlihy (Brown University)
"Is Transactional Memory Scalable?"
(Vortrag im Rahmen der "Distinguished Lecture Series" des Max Planck Instituts für Software-Systeme)

Alur

18.07.2008: Rajeev Alur (University of Pennsylvania)
"Architecture-aware Analysis of Concurrent Software"
(Vortrag im Rahmen der "Distinguished Lecture Series" des Max Planck Instituts für Software-Systeme)

Tochtermann

27.10.2008: Prof. Dr. Klaus Tochtermann (Know-Center, Graz),
"Unterstützung von Wissensarbeitern am Wissensarbeitsplatz"
(Informatik Kolloquium)

Berry

29.10.2008: Gerard Berry (Esterel Technologies)
"The evolution of the synchronous programming model"
(Vortrag im Rahmen der "Distinguished Lecture Series" des Max Planck Instituts für Software-Systeme)

Freytag

03.11.2008: Prof. Dr. Johann-Christoph Freytag (Humboldt-Universität zu Berlin),
"Privacy - from accessing databases to location based services"
(Informatik Kolloquium)

Loeser

17.11.2008: Dr. Henrik Loeser (IBM Software Group),
"XML Storage - It's the Flexibility, Stupid!"
(Informatik Kolloquium)

Ernst

24.11.2008: Prof. Dr. Michael Ernst (Massachussetts Institute of Technology),
"Preventing bugs with pluggable type-checking"
(Informatik Kolloquium)

Giegerich

27.11.2008: Prof. Dr. Robert Giegerich (Technische Fakultät - Universität Bielefeld),
"Dynamic Programming: More Fun with Product Algebras"
(Informatik Kolloquium)

Gessner

08.12.2008: Prof. Dr. Wolfgang Gessner (FH Nordwestschweiz und Collegium Helveticum Zürich),
"Kognitiv-mentale Dimensionen einer Emotion: Neue Perspektiven für die Androidenkonstruktion"
(Informatik 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