Event/Workshop URL:
Event/Workshop Affiliated with (if applicable):
Affiliation URL:
Event/Workshop Date:
Event/Workshop Location:
Event/Workshop Submission Date (if applicable):
Event/Workshop Contact Person:
Contact Person's email:
Additional comments to include with event/workshop listing:
Email address of submitter (required - please double check before submitting):
Formal Methods
Formal Methods
Educational Resources