From: David Delmas <david.delmas@lip6.fr>
To: gdr.gpl@imag.fr, synalp@inria.fr,
compilation-news@lists.gforge.inria.fr, ",
gt-mfs"@irisa.fr, gdr-im@gdr-im.fr, caml-list@inria.fr, ",
gdr-securite.forum"@irisa.fr
Subject: [Caml-list] TAPAS 2019 - Call for Participation - Register Early by Sep 10
Date: Fri, 6 Sep 2019 14:52:15 +0200 [thread overview]
Message-ID: <dd11ae57-070c-84e7-9630-ad931237bd29@lip6.fr> (raw)
---------------------------------------------------------------------------
CALL FOR PARTICIPATION
TAPAS 2019
10th Workshop on Tools for Automatic Program Analysis
Part of the 3rd World Congress on Formal Methods
Porto, Portugal, October 8, 2019
http://staticanalysis.org/tapas2019
---------------------------------------------------------------------------
ABOUT
TAPAS 2019 is a satellite workshop of SAS 2019, the 26th Static Analysis
Symposium. It is intended to promote discussions between users of static
analysis tools, and specialists in all areas of program analysis design
and implementation.
REGISTRATION
Register via the FM'19 World Congress at http://bit.ly/fm19-register:
- Early until Sep 10 (AoE)
- Late from Sep 11 until 5 Oct (AoE)
- On site from Oct 6 to Oct 11 (AoE)
INVITED TALKS
- Pascal Lacabanne (Airbus)
- Bernard Schmidt (Bosch)
PROGRAM
The conference program is available at
https://easychair.org/smart-program/TAPAS2019/.
FM'19 WORLD CONGRESS
For additional information about the 3rd World Congress on Formal
Methods, visit http://formalmethods2019.inesctec.pt/.
Hope to see you in Porto!
David Delmas, Program Chair
reply other threads:[~2019-09-06 12:52 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=dd11ae57-070c-84e7-9630-ad931237bd29@lip6.fr \
--to=david.delmas@lip6.fr \
--cc=", gdr-securite.forum"@irisa.fr \
--cc=", gt-mfs"@irisa.fr \
--cc=caml-list@inria.fr \
--cc=compilation-news@lists.gforge.inria.fr \
--cc=gdr-im@gdr-im.fr \
--cc=gdr.gpl@imag.fr \
--cc=synalp@inria.fr \
/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).