JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
2023 TOOLympics Participants
This is a form to collect information about a competition to participate in TOOLympics 2023.
Sign in to Google
to save your progress.
Learn more
* Indicates required question
Email
*
Your email
Competition
acronym
*
Your answer
Witness support
*
Required
Optional
Not applicable
Input format (language in which problems are given)
*
Your answer
What properties are proven or analyzed?
*
Your answer
Competition f
ull name
*
Your answer
Competition
URL
*
Your answer
Contact person name
*
Your answer
Contact person e-mail
*
Your answer
Style of competition
*
Off-site
On-site
Resource Control
*
Controlled with resource limits
Somewhat controlled
Mostly uncontrolled
With user interaction
Not applicable
Required
Will the competition be presented at ETAPS?
*
Yes
No
Presenter name
*
Your answer
Presenter e-mail
*
Your answer
Will the competition have a paper for the proceedings?
*
Yes
No
When did/will the competition take place that you will report about?
*
Your answer
DOI or URL of the most recent competition report
*
Your answer
Short description of the competition
*
Your answer
A copy of your responses will be emailed to the address you provided.
Submit
Clear form
Never submit passwords through Google Forms.
reCAPTCHA
Privacy
Terms
This form was created inside of Software Systems Lab.
Does this form look suspicious?
Report
Forms
Help and feedback
Contact form owner
Help Forms improve
Report
