[TYPES] EAAI'06 cfp

Francesco Ranzato franz at math.unipd.it
Mon Dec 19 06:57:03 EST 2005

Apologies for multiple copies.
                    First International Workshop on
       Emerging Applications of Abstract Interpretation (EAAI'06)
                    A Satellite Event of ETAPS 2006

                    March 26th 2006, Vienna, Austria

Abstract interpretation is  almost  30  years   old. These   30  years
witnessed  a  great  success  of this   methodology,  in particular in
analysis and verification of programming languages and systems: static
program analysis,  program   compilers, program  verification, program
transformation, program semantics.  This workshop focusses on emerging
applications of abstract   interpretation in  nontraditional  or  even
innovative  areas,   like  security,   model checking,    embedded and
real-time systems,   systems    biology, software   watermarking   and
obfuscation,    hardware verification, etc.    The  workshop aim is to
spread the methods  of abstract  interpretation towards nontraditional
areas and to share common experiences in using abstract interpretation
as an approximation technique.

Topics    of  interest include   all     the applications of  abstract
interpretation in nontraditional fields, like:

* hardware/software security
* safety-critical hardware/software systems
* hardware/software model checking
* hardware/software verification
* very large software systems
* embedded, real-time and reactive systems
* software watermarking and obfuscation
* process algebra
* artificial intelligence
* automated deduction
* systems biology
* quantum computing
* global computing
* grid computing

Paper submission: 8 January 2006
Notification: 27 January 2006
Camera-ready: 9 February 2006

Anindya Banerjee (US)
Bruno Blanchet (FR)
Radhia Cousot (FR)
Saumya Debray (US)
Roberto Giacobazzi (IT, co-chair)
David Monniaux (FR)
Alan Mycroft (UK)
Francesco Ranzato (IT, co-chair)
Hanne Riis Nielson (DK)
Helmut Veith (DE)

Authors are  invited to submit papers  up to 15  pages.  Contributions
should  report about ongoing research  in the emerging applications of
abstract  interpretation according to  the scope and objectives of the
workshop.  Position papers are also encouraged. Electronic submissions
in   pdf  or  postscript  format   should   be  sent   via email   to:
<eaai06 at math.unipd.it>.   Workshop  proceedings will be distributed by
the organizers  of ETAPS'06.  Depending on the  number  and quality of
submissions, we will  pursue  the publication of   post-proceedings of
selected papers as a journal special issue.

Germán Puebla (Universidad Politécnica de Madrid, ES)

Roberto Giacobazzi
University of Verona
email: roberto.giacobazzi[AT]univr.it

Francesco Ranzato
University of Padova
email: franz[AT]math.unipd.it

More information about the Types-list mailing list