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
by December 10, 2004.
![[point]](picts/full_stop.png){kind=small}
Cousot![[arobase]](picts/commercial_at.png){kind=small}
polytechnique fr
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) |
Contact: Radhia
Last modified: Saturday May 22, 2010 |
|
3385