[Caml-list] TAPAS 2019 - Call for Participation - Register Early by Sep 10

---------------------------------------------------------------------------

                     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