Note: This list may not include "Verified software" programme participants whose visits coincide with the workshop.
| Name | Home Institution | Visit Dates |
|---|---|---|
Amal Ahmed  |
30 July to 14 August | |
|
Andrew Appel |
||
| Ahmed Bouajjani | 27 July to 15 August | |
|
Luca Cardelli |
27 July to 04 September | |
|
Adam Chlipala |
03 August to 10 August | |
|
Cristina David |
28 July to 04 September | |
| Javier Esparza | ||
|
Cedric Fournet |
||
|
Orna Grumberg |
02 August to 22 August | |
|
Neel Krishnaswami |
||
|
Anil Madhavapeddy |
27 July to 04 September | |
|
Benjamin Pierce |
||
|
Andrey Rybalchenko |
27 July to 04 September | |
|
Sanjit Seshia |
||
|
Zhong Shao |
02 August to 15 August | |
|
Glynn Winskel |
||
|
Aws Albarghouthi |
||
| Rajeev Alur | ||
|
Anindya Banerjee |
||
|
Gilles Barthe |
||
| Joshua Berdine | ||
|
Dirk Beyer |
30 July to 16 August | |
| Nikolaj Bjorner | 02 August to 22 August | |
|
Supratik Chakraborthy |
||
|
Byron Cook |
27 July to 04 September | |
|
Laurent COUSOT (GB) |
27 July to 04 September | |
| Leonardo de Moura | 27 July to 04 September | |
| Azadeh Farzan | ||
| Philippa Gardner | 27 July to 04 September | |
|
Patrice Godefroid |
||
| Timothy Griffin | 27 July to 04 September | |
|
Tony Hoare |
27 July to 04 September | |
|
Warren Hunt |
||
| Barbara Jobstmann | ||
|
Dejan Jovanovic |
27 July to 04 September | |
|
Zachary Kincaid |
||
|
Shriram Krishnamurthi |
31 July to 22 August | |
|
Viktor Kuncak |
||
| Kim Larsen | 27 July to 04 September | |
|
Xavier Leroy |
||
| Rupak Majumdar | 02 August to 22 August | |
| Ken McMillan | 27 July to 04 September | |
|
Jayadev Misra |
02 August to 16 August | |
| Peter O'Hearn | 27 July to 04 September | |
|
Lawrence Paulson |
27 July to 04 September | |
|
Ruzica Piskac |
||
|
Andrew Pitts |
03 August to 02 September | |
|
Tom Reps |
||
| Peter Sewell | 27 July to 04 September | |
| Natarajan Shankar | 27 July to 04 September | |
|
Natasha Sharygina |
||
| Fabio Somenzi | 27 July to 14 August | |
| Moshe Vardi | 27 July to 04 September | |
|
Philip Wadler |
02 August to 22 August | |
| Christoph Wintersteiger | 27 July to 04 September | |
|
James Woodcock |
27 July to 15 August |
