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)
"Scalable and Cost-Effective Model-Based Software Verification and Testing"
(Vortrag im Rahmen der "IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Real-time Scheduling and Mixed-Criticality Systems"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Decidable Verification Database-powered Business Processes"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Automating Construction of Provably Correct Software"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"How to find a good program abstraction automatically?"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Can You Hide in an Internet Panopticon?"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Machine Learning for Social Systems: Modeling Opinions, Activities, and Interactions"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"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)
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)
"Linguistic and System Support for Structured Parallel Programming"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Equivalence checking of stack-based infinite-state systems"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"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)
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)
"Towards a Secure Client-side for the Web Platform"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"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)
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)
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)
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)
"Modeling and representing materials in the wild"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Adventures in Program Synthesis"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Agile Development of Safety-Critical Software: Opportunities and Challenges"
(Vortrag im Rahmen der "Fraunhofer IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Termination of Linear Programs: Advances and Challenges"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Machine Learning about People from their Language"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Requirements Engineering as Information Search & Idea Discovery"
(Vortrag im Rahmen der "Fraunhofer IESE Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)
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)
"Yesquel: scalable SQL storage for Web applications"
(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)