eaai2006 workshop qnec20mathunipdit apologies multiple copies first international workshop emerging applications abstract interpretation eaai06 satellite event etaps 2006 march 26th 2006 vienna austria httpwwwmathunipditeaai06 aims ans scope abstract interpretation almost 30 years old 30 years witnessed great success methodology particular analysis verification programming languages systems static program analysis program compilers program verification program transformation program semantics workshop focusses emerging applications abstract interpretation nontraditional even innovative areas like security model checking embedded realtime systems systems biology software watermarking obfuscation hardware verification etc workshop aim spread methods abstract interpretation towards nontraditional areas share common experiences using abstract interpretation approximation technique topics interest include applications abstract interpretation nontraditional fields like hardwaresoftware security safetycritical hardwaresoftware systems hardwaresoftware model checking hardwaresoftware verification large software systems embedded realtime reactive systems software watermarking 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 cameraready 9 february 2006 program committee anindya banerjee us bruno blanchet fr radhia cousot fr saumya debray us roberto giacobazzi cochair david monniaux fr alan mycroft uk francesco ranzato cochair hanne riis nielson dk helmut veith de submission publication authors invited submit papers 15 pages entcs format contributions report ongoing research emerging applications abstract interpretation according scope objectives workshop position papers also encouraged electronic submissions pdf postscript format sent via email previous years etaps06 workshop proceedings planned published volume elseviers electronic notes theoretical computer science entcs organizers roberto giacobazzi university verona email robertogiacobazziatunivrit francesco ranzato university padova email franzatmathunipdit wed 06 aug 2008 201032 0100 uai eaai06 cfp