Organisers
Program Chair
- Alvaro Miyazawa, email: alvarohm (at) cs.york.ac.uk
General Chair
- Malihe Tabatabaie, email: malihetb (at) cs.york.ac.uk
- Jennifer Owen, email: jowen (at) cs.york.ac.uk
Organisational Committee
- Advertisement
- James Williams
- Ahmad Shahid
- Food
- Teodor Ghetiu
- Chris Poskitt
- Venue
- Jason Reich
- Asmiza Abdul Sani
Program Committee
- Michael Banks – Security in formal development, cryptography, formal methods and programming languages
- Alan Burns – Real Time Systems
- Burcu Can – Artificial Intelligence
- Clement Creusot – Face recognition and 3d processing
- Andre Freire – Human Computer Interaction
- Alan Frisch – Artificial Intelligence
- Edwin Hancock – Computer Vision
- Oleg Lisagor – High Integrity Systems Engineering
- John McDermid – High Integrity Systems Engineering
- James McLaughlin – block cipher cryptoanalysis
- Becky Naylor – Neural networks
- Adam Nellis – Non-Standard Computation
- Simon O’Keefe – Non-Standard Computation, Advanced Computer Architectures
- Jennifer Owen – Non-Standard Computation
- Richard Paige – Enterprise Systems
- Helen Petrie – Human Computer Interaction
- Fiona Polack – Non-Standard Computation, Enterprise systems
- Chris Poskitt – Programming Languages and Systems
- Richard Ribeiro – Human Computer Interaction
- Colin Runciman – Programming Languages and Systems
- Malihe Tabatabaie – Enterprise systems
- Jim Woodcock – High Integrity Systems Engineering
Acknowledgements
The YDS2010 organisers would like to thank Zoe Stephenson for the excellent logo and poster design, and Alan Burns for enabling the YDS conferences.