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

Possono partecipare Dottori di Ricerca che abbiano sostenuto l'esame finale per il conseguimento del titolo di dottore di ricerca presso un'Universita' italiana a partire dal 1/1/2005 fino alla data di scadenza del presente bando. Per la partecipazione e' necessario essere iscritti all'Associazione GULP per l'anno 2006 (si veda http://lia.deis.unibo.it/gulp/ per informazioni sull'Associazione e per le modalita' d'iscrizione).

Gli interessati devono inviare all'indirizzo email paolo.torroni_AT_unibo.it entro il 30 settembre 2006 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 (e di eventuali revisori esterni)
- breve curriculum della propria attivita' accademica e scientifica

ed allegare copia della tesi di dottorato in formato pdf ed eventuali pareri del Collegio Docenti e dei revisori esterni (preferibilmente in pdf). La tesi puo' essere in lingua italiana o inglese.

La selezione verra' effettuata da apposita Commissione nominata dal Consiglio Direttivo del GULP. In assenza di candidati idonei i premi non verranno assegnati. Il giudizio della Commissione e' insindacabile. I nomi dei vincitori verranno comunicati entro il 31 dicembre 2006. 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.