Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
svtp17 [2017/02/21 09:50] vkuncak |
svtp17 [2017/02/21 09:57] vkuncak |
||
---|---|---|---|
Line 6: | Line 6: | ||
Speakers: | Speakers: | ||
- | * Nikolaj Bjørner | + | * [[https://www.microsoft.com/en-us/research/people/nbjorner/|Nikolaj Bjørner]] |
- | * Sergio Giro | + | * [[https://www.linkedin.com/in/sergio-giro-1005948/|Sergio Giro]] |
- | * Rustan Leino | + | * [[https://www.microsoft.com/en-us/research/people/leino/|Rustan Leino]] |
- | * Bruno Marnette | + | * [[https://www.linkedin.com/in/brunomarnette/|Bruno Marnette]] |
- | * Philippe Ruemmer | + | * [[http://www.philipp.ruemmer.org/|Philippe Rümmer]] |
==== 09:00. Coffee ==== | ==== 09:00. Coffee ==== |