Seven Comlab papers to be presented at TACAS 2010

Дата публикации: 21-12-2009 12:00:00

The verification group at the Computing Laboratory will present 7 papers at the conference on tools and algorithms for the construction and analysis of systems (TACAS) this year. TACAS is one of the strongest venues in algorithmic verification. The papers range from software verification to the verification of probabilistic systems. We also congratulate Andrzej Murawski and Nikos Tzevelekos for their paper at FOSSACS, and Vijay D'Silva for his paper at ESOP, bringing the total number of ETAPS papers to 9.
Department of Computer Science, University of Oxford

Схожие новости

#	Наименование новости	Тональность	Информативность	Дата публикации
1	Papers accepted to TACAS 2012	0	12.61	10-01-2012
2	Six papers at TACAS 2016	0	10.94	20-12-2015
3	Papers accepted to TACAS 2014	0	12.6	09-01-2014
4	6 papers	0	15.73	22-03-2010
5	Computing Laboratory Research on Oxford main website	0	3.98	19-10-2009
6	Papers accepted into TACAS	0	8.01	04-01-2013
7	CBMC wins Gold in 2014 Software Verification Competition	0	9.6	09-12-2013
8	FIVE COMLAB PAPERS ACCEPTED FOR VLDB CONFERENCE	0	10.4	01-07-2010
9	Nine Papers to be presented at CAV, the leading Computer Aided Verification conference	0	16.28	24-03-2011
10	Papers accepted to FoSSaCS 2012	0	12.71	21-12-2011

Классификация: Пресс-релизы. Схожих патентов: 0. Схожих новостей: 10. Тональность: 0. Информативность: 6.36. Источник: www.cs.ox.ac.uk.