Catégories
Thématiques

Par Prof. Katerina Argyraki, IC, EPFL - Dr. Rustan Leino, Amazon - Dr. Erik Meijer, Facebook

Go back to album
Previous
Next
Par Prof. Katerina Argyraki, IC, EPFL - Dr. Rustan Leino, Amazon - Dr. Erik Meijer, Facebook Organisation La Faculté Informatique et Communications - School of Computer and Communications Sciences IC Welcome coffee & Registration Welcome address - Andreas Mortensen, Vice President for Research, EPFL Introduction - Jim Larus, Dean of IC School, EPFL The Young Software Engineer’s Guide to Using Formal Methods - K. Rustan M. Leino, Amazon Safely Disrupting Computer Networks with Software - Katerina Argyraki, EPFL 11 IC Research Presentations (3 minutes per presentation) Lunch and Poster Session in the entrance hall of the SwissTech Convention Center Best IC Research Presentation Awards Machine Learning: Alchemy for the Modern Computer Scientist - Erik Meijer, Facebook

Media properties

Thématiques
Événements , IC, Informatique, Évènement, Recherche et tech transfer
Copyright
EPFL - Murielle Gerber
Licence
CC0 Licence
Date de prise de vue
7 juin 2018
Album
Journée de la recherche IC 2018 - Le futur des logiciels

Share on

Télécharger au format web
Télécharger en haute résolution