caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] Call for papers: 10th Workshop on Tools for Automatic Program Analysis (TAPAS 2019)
@ 2019-05-29  8:20 David Delmas
  0 siblings, 0 replies; only message in thread
From: David Delmas @ 2019-05-29  8:20 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 3761 bytes --]

*[apologies for crossposting]*

online version: https://easychair.org/cfp/tapas2019

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


        10th Workshop on Tools for Automatic Program Analysis (TAPAS 2019)

8 October 2019, Porto, Portugal.

A satellite workshop of SAS 2019 <http://staticanalysis.org/sas2019/>. 
Part of the FM Week <http://formalmethods2019.inesctec.pt/?page_id=84>.


        Objectives

In recent years, a wide range of static analysis tools have emerged, 
some of which are currently in industrial use or are well beyond the 
advanced prototype level. Many impressive practical results have been 
obtained, which allow complex properties to be proven or checked in a 
fully or semi-automatic way, even in the context of complex software 
developments. In parallel, the techniques to design and implement static 
analysis tools have improved significantly, and much effort is being put 
into engineering the tools.

This workshop is intended to promote discussions and exchange experience 
between users of static analysis tools and specialists in all areas of 
program analysis design and implementation.


        Scope

The technical program of TAPAS 2019 
<http://staticanalysis.org/tapas2019/> will consist of invited lectures, 
together with presentations based on submitted papers or abstracts.

Submissions can cover any aspect of program analysis tools including, 
but not limited to the following:

  * design and implementation of static analysis tools (including
    practical techniques used for obtaining precision and performance)
  * components of static analysis tools (front-ends, abstract domains, etc.)
  * integration of static analyzers (in proof assistants, test
    generation tools, IDEs, etc.)
  * reusable software infrastructure (analysis algorithms and frameworks)
  * experience reports on the use of static analyzers (both research
    prototypes and industrial tools)

This workshop welcomes work in progress, overviews of more extensive 
work, programmatic or position papers and tool presentations.


        Submission Guidelines

TAPAS 2019 <http://staticanalysis.org/tapas2019/> welcomes the following 
categories of submissions:

  * Regular papers (12-15+ pages)
  * Short papers (6-8+ pages)
  * Extended abstracts (2 pages)

Please use the LNCS style 
<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>, 
and submit via the TAPAS 2019 author interface of EasyChair 
<https://easychair.org/conferences/?conf=tapas2019>.


        Publication

Revised versions of selected papers will be published after the workshop 
by Springer in a volume of its Lecture Notes in Computer Science (LNCS) 
<http://www.springer.com/lncs>, which will collect contributions to some 
workshops and symposia co-located with FM 2019 
<http://formalmethods2019.inesctec.pt/>.

The workshop will also have informal proceedings, posted on its web page.


        Important Dates

  * Submission deadline: 4 July 2019
  * Notification of acceptance: 2 August
  * Final version due: 31 August
  * Workshop: 8 October
  * Post-proceedings due: 15 November (tentative)


        Program Committee

  * David Delmas <https://www.di.ens.fr/~delmas/>, Airbus and Sorbonne
    Université, France (chair)
  * Fausto Spoto <http://profs.scienze.univr.it/~spoto/>, Università di
    Verona, Italy
  * Caterina Urban <https://caterinaurban.github.io/>, Inria, France
  * Franck Vedrine, CEA LIST, France
  * Jules Villard <http://jules.pauvre.org/>, Facebook, UK
  * Jingling Xue <http://www.cse.unsw.edu.au/~jingling/>, University of
    New South Wales, Australia
  * Tomofumi Yuki <http://people.rennes.inria.fr/Tomofumi.Yuki/>, Inria,
    France
  * Sarah Zennou, Airbus, France


