Call for Papers and Other Useful Academic Information

APV 2009
Automatic Program Verification
http://se.ethz.ch/apv/
February 14-15, 2009
Argentina
——————————————————————–
Automatic software verification is once again at the forefront of
research in computer science, thanks to a combination of novel
techniques and more powerful hardware to implement them. The aim of the
APV symposium is to bring together researchers to exchange and develop
new ideas in all aspects of software verification, from design to
implementation.
Topics […]

APV 2009
Automatic Program Verification
http://se.ethz.ch/apv/
February 14-15, 2009
Argentina
——————————————————————–
Automatic software verification is once again at the forefront of
research in computer science, thanks to a combination of novel
techniques and more powerful hardware to implement them. The aim of the
APV symposium is to bring together researchers to exchange and develop
new ideas in all aspects of software verification, from design to
implementation.
Topics […]

APV 2009
Automatic Program Verification
http://se.ethz.ch/apv/
February 14-15, 2009
Argentina
——————————————————————–
Automatic software verification is once again at the forefront of
research in computer science, thanks to a combination of novel
techniques and more powerful hardware to implement them. The aim of the
APV symposium is to bring together researchers to exchange and develop
new ideas in all aspects of software verification, from design to
implementation.
Topics […]

Because of a number of requests, last submission deadline extension: October 31 !!!
*********************************************************************
Final Call for Papers
3rd INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2009)
Tarragona, Spain, April 2-8, 2009
http://grammars.grlmc.com/LATA2009/
*********************************************************************
AIMS:
LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that […]