caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] [NSAD 2019] 2nd Call for Papers (extended deadline): Workshop on Numerical and Symbolic Abstract Domain
@ 2019-07-02 12:58 Laure Gonnord
  0 siblings, 0 replies; 1+ messages in thread
From: Laure Gonnord @ 2019-07-02 12:58 UTC (permalink / raw)
  To: laure.gonnord

Hello;

[apologies for crossposting] 
online version: https://staticanalysis.org/nsad2019/

I enclosed the second CFP for the NSAD Workshop  (Numerical and Symbolic
Abstract Domain), colocated with FM, SAS (and TAPAS and SASB)


Like TAPAS, we extend the deadline to July 18th.
Like TAPAS, this workshop welcomes work in progress, overviews of more
extensive work, programmatic or position papers and tool
presentations.

Laure Gonnord;

NSAD chair
----
Objective
Abstract domains are a key notion in Abstract Interpretation theory
and practice. They embed the semantic choices, data-structures and
algorithmic aspects, and implementation decisions. The Abstract
Interpretation framework provides constructive and systematic formal
methods to design, compose, compare, study, prove, and apply abstract
domains. Many abstract domains have been designed so far: numerical
domains (intervals, congruences, polyhedra, polynomials, etc.),
symbolic domains (shape domains, trees, etc.), but also domain
operators (products, powersets, completions, etc.), and have been
applied to several kinds of static analyses (safety, termination,
probability, etc.). Abstract domains are a key notion in Abstract
Interpretation theory and practice. They embed the semantic choices,
data-structures and algorithmic aspects, and implementation decisions
of The 8th International Workshop on Numerical and Symbolic Abstract
Domains is intended to discuss on-going works and ideas in the
field. This year's edition will be more open to work in progress, and
contributions coming from other close communities such as constraint
solving, compilation, worst-case execution time communities, will be
welcome.

NSAD 2019 will be co-located with SAS 2019.

Scope
The technical program of TAPAS 2019 will consist of invited lectures
together with presentations, based on submitted extended abstracts.

Submissions can cover any aspect of numerical and symbolic abstract
domains, such that:

cases studies or problem statements coming from close communities
numeric abstract domains
symbolic abstract domains
extrapolations and accelerations
compositions and operations on abstract domains
data structures and algorithms for abstract domains
novel applications of abstract domains implementations
practical experiments and comparisons
implementations
Like TAPAS, this workshop welcomes work in progress, overviews of more
extensive work, programmatic or position papers and tool
presentations.

Proceedings and post-proceedings
The workshop will have informal proceedings, posted on its web page.

Revised versions of selected papers will be published after the
workshop by Springer in a volume of its Lecture Notes in Computer
Science (LNCS), which will collect contributions to some workshops and
symposia co-located with FM 2019. Condition for inclusion in the
post-proceedings is that at least one of the co-authors has presented
the paper at the workshop.

Submission instructions
Please submit your regular paper (12-15+ pages), short paper (6-8+
pages), or extended abstract (2 pages), in LNCS style, via the NSAD
2019 author interface of EasyChair.

All submissions will be peer-reviewed by at least three members of the
program committee for quality and relevance.

Important Dates
Submission deadline: 4 July 18 July 2019 (extended)
Notification of acceptance: 2 August 15 August
Final version due: 31 August 8 September
Workshop: 7 or 8 October
Post-proceedings due: 15 November (tentative)
Venue and Registration
Please see the main SAS page for details.

Program Committee
Laure Gonnord, Université de Lyon, France (chair)
Clément Ballabriga (Univ Lille, France)
Mehdi Bouaziz (Facebook, London)
Matthieu Martel (Univ Perpignan, France)
Isabella Mastroeni (Univ Verona, Italy)
Pascal Sotin (Univ Toulouse, France)
Charlotte Truchet (Univ Nantes, France)




-- 
Laure Gonnord - 
(Habilitated) Associate Professor University of Lyon / LIP (ENS Lyon)
Co-Coordinator of the French Compilation Community :
http://compilfr.ens-lyon.fr
Office :      Ens Lyon / LIP, Monod, 364N (changed dec 17)
Tel    :      +33 4 72 72 85 47
Web    :      http://laure.gonnord.org/pro

^ 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-07-02 12:58 [Caml-list] [NSAD 2019] 2nd Call for Papers (extended deadline): Workshop on Numerical and Symbolic Abstract Domain Laure Gonnord

caml-list - the Caml user's mailing list

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

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