[TYPES/announce] PhD Position in ICT in Trento on "Quantum Annealing for SAT Solving"

mation and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy, under the supervision of Prof. Roberto Sebastiani, DISI, University of Trento, sponsored by and in direct collaboration with D-Wave Systems Inc. (http://www.dwavesys.com). The goal of the QuaSI pro

[TYPES/announce] SAT 2012: Call for Papers

2012 Final Version Due:04/05/2012 Conference:17-20/06/2012 PROCEEDINGS === The proceedings of SAT’12 will be published by Springer-Verlag in the LNCS series. PROGRAM CHAIRS == Alessandro Cimatti -- FBK-Irst, Trento, It

[TYPES/announce] SAT 2012: Call for Papers

Alessandro Cimatti -- FBK-Irst, Trento, Italy Roberto Sebastiani -- DISI, University of Trento, Italy PROGRAM COMMITTEE = Dimitris Achlioptas -- UC Santa Cruz, USA Fahiem Bacchus -- University of Toronto, Canada Paul Beame -- University of Washington, USA Armin Bier

[TYPES/announce] SAT 2012: Final Call for Papers

Alessandro Cimatti -- FBK-Irst, Trento, Italy Roberto Sebastiani -- DISI, University of Trento, Italy PROGRAM COMMITTEE = Dimitris Achlioptas -- UC Santa Cruz, USA Fahiem Bacchus -- University of Toronto, Canada Paul Beame -- University of Washington, USA Armin Bier

[TYPES/announce] PHD position on SAT/SMT applications to requirement engineering in Trento

. -- Call for one PhD position in ICT on "Application of SAT- and SMT-based optimization algorithms to requirement engineering" at Dept. of Computer Science & Engineering, University of Trento, Italy. Advisors: Prof. John Mylopoulos and Prof. Roberto Sebastiani http://disi.unitn.it/users/j

[TYPES/announce] PHD position on SMT-based formal verification in Trento

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

[TYPES/announce] Postdoc positions in SAT/SMT-based Verification available in Trento

d SMT Techniques for Word-level Formal Verification - (WOLF)" is available in Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out jointly within the Embedded Systems (ES) Res

[TYPES/announce] Postdoc positions in SAT/SMT-based Verification available in Trento

d SMT Techniques for Word-level Formal Verification - (WOLF)" is available in Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out jointly within the Embedded Systems (ES) Res

[TYPES/announce] PHD positions in SAT/SMT-based Verification available in Trento

aly, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out jointly within the Embedded Systems (ES) Research Unit of the Center for Scientific and Technological Research of the Fondaz

[TYPES/announce] Postdoc positions in SAT/SMT-based Verification available in Trento

d SMT Techniques for Word-level Formal Verification - (WOLF)" is available in Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out jointly within the Embedded Systems (ES) Res

[TYPES/announce] Postdoc positions in SAT/SMT-based Verification available in Trento

d SMT Techniques for Word-level Formal Verification - (WOLF)" is available in Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento. This is a three-year research project supported by SRC/GRC (http://www.src.org/compe

[TYPES/announce] FroCoS'09 Call for Papers

deadline:April 26th, 2009 Full paper submission deadline: May 3rd, 2009 Notification of acceptance: June 8th, 2009 Camera Ready Copy: June 22th, 2009 Conference: September 16-18th 2009 CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto

[TYPES/announce] FroCoS'09 Final Call for Papers

Notification of acceptance: 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

[TYPES/announce] FroCoS'09: Call for Participation

Trento is a small Reinassance town, not far from Verona and Venice, famous for the Council (1545-1563) which gave rise to the Catholic Counter-Reformation. Trento area (Trentino) is a well-known touristic and holiday area. CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto Sebastiani,

[TYPES/announce] PhD position in ICT on Formal Verification via SMT available in Trento

the joint 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/, cimatti[at]fbk[dot]eu Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research

[TYPES/announce] URGENT: PhD position on Satisfiability-based algorithms for Requirements Engineering

"Satisfiability-based algorithms for Requirements Engineering" at Dept. of Computer Science & Engineering, University of Trento, Italy. Advisors: Prof. John Mylopoulos and Prof. Roberto Sebastiani ELIGIB