From: "Peter Höfner" <peter.hoefner@nicta.com.au>
To: "Peter Höfner" <Peter.Hoefner@nicta.com.au>
Cc: cade@itu.dk, asl@vassar.edu, moca-announce@list.it.uu.se,
cphc-conf@jiscmail.ac.uk, puml-list@cs.york.ac.uk,
ki-inf@uni-koblenz.de, theory-logic@cs.cmu.edu,
math.logik@gmx.net, logic-announce@uclink4.berkeley.edu,
haskell@haskell.org, compulognet-parimp@dia.fi.upm.es,
om-announce@openmath.org, acl2@cs.utexas.edu,
theory@cl.cam.ac.uk, newsletter@aarinc.org,
appsem@tcs.informatik.uni-muenchen.de, kgs-list@logic.at,
finite-model-theory@lists.rwth-aachen.de, pvs@csl.sri.com,
rewriting@m.aist.go.jp, softtech@cs.uu.nl,
lics@informatik.hu-berlin.de, agda@lists.chalmers.se,
spin_list@research.bell-labs.com, theorem-provers@ai.mit.edu,
ccl@ps.uni-sb.de, fom@cs.nyu.edu, eapls@jiscmail.ac.uk,
logic@cs.stanford.edu, concurrency@cwi.nl, jml@cs.iastate.edu,
petrinet@informatik.uni-hamburg.de, relmics-l@mcmaster.ca,
eacsl@dimi.uniud.it, seworld@cs.colorado.edu,
hol-info@lists.source
Subject: Call for Workshops - Symposium on Automated Technology for Verification and Analysis (ATVA)
Date: Tue, 3 Dec 2013 13:43:33 +1100 [thread overview]
Message-ID: <CF3ED925-BB68-494B-B15F-C39E2C38DCA2@nicta.com.au> (raw)
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@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.
------------------------------------------------------------------------------
Rapidly troubleshoot problems before they affect your business. Most IT
organizations don't have a clear picture of how application performance
affects their revenue. With AppDynamics, you get 100% visibility into your
Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro!
http://pubads.g.doubleclick.net/gampad/clk?id=84349351&iu=/4140/ostg.clktrk
reply other threads:[~2013-12-03 2:43 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CF3ED925-BB68-494B-B15F-C39E2C38DCA2@nicta.com.au \
--to=peter.hoefner@nicta.com.au \
--cc=acl2@cs.utexas.edu \
--cc=agda@lists.chalmers.se \
--cc=appsem@tcs.informatik.uni-muenchen.de \
--cc=asl@vassar.edu \
--cc=cade@itu.dk \
--cc=ccl@ps.uni-sb.de \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=concurrency@cwi.nl \
--cc=cphc-conf@jiscmail.ac.uk \
--cc=eacsl@dimi.uniud.it \
--cc=eapls@jiscmail.ac.uk \
--cc=finite-model-theory@lists.rwth-aachen.de \
--cc=fom@cs.nyu.edu \
--cc=haskell@haskell.org \
--cc=hol-info@lists.source \
--cc=jml@cs.iastate.edu \
--cc=kgs-list@logic.at \
--cc=ki-inf@uni-koblenz.de \
--cc=lics@informatik.hu-berlin.de \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic@cs.stanford.edu \
--cc=math.logik@gmx.net \
--cc=moca-announce@list.it.uu.se \
--cc=newsletter@aarinc.org \
--cc=om-announce@openmath.org \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=puml-list@cs.york.ac.uk \
--cc=pvs@csl.sri.com \
--cc=relmics-l@mcmaster.ca \
--cc=rewriting@m.aist.go.jp \
--cc=seworld@cs.colorado.edu \
--cc=softtech@cs.uu.nl \
--cc=spin_list@research.bell-labs.com \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=theory@cl.cam.ac.uk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).