Roberto Sebastiani - Collaborators

• Gilles Audemard University of Provence (Marseille), France.
• Clark Barrett at New York University, USA.
• Piergiorgio Bertoli at ITC-IRST, Trento
• Dirk Beyer at University of Passau, DE.
• Zhengbing Bian at D-Wave System Inc., Burnaby, Canada.
• Armin Biere at Johannes Kepler University, Linz, Austria
• Marco Bozzano at ITC-IRST, Trento
• Roberto Bruttomesso at University of Lugano.
• Alan Bundy at University of Edinbourgh, UK (Herbrand Award 2007)
• Evellin Cardoso at DISI, Trento.
• Angelo Chiappini at Ansaldo Segnalamento Ferroviario, Genova, Italy.
• Fabian Chudak at D-Wave System Inc., Burnaby, Canada.
• Edmund Clarke at CMU, USA (Turing Award 2007, Herbrand Award 2008)
• Alessandro Cimatti at ITC-IRST, Trento
• Gabriele Colombini at DISI, Universita` di Trento, Italy.
• Francesco Contaldo at DISI, Universita` di Trento, Italy.
• Byron Cook at Microsoft Research, Cambridge, UK.
• James Davenport at University of Bath, UK.
• Mauro DiManzo at DIST, Universita` di Genova.
• Matthew England at Coventry University, UK.
• Anders Franzen at ITC-IRST, Trento
• Paolo Giorgini at DISI, Universita` di Trento.
• Enrico Giunchiglia at DIST, Universita` di Genova.
• Fausto Giunchiglia at DISI, Universita` di Trento
• Alberto Griggio at DISI, Universita` di Trento
• Volker Haarslev at Concordia University, Montreal, Canada
• Ziyad Hanna at Intel Israel Design Center, Haifa, Israel.
• Ahmed Irfan at FBK, Trento, Italy.
• Jennifer Horkoff at Chalmers University, Sweden
• Ian Horrocks at University of Manchester, UK.
• Tommi Junttila at Helsinki University of Technology, Finland.
• Zurab Kasidashvili at Intel Israel Design Center, Haifa, Israel.
• Erkan Keremoglu at Simon Fraser University, CA.
• Samuel Kolb at KU Leuven, Be.
• Artur Kornilowicz at University of Byalistok, Poland.
• Thi Thieu Hoa Le at DISI, Universita` di Trento.
• Steve Linton at University of St. Andrews, Scotland, UK.
• William MacReady at D-Wave System Inc., Burnaby, Canada.
• Alessandro Massarotto at DIST, Universita` di Genova.
• David McAllester at AT\&T Labs, NJ, USA.
• Sibylle Moehle Rotondi at Johannes Kepler University, Linz, Austria
• John Mylopoulos at University of Toronto, Canada.
• Alexander Nadel at Intel Israel Design Center, Haifa, Israel.
• Mai Chi Nguyen at DISI, University of Trento, Italy.
• Eleonora Nicchiarelli at DISI, Universita` di Trento.
• Amit Palti at Intel Israel Design Center, Haifa, Israel.
• Andrea Passerini at DISI, University of Trento, Italy.
• Peter F. Patel-Schneider at Bell Labs, NJ, USA.
• Quoc-Sang Phan Queen Mary, U. of London
• Pier Luigi Pieraccini at Ansaldo Segnalamento Ferroviario, Genova, Italy.
• Marco Pistore at ITC-IRST, Trento
• Carmen Porzia at Ansaldo Segnalamento Ferroviario, Genova, Italy.
• Luc De Raedt at KU Leuven, Be.
• Silvio Ranise at LORIA and INRIA-Lorraine, Villers les Nancy, France.
• Jeremy Ridgeway at DISI, Universita` di Trento.
• Peter van Rossum at Radboud University Nijmegen, The Netherlands.
• Gianni Rotondo at Ansaldo Segnalamento Ferroviario, Genova, Italy.
• Marco Roveri at ITC-IRST, Trento
• Aidan Roy at D-Wave System Inc., Burnaby, Canada.
• Alessandro Santuari at Universita` di Trento.
• Bastian Joost Schaafsma at DISI, Universita` di Trento.
• Stephan Schulz at ITC-IRST, Trento
• Sanjit Seshia,at UC Berkeley, USA
• Eli Singerman, at Intel Israel Design Center, Haifa, Israel
• Francesco Sommavilla at DISI, Universita` di Trento, Italy.
• Cristian Stenico at DISI, Universita` di Trento
• Armando Tacchella at DIST, Universita` di Genova.
• Stefano Teso at DISI, University of Trento, Italy.
• Cesare Tinelli at University of Iowa, USA.
• Alessandro Tomasi at DISI, Universita` di Trento.
• Silvia Tomasi at DISI, Universita` di Trento.
• Stefano Tonetta at DISI, Universita` di Trento.
• Paolo Traverso at ITC-IRST, Trento
• Patrick Trentin at DISI, University of Trento, Italy.
• Duy Tin Truong at DISI, Universita` di Trento.
• Moshe Vardi at Rice University, TX, USA (Goedel Prize 2000)
• Michele Vescovi at DISI, Universita` di Trento.
• Stefano Varotti at DISI, Universita` di Trento.
• Adolfo Villafiorita at ITC-IRST, Trento
• Toby Walsh at University of Edinbourgh, UK
• Pedro Zuidberg Dos Martires at KU Leuven, Be.