[Om-announce] Call for Workshops - Symposium on Automated Technology for Verification and Analysis (ATVA)

[Peter Höfner]

                                  ATVA 2014
             CALL FOR WORKSHOP PROPOSALS


12th International Symposium on Automated Technology for
                      Verification and Analysis


                 November 3-7, 2014, Sydney, Australia
                        http://atva-conferences.org


   ===============================================

The 12th International Symposium on Automated Technology for
Verification and Analysis (ATVA) invites proposals for pre-
and postconference workshops to be held on November 3 (pre)
or November 7 (post). The ATVA conference series covers the
spectrum from theoretical results to practical applications
of automated analysis, verification and synthesis.

Proposals that promise to bring new topics to ATVA, of either
practical or theoretical importance, or to provide a forum for more
detailed discussion on central topics of continuing importance
are highly welcome. Proposals that explore the application of
automated tools to real-world problems are especially encouraged.

Workshop proposals are limited to 2 pages, and should provide at
least the following information:
 - Title
 - Description of the workshop topic and goals
   (Why do you believe this is an interesting and significant topic?)
 - Intended audience
   (From which areas do you expect potential participants to
    come? How many participants do you expect?)
 - Relevance and relation of the workshop to the main conference
 - Organisation of the workshop
   (Describe the intended format (e.g. paper selection process),
    its expected duration (full day or half day) and its preferred
    date (November 3rd or November 7th)
 - Organisers' details
   (Provide affiliations, backgrounds and contact details of
   organisers and potential committee members)

Proposals should be sent as PDF to the workshop chair Peter Höfner
(peter.hoefner at nicta.com.au).

Important dates:
  Deadline for proposal submissions:   April 14, 2014
  Acceptance/rejection notification:      May 19, 2014
  Workshop Date:                                 November 3rd and 7th

   ===============================================



________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.