Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
svtp17 [2017/02/21 09:50] vkuncak |
svtp17 [2017/02/21 09:57] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Software Reliability and Theorem Proving Workshop ====== | ====== Software Reliability and Theorem Proving Workshop ====== | ||
| - | ===== 8 March 2017, EPFL, [[https://plan.epfl.ch/theme/generalite_thm_v2?request_locale=en&room=BC%20410&domain=places&dim_floor=4&lang=en&dim_lang=en&baselayer_ref=grp_backgrounds&tree_groups=centres_nevralgiques%2Cacces%2Cmobilite_reduite%2Censeignement%2Ccommerces_et_services%2Cvehicules%2Cdeveloppement_durable&tree_group_layers_centres_nevralgiques=information_epfl%2Cguichet_etudiants&tree_group_layers_acces=metro&tree_group_layers_mobilite_reduite&tree_group_layers_enseignement&tree_group_layers_commerces_et_services&tree_group_layers_vehicules&tree_group_layers_developpement_durable&map_x=532712&map_y=152301&map_zoom=11|BC 410]] ===== | + | Date: 8 March 2017 |
| + | |||
| + | Location: EPFL, [[https://plan.epfl.ch/theme/generalite_thm_v2?request_locale=en&room=BC%20410&domain=places&dim_floor=4&lang=en&dim_lang=en&baselayer_ref=grp_backgrounds&tree_groups=centres_nevralgiques%2Cacces%2Cmobilite_reduite%2Censeignement%2Ccommerces_et_services%2Cvehicules%2Cdeveloppement_durable&tree_group_layers_centres_nevralgiques=information_epfl%2Cguichet_etudiants&tree_group_layers_acces=metro&tree_group_layers_mobilite_reduite&tree_group_layers_enseignement&tree_group_layers_commerces_et_services&tree_group_layers_vehicules&tree_group_layers_developpement_durable&map_x=532712&map_y=152301&map_zoom=11|BC 410]] | ||
| 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 ==== | ||