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
http://www.math.unipd.it/EAAI06
AIMS ANS SCOPE:
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
IMPORTANT DATES:
Paper submission: 8 January 2006
Notification: 27 January 2006
Camera-ready: 9 February 2006
PROGRAM COMMITTEE:
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)
SUBMISSION AND PUBLICATION:
Authors are invited to submit papers up to 15 pages in ENTCS format.
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: <[log in to unmask]>.
As in previous years ETAPS'06 workshop proceedings are planned to be
published as a volume of Elsevier's Electronic Notes in Theoretical
Computer Science (ENTCS).
ORGANIZERS:
Roberto Giacobazzi
University of Verona
email: roberto.giacobazzi[AT]univr.it
Francesco Ranzato
University of Padova
email: franz[AT]math.unipd.it
|