posted by user: moy || 1770 views || tracked by 2 users: [display]

NSAD 2019 : Numerical and Symbolic Abstract Domains

FacebookTwitterLinkedInGoogle

Link: https://staticanalysis.org/nsad2019/
 
When Oct 8, 2019 - Oct 8, 2019
Where Porto
Submission Deadline Jul 4, 2019
Categories    abstract interpretation   verification   formal methods   numerical domains
 

Call For Papers

Objective :

Abstract domains are a key notion in Abstract Interpretation theory
and practice. The Abstract Interpretation framework provides
constructive and systematic formal methods to design, compose,
compare, study, prove, and apply abstract domains, notably for
software verification purposes. 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 may also be used in
other communities closed to Abstract Interpretation, like Constraint
Solving, SMT Solving, Program Transformation, this workshop is the
place to share our various experiences.

Scope :

The technical program of NSAD 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. We particularly encourage submissions coming from
other commmunities like constraint solving, logics, compilation ...

Related Resources

SYNASC 2021   23th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
NumANN 2021   Mathematics Journal Special Issue on Numerical Analysis of Artificial Neural Networks
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
IEEE-IIB 2021   IEEE Intelligent Informatics Bulletin: Call for Ph.D. Thesis Abstracts
ECSQARU 2021   The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ENFHT 2022   7th International Conference on Experimental and Numerical Flow and Heat Transfer
LIDTA 2021   3rd International Workshop on Learning with Imbalanced Domains: Theory and Applications
MdE Cfp 2021   CFP The political is symbolic - Materiali di Estetica 8.2
FHPNC 2021   The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing