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.

Powered by WordPress