[Caml-list] PhD position in ICT on Formal Verification via SMT available in Trento

-38100 Povo, Trento, Italy http://sra.fbk.eu/people/cimatti/, cimatti[at]fbk[dot]eu Prof. ROBERTO SEBASTIANI Software Engineering Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38100 Povo, Trento, Italy http://disi.unitn.it/~rseba/. rseba[at]disi

[Caml-list] FroCoS'09 Final Call for Papers

: September 16-18th 2009 CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto Sebastiani, University of Trento, Italy PROGRAMME COMMITTEE - Franz Baader, T.U. Dresden, Germany - Peter Baumgartner, NICTA, Camberra, Australia - Torben Brauner, Roskilde University

[Caml-list] FroCoS'09 Final Call for Papers

: September 16-18th 2009 CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto Sebastiani, University of Trento, Italy PROGRAMME COMMITTEE - Franz Baader, T.U. Dresden, Germany - Peter Baumgartner, NICTA, Camberra, Australia - Torben Brauner, Roskilde University

[Caml-list] FroCoS'09 Call for Papers

: June 8th, 2009 Camera Ready Copy: June 22th, 2009 Conference: September 16-18th 2009 CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto Sebastiani, University of Trento, Italy PROGRAMME COMMITTEE - Franz Baader, T.U. Dresden, Germany - Peter

[Caml-list] FroCoS'09 Call for Papers

: June 8th, 2009 Camera Ready Copy: June 22th, 2009 Conference: September 16-18th 2009 CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto Sebastiani, University of Trento, Italy PROGRAMME COMMITTEE - Franz Baader, T.U. Dresden, Germany - Peter

[Caml-list] PhD positions in ICT on Formal Verification via SMT available in Trento

supervision of Dr. ALESSANDRO CIMATTI, Embedded Systems Research Unit, FBK-Irst, via Sommarive 18, I-38100 Povo, Trento, Italy http://sra.fbk.eu/people/cimatti/, Prof. ROBERTO SEBASTIANI Software Engineering Formal Methods Research Program DISI, University of Trento, via