[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
(dimitr...@cispa.de<mailto:dimitr...@cispa.de>) and Guy Katz
(guyk...@cs.huji.ac.il<mailto:guyk...@cs.huji.ac.il>).
