Jahr 2017

06.02.2017: Maria Christakis, University of Kent
"Guiding program analyzers toward unsafe executions"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [mehr ...]
08.02.2017: Arthur Gervais, ETH Zurich
"On the Security and Scalability of Proof of Work Blockchains"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [mehr ...]
15.02.2017: Nadia Polikarpova, MIT CSAIL, Cambridge USA
"Type-Driven Program Synthesis"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [mehr ...]
17.02.2017: Ali Mashtizadeh, Stanford University
"Adventures in Systems Reliability: Replication and Replay"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [mehr ...]
20.02.2017: Simina Branzei, Hebrew University of Jerusalem
"Computational fair division and mechanism design"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [mehr ...]
21.02.2017: Renato Mancuso, University of Illinois at Urbana-Champaign
"Safe, Real-Time Software Reference Architectures for Cyber-Physical Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [mehr ...]
28.02.2017: Adish Singla, ETH Zürich
"Learning With and From People"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik) [mehr ...]