Machine Learning meets Formal Verification

Location:

Rostock University

Date:

Thursday, 5 March, 2015

File:

News

27/01/2016: Upgrade

27/01/2016: Publication List updated

27/01/2016: QEST 2017

04/09/2014: Program Committee of RV

01/08/2014: Editorial Board of Information and Computation

06/06/2014: QAPL proceeding

02/06/2014: Gastprofessor in Saarbrücken

14/05/2014: Accepted papers at QEST

13/01/2014: Dagstuhl seminar

30/12/2013: PC of PERFORMANCE

Luca Bortolussi
Department of Mathematics and Geosciencs
University of Trieste

Address: Via A. Valerio 12/1, 34127, Trieste, Italy

Building: H2bis, Office 328, 3rd floor

Phone: +39 040 558 2630

Email: lucaXdmiYunitsYit (X = @, Y = .)