caml-list - the Caml user's mailing list
 help / Atom feed
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
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 index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically 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=caml-list@inria.fr \
    --cc=compilation-news@lists.gforge.inria.fr \
    --cc=gdr-im@gdr-im.fr \
    --cc=gdr-securite.forum"@irisa.fr \
    --cc=gdr.gpl@imag.fr \
    --cc=gt-mfs"@irisa.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

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox