Premio tesi 3+2
L'AILA
(Associazione Italiana di Logica e Applicazioni) bandisce
un concorso per premiare le migliori tesi di laurea triennale o
specialistica su argomenti di Logica Matematica per il 2009-2010.
- Si prevedono:
- - fino a 3 premi per tesi di laurea triennale
- - fino a 3 premi per tesi di laurea magistrale.
I vincitori saranno invitati a partecipare alla prossima Scuola
Estiva di Logica, Gargnano (Brescia), prevista per 1 settimana tra
fine agosto e inizio settembre 2010, con l'esonero delle spese di
frequenza, trattamento di mezza pensione presso la sede della Scuola
(Palazzo Feltrinelli, Gargnano, ) o
presso strutture adiacenti e un rimborso forfetario delle spese di viaggio.
Il concorso è aperto a tutti coloro che conseguono la laurea triennale o
magistrale nel periodo 1 giugno 2009-30 aprile 2010
discutendo una tesi su argomenti di Logica Matematica.
Gli interessati sono invitati a spedire entro il 30 aprile 2010
per posta elettronica alla Presidenza AILA (aila@unicam.it) domanda
di partecipazione contenente:
- nome, cognome e recapito di posta elettronica
- titolo della tesi e data della sua presentazione
- nome, cognome e recapito di posta elettronica del relatore della tesi
e allegare
- copia della tesi in formato pdf,
- elenco degli esami sostenuti per la laurea con relativa media e
voto finale di laurea;
Il relatore della tesi è invitato a spedire allo stesso indirizzo
di posta elettronica entro la stessa scadenza del 30 aprile 2010
una lettera di presentazione del candidato.
Una commissione nominata dal Consiglio Direttivo AILA esaminerà le
tesi pervenute nei termini sopra descritti e formerà la graduatoria
finale dei vincitori entro il 31 maggio 2010 .
A tutti i partecipanti sarà data comunicazione dell'esito del concorso
entro il 10 giugno 2010. Tutti i partecipanti sono comunque tenuti ad iscriversi alla Scuola
Estiva di Logica nel rispetto dei tempi e delle procedure che compariranno
a tempo debito sul sito della scuola,
indipendentemente dalle scadenze fissate per il Premio.
Ulteriori informazioni possono essere richieste per posta elettronica alla
Presidenza AILA (aila@unicam.it).
Vincitori dell' Edizione 2010
- Ivano Ciardelli
- Università di Amsterdam, 31 agosto 2009, laurea magistrale
- Titolo della tesi: Inquisitive Semantics and Intermediate Logics
- Relatori: Dick de Jongh, Jeroen Groenendijk e Floris Roelofsen
- Martina Fedel
- Università di Siena, 11 Settembre 2009 , laurea magistrale
- Titolo della tesi: Un approccio probabilistico alla rappresentazione dell'incertezza:
probabilità imprecise, scommesse e funzionali normalizzati
su spazi di Riesz.
- Relatori: Franco Montagna e Hykel Hosni
- Roberto Mana
- Università di Firenze, 10 luglio 2009
- Titolo della Tesi: Astrazione, complessità e logiche sottostrutturali
- Relatore: Andrea Cantini
- Giorgio Venturi
- Università di Torino, 17 luglio 2009, laurea magistrale
- Titolo della tesi: Forcing axioms and cardinality of the continuum
- Relatori: Matteo Viale e Boban Velickovic
Scarica il verbale redatto dalla commissione
Vincitori dell' Edizione 2009
- Fausto Barbero
- Università di Torino, 24 luglio 2008, laurea magistrale
- Titolo della tesi: Independence-Friendly Logic
- Relatore: Gabriele Lolli
- Maria Emilia Della Stella
- Università di Lecce, 28 aprile 2009, laurea magistrale
- Titolo della tesi: Associativity and commutativity in logic: the case of extended-order algebra
- Relatore: Cosimo Guido
- Umberto Grandi
- Università di Pisa, 26 settembre 2008, laurea magistrale
- Titolo della Tesi: Logica Modale e Fondamenti di Teoria dei Giochi
- Relatori: Alessandro Berarducci e Hykel Hosni
- Lorenzo Luperi Baglini
- Università di Pisa, 26 settembre 2008, laurea magistrale
- Titolo della tesi: Un nuovo modo di contare l'infinito
- Relatore: Mauro di Nasso
- Caterina Rainone
- Università di Napoli 2, 21 luglio 2009, laurea triennale
- Titolo della tesi: Classi di computazione P e NP
- Relatore: Paola D'Aquino
- Domenico Ruoppolo
- Università di napoli, 17 dicembre 2008, laurea triennale
- Titolo della tesi: Antifondazione per la teoria degli insiemi Zermelo-Fraenkel
- Relatore: Roberto Tortora
Scarica il verbale redatto dalla commissione
Vincitori dell'edizione 2008
- Alessandra Cipriani, Traduzioni tra estensioni della Basic Logic
- 25 settembre 2007, Università di Padova
- Relatore: Giovanni Sambin
- Correlatrice: Giulia Battilotti
- Martina Fedel, Formalizzazioni del ragionamento nonmonotono: Relazioni di Conseguenza Preferenziali e Razionali
- 27 settembre 2007, Università di Pisa
- Relatori: Alessandro Berarducci, Hykel Hosni
- Matteo Mio, Induzione e Coinduzione nella logica LGw
- 4 Ottobre 2007, Università di Udine
- Relatore: Marino Miculan
- Diego Valota, Rappresentazioni tramite insiemi parzialmente
ordinati di logiche polivalenti basate su t-nome
continue a sinistra
- Presentata: 26 ottobre 2007, Milano
- Relatore: Stefano Aguzzoli
Scarica il verbale redatto dalla commissione
Edizioni precedenti
Last modified: June 04, 2010 6:48:39 PM CEST.