[TYPES/announce] TAPAS 2019 - Call for Participation - Register Early by Sep 10

[David Delmas]

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

                      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