JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
8th International Workshop on CPAchecker
September 11th, 2023,
Kirchberg, Luxembourg
Co-located with ASE 2023
https://cpa.sosy-lab.org/2023/
Sign in to Google
to save your progress.
Learn more
* Indicates required question
Name
*
Your answer
E-Mail
*
Your answer
Affiliation
Your answer
I plan to attend.
Yes
No
Clear selection
I plan to give a
lightning talk: 5-minute presentation
full talk: 20-minute presentation + 10-minute discussion
Title and abstract of your (full or lightning) talk (Deadline: July 31st, 2023)
Your answer
Submit
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google.
Report Abuse
-
Terms of Service
-
Privacy Policy
Forms
