First International Workshop on

Numerical & Symbolic Abstract Domains

January 21, 2005   :   Paris, France

Maison des Polytechniciens

Program

Call for papers

Abstract domain is a key notion in Abstract Interpretation theory. The Abstract Interpretation framework provides constructive systematic formal methods for abstract domain design (moore families, closures, galois connections, congruences, ... but also less constrained models when a better approximation does not exist), abstract domain composition (fully or partially reduced product, cardinal power, downset completion, ...), etc.

Many abstract domains have been designed: numerical (e.g. intervals, linear equalities, linear inequalities, congruences, octogons, octahedrons, complex non-linear invariants, etc.), symbolic (e.g. partitions, trees etc.), composed domains (e.g. using the reduced product) and recently application to the analysis of floating-point numbers, practical deployment on a large scale, etc.

Topics & Submissions:

The workshop is intended to discuss on-going works and ideas in the field. Topics of interest include (but are not limited to):

numeric abstract domains symbolic abstract domains
compositions practical implementations
extrapolation practical experimentation
techniques to adjust the cost/precision trade-off

Those who are interested in having a talk at the workshop and/or discussing issues related with this subjects are invited to send their expression of interest together with an extended abstract to Radhia[point]Cousot[arobase]polytechnique [point]fr by December 10, 2004.

Submitted extended abstracts should be at most 5 pages lncs-style. A special issue in the series Electronic Notes in Theoretical Computer Science will be organized if the number of expressions of interest is relevant.

Important dates:

Extended Abstracts: December 10, 2004
Notification: December 21, 2004
The workshop: January 21, 2005

Program Committee:

Jordi Cortadella Universitat Politècnica de Catalunya (S)
Radhia Cousot (Chair) CNRS / École Polytechnique (F)
Laurent Mauborgne École Normale Supérieure (F)
Alan Mycroft Cambridge University (UK)
Francesca Scozzari Università di Pisa (I)
Helmut Seidl Technische Universität München (G)
Dave Schmidt Kansas State University (USA)
Arnaud Venet Kestrel/NASA Ames Research Center (USA)


Panoram de Paris 360

Contact: Radhia[point]Cousot[arobase]polytechnique [point]fr
Last modified: Saturday May 22, 2010
Valid XHTML 1.1! Valid CSS!
ACM

VMCAI'05

Conference venue Invited speakers Invited tutorial Program Call for papers Committees Registration Sponsors Publication LNCS 3385

Affiliated events

Industrial Day NSAD'05 AIOOL'05

Paris

Accommodations Subway (map, itinary,...) Weather Maps

Links

VMCAI'04VMCAI'03
EAPLS