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




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