[TYPES/announce] ATVA 2021 - Call for Workshops

[Dimitrova, Rayna]

ATVA 2021: The 19th International Symposium on Automated Technology for Verification and Analysis

October 18-22 2021, Gold Coast, Australia



CALL FOR WORKSHOPS
https://formal-analysis.com/atva/2021/workshop.html



IMPORTANT DATES
All deadlines are AoE (Anywhere on Earth).



PROPOSALS
- Proposals are due by email to the Workshop chairs: 28 February 2021
- Organizers will be notified about the participation: 15 March 2021



CONFERENCE
- Workshops: October 18, 2021
- Main conference: October 19-22, 2021





WORKSHOP PROPOSAL SUBMISSION
The ATVA 2021 organizing committee invites proposals for workshops that will complement the main conference. The topics of the workshops should fall within the scope of ATVA. This encompasses all theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. We particularly encourage submissions from workshops on topics related to testing, analysis, verification, and security (TAVS) of machine learning (ML) systems.



ATVA 2021 Workshops will be held on October 18, before the main conference.



Workshop proposals will be reviewed by the Workshop Chairs along with the program and general chairs. Proposals must consist of the following three parts:





PART I: TECHNICAL INFORMATION



A short (about 1 page) scientific justification of the proposed topic, its significance and relevance to ATVA, and the particular benefits of the workshop to the ATVA community, as well as a list of previous or related workshops (if relevant).





PART II: ORGANIZATIONAL INFORMATION



- Contact information of the workshop organizers
- Main contact for the workshop (i.e., a workshop chair)
- Estimate of the audience size
- Proposed format and agenda (e.g., demo sessions, tutorials, etc.)
- Potential invited speakers (if known)
- Procedures for selecting papers and participants
- Plans for dissemination, if any (e.g., special issues of journals)
- Special technical, AV, or USB stick needs
- Links to a preliminary website of the workshop and call for papers (if possible)
- Information if workshop has been previously held





PART III: VIRTUAL WORKSHOP INFORMATION



A paragraph describing how the workshop will proceed in the case that the conference meeting is virtual. This includes the form of participation (if different from the physical meeting), video conferencing requirements, time zone preferences, etc.





EVALUATION CRITERIA
The workshop proposals will be reviewed and evaluated on the following criteria:



- Potential to advance the state of the art in automated verification and analysis technologies
- Ability to break new ground and create bridges with other disciplines
- Relevance to ATVA
- Overlap of topics with other proposed workshops
- Past successes of the workshop and association with previous conferences
- Organizers' ability and experience to lead a successful workshop



All accepted workshops will be asked to provide a webpage, call for papers, and a list of invited speakers. (The workshop participants will be required to register for the workshop through the ATVA main registration page.)



CONTACT
For any questions please contact the workshop chairs: Rayna Dimitrova (dimitrova at cispa.de<mailto:dimitrova at cispa.de>) and Guy Katz (guykatz at cs.huji.ac.il<mailto:guykatz at cs.huji.ac.il>).

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210109/14d625e1/attachment-0001.htm>