The following people participated at TTVSI:
- Dr Behzad Akbarpour
- Dr Hasan Amjad
- Dr Rob Arthan
- Bruno Barras
- Bruno Bernardo
- Dr Graham Birtwistle
- Sandrine Blazy
- Prof. Richard Bornat
- Dr Richard Boulton
- Dr Shiu-Kai Chin
- Nathan Chong
- Dr Paul Curzon
- Dr Anthony Fox
- Dr Andy Gordon
- Prof. Mike Gordon
- Alexey Gotsman
- Dr Hanne Gottliebsen
- Brian Graham
- Dr David Greaves
- Prof. Thomas Hales
- Dr John Harrison
- Sir Tony Hoare
- Dr Joe Hurd
- Samin Ishtiaq
- Dr Paul Jackson
- Dr Sava Krstić
- Ken Friis Larsen
- Dr Xavier Leroy
- Prof. Ursula Martin
- Dr James McKinna
- Prof. Tom Melham
- Prof. Robin Milner
- Yasuhiko Minamide
- Dr J Strother Moore
- Magnus Myreen
- Prof. Tobias Nipkow
- Dr Michael Norrish
- Prof. Peter O'Hearn
- Dr Paulo Oliva
- Dr Scott Owens
- Dr Matthew Parkinson
- Grant Olney Passmore
- Prof. Lawrence Paulson
- Susmit Sarkar
- Dr Julien Schmaltz
- Dr Peter Sewell
- Balraj Singh
- Dr Konrad Slind
- Dr Daryl Stewart
- Dr Kong W. Susanto
- Laurent Théry
- Thomas Tuerk
- Dr Christian Urban
- Dr Freek Wiedijk