Premio GULP 2007-2009 per la migliore Tesi di Dottorato su argomenti di Logica Computazionale "Marco Cadoli"

Distinguished Dissertations 2005-2006

Distinguished Dissertations 2007-2009

Distinguished Dissertations 2010-2011

Marco Montali
- Specification and Verification of Declarative Open Interaction Models: a Logic-Based Framework (published by Springer-Verlag, 2010, as Vol. 56 of Lecture Notes in Business Information Processing)
Gian Luca Pozzato
- Proof Methods for Conditional and Preferential Logics (published by IOS Press, 2010, as Vol. 208 of Frontiers in Artificial Intelligence and Applications)

Board of trustees 2009

Agostino Dovier, GULP Executive Board, Università di Udine, Italy
Andrea Formisano, GULP Executive Board, Università di Udine, Italy
Enrico Pontelli, GULP Executive Board, New Mexico State University, NM, US
Giorgio Delzanno, GULP Executive Board, Università di Genova, Italy

International board of experts 2009

Adelinde M Uhrmacher, Professor, Institute of Computer Science, Modelling And Simulation Group, University of Rostock, Germany
Aditya K Ghose, Professor, Director, Decision Systems Lab, University of Wollongong, Australia
Alberto Pettorossi, Professor of Theoretical Computer Science, Department of Computer Science, Università di Roma Tor Vergata & MAP Research Center on Advanced Programming Methodologies, Ruberti Institute, CNR, Rome, Italy
Alexander Razborov, Andrew MacLeish Distinguished Service Professor, University of Chicago, Professor, Toyota Technological Institute at Chicago, Principal Researcher, Steklov Mathematical Institute, IL, US
Bart Demoen, Professor, Department of Computer Science, Declarative Languages and Artificial Intelligence Group, Faculty of Engineering, Katholieke Universiteit Leuven, Heverlee, Belgium
Bonnie Nardi, Professor, Department of Informatics in the Donald Bren School of Information and Computer Sciences, University of California, Irvine, CA, US
Bud Mishra, Principal Investigator, NYU/Courant Bioinformatics Group, Professor, Courant Institute & NYU School of Medicine, New York University, NY, US
Chia-Hui Chang, Associate Professor, Department of Computer Science and Information Engineering, National Central University, Taiwan
Chris Reed, Argumentation Research Group, Head of Research, School of Computing, University of Dundee, Scotland & Calico Jack Ltd., UK
Claudio Bartolini, Senior Researcher, HP Labs Palo Alto, CA, US
CR Ramakhrishnan, Associate Professor, Department of Computer Science, SUNY at Stony Brook, NY, US
Daniel Lehmann, Professor, School of Engineering & Computer Science, Hebrew University of Jerusalem, Israel
Dale Miller, Professor, Director of Research, INRIA Saclay - Île-de-France. Team leader, Parsifal. Laboratoire d'Informatique, LIX, École Polytechnique, Palaiseau, France
Deborah McGuinness, Tetherless World Constellation Chair and Professor of Computer Science and Cognitive Science, Rensselaer Polytechnic Institute, Troy, NY US
Dirk Vermeir, Professor, Department of Computer Science, Université Libre de Bruxelles, Belgium
Enrico Franconi, Associate Professor, KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy
Fariba Sadri, Senior Lecturer, Department of Computing, Course Director, MSc Computing and MSc Advanced Computing, Logic and Artificial Intelligence Group, Imperial College London, UK
Gerhard Brewka, Professor, Intelligent Systems Department, Computer Science Institute, University of Leipzig, Germany
Guillermo R Simari, Professor, Department of Computer Science & Engineering, Chair, LIDIA Artificial Intelligence Lab, Universidad Nacional del Sur, Bahia Blanca, Argentina
Hubert Comon-Lundh, Professor, Laboratoire Spécification et Vérification, Ecole Normale Supérieure de Cachan, France
John Gallagher, Professor, Programming, Logic and Intelligent Systems Research Group, Department of Communication, Business and Information Technologies, Roskilde University, Denmark & IMDEA-Software Institute, Madrid, Spain
John W Lloyd, Professor, Computer Sciences Laboratory, College of Engineering and Computer Science, Australian National University, Canberra, Australia
Jun Zhang, PhD, Lead Scientist at FICO (Fair Isaac Corp.), US
Marcello Balduccini, PhD, Research Scientist, Intelligent Systems Department, Kodak Research Labs, Rochester, NY, US
Marta Z Kwiatkowska, Professor, Director of Graduate Studies, Fellow, Trinity College, Computing Laboratory, Oxford University, UK
Martijn van Otterlo, PhD, Department of Computer Science, Machine Learning Research Group, Katholieke Universiteit Leuven, Heverlee, Belgium
Michael Fink, Assistant Professor, Vienna University of Technology, Knowledge-Based Systems Group, Austria
Munindar P Singh, Professor, Department of Computer Science, North Carolina State University, NC, US
Paolo Ferraris, PhD, Google Inc, Mountain View, CA, US
Pedro Domingos, Associate Professor, Department of Computer Science & Engineering, University of Washington, WA, US
Pedro Meseguer, Scientific Researcher, Institut d'Investigació en Intelligència Artificial, Consejo Superior de Investigaciones Científicas, Barcelona, Spain
Peter Kemper, Associate Professor, Department of Computer Science, College of William and Mary, Williamsburg, VA, US
Robert A Kowalski, Professor Emeritus, Department of Computing, Logic and Artificial Intelligence Group, Imperial College London, UK
Roberto Sebastiani, Associate Professor, Department of Engineering and Computer Science, Faculty of Mathematical, Physical and Natural Sciences, University of Trento, Povo, TN, Italy
Shazia W Sadiq, Associate Professor, School of Information Technology and Electrical Engineering, The University of Queensland, Australia
Tim Norman, PhD, Reader, Head, Computing Science Research, Department of Computing Science, University of Aberdeen, Leader, Aberdeen Intelligent Software Agents Research Theme.
Vijay A Saraswat, Adjunct Professor, Computer Science and Engineering, Penn State University, University Park, PA, US & Member, Research Staff, IBM TJ Watson Research Lab, Yorktown Heights, NY, US
Wil MP van der Aalst, Professor, Department of Mathematics & Computer Science, Technische Universiteit Eindhoven, Chair of the Architecture of Information Systems (AIS) group, Eindhoven, The Netherlands

