• RPTU Fachbereich Informatik ForschungKolloquienJahr 2014
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 2014

Briand

30.01.2014: Prof. Dr. Lionel Briand (Universität Luxemburg),
"Scalable and Cost-Effective Model-Based Software Verification and Testing"
(Vortrag im Rahmen der "IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Baruah

10.02.2014: Sanjoy Baruah (University of North Carolina),
"Real-time Scheduling and Mixed-Criticality Systems"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Deutsch

24.02.2014: Dr. Alin Deutsch (UCSD Jacobs, San Diego, USA)
"Decidable Verification Database-powered Business Processes"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Kuncak

27.02.2014: Prof. Viktor Kuncak (EPFL, Switzerland),
"Automating Construction of Provably Correct Software"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Yang

04.03.2014: Dr. Hongseok Yang (University of Oxford),
"How to find a good program abstraction automatically?"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Ford

12.03.2014: Bryan Ford (Yale University)
"Can You Hide in an Internet Panopticon?"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

McAuley

06.03.2014: Julian McAuley (Stanford University),
"Machine Learning for Social Systems: Modeling Opinions, Activities, and Interactions"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Feldmann

06.03.2014: Prof. Dr. Anja Feldmann (Telekom Innovations Laboratories, TU Berlin),
"On the importance of Internet eXchange Points for today's Internet ecosystem"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Lee

11.03.2014: I-Ting Angelina Lee (Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT ),
"Linguistic and System Support for Structured Parallel Programming"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Goeller

24.03.2014: Stefan Goeller (University of Bremen)
"Equivalence checking of stack-based infinite-state systems"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Dragoi

27.03.2014: Cezara Dragoi (IST Austria)
"Logic-based frameworks for automated verification of programs with dynamically allocated data structures"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Akhawe

03.04.2014: Devdatta Akhawe (UC Berkeley)
"Towards a Secure Client-side for the Web Platform"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Myers

10.04.2014: Dr. Andrew Myers (Cornell University, Ithaka)
"Increasing security and performance with higher-level abstractions for distributed programming"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Bosch

25.04.2014: Jan Bosch (Chalmers University of Technology),
“Do as I Say; Not as I Do? From Requirement Engineering to Experimenting with Customers”
(Vortrag im Rahmen der "IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Bala

08.05.2014: Kavita Bala (Cornell University),
"Modeling and representing materials in the wild"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Bodik

22.05.2014: Ras Bodik (UC Berkeley)
"Adventures in Program Synthesis"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

McDermid

01.10.2014: John A. McDermid (University of York, UK)
"Agile Development of Safety-Critical Software: Opportunities and Challenges"
(Vortrag im Rahmen der "Fraunhofer IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Ouaknine

02.10.2014: Joel Ouaknine (University of Oxford)
"Termination of Linear Programs: Advances and Challenges"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Smith

04.11.2014: Noah Smith (Carnegie Mellon University)
"Machine Learning about People from their Language"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Maiden

18.11.2014: Prof. Neil Maiden (City University London, UK)
"Requirements Engineering as Information Search & Idea Discovery"
(Vortrag im Rahmen der "Fraunhofer IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

Aguilera

17.11.2014: Dr. Marcos K. Aguilera
"Yesquel: scalable SQL storage for Web applications"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)




Ü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