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
Extended Deadline for proposal submissions: April 29, 2014
===============================================
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
([email protected]).
Important dates:
Deadline for proposal submissions: April 29, 2014 (extended)
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.
------------------------------------------------------------------------------
Put Bad Developers to Shame
Dominate Development with Jenkins Continuous Integration
Continuously Automate Build, Test & Deployment
Start a new project now. Try Jenkins in the cloud.
http://p.sf.net/sfu/13600_Cloudbees
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
