caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] TAPAS 2019 - Call for Participation - Register Early by Sep 10
@ 2019-09-06 12:52 David Delmas
  0 siblings, 0 replies; 1+ messages in thread
From: David Delmas @ 2019-09-06 12:52 UTC (permalink / raw)
  To: gdr.gpl, synalp, compilation-news, , gt-mfs, gdr-im, caml-list, ,
	gdr-securite.forum

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

                      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

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-09-06 12:52 [Caml-list] TAPAS 2019 - Call for Participation - Register Early by Sep 10 David Delmas

caml-list - the Caml user's mailing list

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

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


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