Organizing Committee 2009

Gianfranco Rossi, GULP President, Università di Parma, Italy
Alberto Pettorossi, GULP Vice President, Università di Roma Tor Vergata, Italy
Paolo Torroni, GULP Secretary, Università di Bologna, Italy

Call 2009 (in Italian)

L'Associazione italiana per la Programmazione Logica GULP ("Gruppo ricercatori e Utenti di Logic Programming") bandisce per il 2009 due premi per le migliori tesi di dottorato su argomenti di Logica Computazionale. L'ammontare di ciascun premio e' di 600 (seicento) EURO.

Requisiti per la partecipazione. Possono partecipare gli iscritti ad un Dottorato di Ricerca presso un'Università italiana che abbiano consegnato la tesi per il conseguimento del titolo di Dottore di Ricerca a partire dal 1o ottobre 2006 fino al 31 marzo 2009 e che prevedano di sostenere l'esame finale entro e non oltre il 31 maggio 2009.

Per la partecipazione è necessario essere iscritti all'Associazione GULP per l'anno 2009. Per maggiori informazioni sull'Associazione e per le modalità d'iscrizione si veda http://lia.deis.unibo.it/gulp/.

Modalità di partecipazione. Gli interessati devono inviare all'indirizzo email

entro il 31 marzo 2009 un messaggio di posta elettronica contenente:

nome e cognome
denominazione del dottorato di ricerca ed e-mail del coordinatore del dottorato
titolo ed abstract della tesi (formato testo)
data di presentazione della tesi
nome e cognome del relatore della tesi
breve curriculum dell'attività accademica e scientifica

ed allegare copia della tesi di dottorato in formato pdf (in lingua italiana o inglese).

La domanda dovrà essere perfezionata entro il 31 maggio 2009 inviando, allo stesso indirizzo email di cui sopra, dichiarazione dell'avvenuto superamento dell'esame per il conseguimento del titolo di Dottore di Ricerca ed allegando eventuali pareri del Collegio Docenti e dei revisori esterni.

Selezione dei vincitori. La selezione verrà effettuata da apposita Commissione nominata dal Consiglio Direttivo del GULP. In assenza di candidati idonei i premi non verranno assegnati. Il giudizio della Commissione è insindacabile.

Nomina dei vincitori e consegna dei premi. I nomi dei vincitori verranno comunicati entro il 15 giugno 2009. Data e luogo della consegna dei premi verranno precisati con successiva comunicazione. Le spese di viaggio (in treno, in Italia) e soggiorno dei vincitori per partecipare alla cerimonia di premiazione saranno a carico dell'Associazione GULP.