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