TAPAS 2019 - Call for Participation - Register Early by Sep 10
Register early by September 10 to the 10th Workshop on Tools for Automatic Program Analysis (Porto, Portugal, part of the FM Week)
in
Conferences
by
[Deactivated account] on
September 7, 2019
---------------------------------------------------------------------------
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
---------------------------------------------------------------------------
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
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