Archive for October 29th, 2008

[Concurrency] Symposium on Automatic Program Verification – last

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 [...]

(PN) Symposium on Automatic Program Verification – last call for

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 [...]

Symposium on Automatic Program Verification – last call for papers

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 [...]

LATA 2009: last submission deadline extension to October 31 !!!

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 [...]