[-- Attachment #2: Type: text/html, Size: 5430 bytes --]

<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <b><font color="#999999">[apologies for crossposting]</font></b><br>
    <p>online version: <a class="moz-txt-link-rfc2396E"
        href="https://easychair.org/cfp/tapas2019"
        moz-do-not-send="true">https://easychair.org/cfp/tapas2019</a></p>
    <p>------------------------------------------------------------</p>
    <h4>10th Workshop on Tools for Automatic Program Analysis (TAPAS
      2019) </h4>
    8 October 2019, Porto, Portugal.<br>
    <div>
      <p class="MsoNormal">A satellite workshop of <a
          href="http://staticanalysis.org/sas2019/"
          moz-do-not-send="true">SAS 2019</a>. Part of the <a
          href="http://formalmethods2019.inesctec.pt/?page_id=84"
          moz-do-not-send="true">FM Week</a>.</p>
    </div>
    <h4>Objectives</h4>
    <p>In recent years, a wide range of static analysis tools have
      emerged, some of which are currently in industrial use or are well
      beyond the advanced prototype level. Many impressive practical
      results have been obtained, which allow complex properties to be
      proven or checked in a fully or semi-automatic way, even in the
      context of complex software developments. In parallel, the
      techniques to design and implement static analysis tools have
      improved significantly, and much effort is being put into
      engineering the tools.</p>
    <p>This workshop is intended to promote discussions and exchange
      experience between users of static analysis tools and specialists
      in all areas of program analysis design and implementation.</p>
    <h4>Scope</h4>
    <p>The technical program of <a
        href="http://staticanalysis.org/tapas2019/"
        moz-do-not-send="true">TAPAS 2019</a> will consist of invited
      lectures, together with presentations based on submitted papers or
      abstracts.</p>
    <p>Submissions can cover any aspect of program analysis tools
      including, but not limited to the following:</p>
    <ul>
      <li>design and implementation of static analysis tools (including
        practical techniques used for obtaining precision and
        performance)</li>
      <li>components of static analysis tools (front-ends, abstract
        domains, etc.)</li>
      <li>integration of static analyzers (in proof assistants, test
        generation tools, IDEs, etc.)</li>
      <li>reusable software infrastructure (analysis algorithms and
        frameworks)</li>
      <li>experience reports on the use of static analyzers (both
        research prototypes and industrial tools)</li>
    </ul>
    <p>This workshop welcomes work in progress, overviews of more
      extensive work, programmatic or position papers and tool
      presentations.</p>
    <h4>Submission Guidelines</h4>
    <p><a href="http://staticanalysis.org/tapas2019/"
        moz-do-not-send="true">TAPAS 2019</a> welcomes the following
      categories of submissions:</p>
    <ul>
      <li>Regular papers (12-15+ pages)</li>
      <li>Short papers (6-8+ pages)</li>
      <li>Extended abstracts (2 pages)</li>
    </ul>
    <p>Please use the <a
href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines"
        moz-do-not-send="true">LNCS style</a>, and submit via the <a
        href="https://easychair.org/conferences/?conf=tapas2019"
        moz-do-not-send="true">TAPAS 2019 author interface of EasyChair</a>.</p>
    <h4>Publication</h4>
    <p>Revised versions of selected papers will be published after the
      workshop by Springer in a volume of its <a
        href="http://www.springer.com/lncs" moz-do-not-send="true">Lecture
        Notes in Computer Science (LNCS)</a>, which will collect
      contributions to some workshops and symposia co-located with <a
        href="http://formalmethods2019.inesctec.pt/"
        moz-do-not-send="true">FM 2019</a>.<br>
    </p>
    <p> The workshop will also have informal proceedings, posted on its
      web page. <br>
    </p>
    <h4 class="header" id="dates">Important Dates</h4>
    <ul>
      <li>Submission deadline: 4 July 2019</li>
      <li>Notification of acceptance: 2 August</li>
      <li>Final version due: 31 August</li>
      <li>Workshop: 8 October</li>
      <li>Post-proceedings due: 15 November (tentative)</li>
    </ul>
    <h4>Program Committee</h4>
    <ul>
      <li><a href="https://www.di.ens.fr/~delmas/"
          moz-do-not-send="true">David Delmas</a>, Airbus and Sorbonne
        Université, France (chair)</li>
      <li><a href="http://profs.scienze.univr.it/~spoto/"
          moz-do-not-send="true">Fausto Spoto</a>, Università di Verona,
        Italy</li>
      <li><a href="https://caterinaurban.github.io/"
          moz-do-not-send="true">Caterina Urban</a>, Inria, France</li>
      <li>Franck Vedrine, CEA LIST, France</li>
      <li><a href="http://jules.pauvre.org/" moz-do-not-send="true">Jules
          Villard</a>, Facebook, UK</li>
      <li><a href="http://www.cse.unsw.edu.au/~jingling/"
          moz-do-not-send="true">Jingling Xue</a>, University of New
        South Wales, Australia</li>
      <li><a href="http://people.rennes.inria.fr/Tomofumi.Yuki/"
          moz-do-not-send="true">Tomofumi Yuki</a>, Inria, France</li>
      <li>Sarah Zennou, Airbus, France</li>
    </ul>
  </body>
</html>

^ permalink raw reply	[flat|nested] only message 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-05-29  8:20 [Caml-list] Call for papers: 10th Workshop on Tools for Automatic Program Analysis (TAPAS 2019) 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

Example config snippet for mirrors

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.git