| 14th March 2012 | Camera ready papers for the Festschrift volume |
| 20th December 2011 | The conference date |
| 5th December 2011 | Submission deadline for pre-proceeding volume |
| 10th November 2011 | Abstract submission |
HOWARD-60
Higher-Order Workshop on Automated Runtime verification and Debugging
