HOWARD-60

Higher-Order Workshop on Automated Runtime verification and Debugging

main menu

Skip to primary content
Skip to secondary content
  • Main
  • Registration
  • Organisation
    • CICADA & CS
    • Chairs
    • Invited speakers
    • Important dates
    • Contact details
  • Programme
    • Schedule
    • Social events
  • Coming to HOWARD-60
    • Location
    • Hotels

Social events

Conference Dinner will held  at the  Lime Tree Restaurant

©2011 The University of Manchester, United Kingdom
Created by Egor Korovin