Premio tesi 3+2 2012
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 2011-2012.
- Si prevedono:
- - fino a 3 premi per tesi di laurea triennale
- - fino a 3 premi per tesi di laurea magistrale.
I vincitori riceveranno come premio l'iscrizione gratuita alla prossima Scuola
Estiva di Logica prevista a Gargnano (Brescia) nei giorni 20-25 agosto 2012,
con l'esonero delle spese di frequenza, il trattamento gratuito di mezza pensione
presso la sede della Scuola (Palazzo Feltrinelli, Gargnano, ) o presso strutture adiacenti e un rimborso delle spese di viaggio.
Il concorso è aperto a tutti coloro che conseguono la laurea triennale o
magistrale nel periodo 1 maggio 2011 - 30 aprile 2012
discutendo una tesi su argomenti di Logica Matematica.
Gli interessati sono invitati a spedire entro il 30 aprile 2012
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 2012
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 2012 .
A tutti i partecipanti sarà data comunicazione dell'esito del concorso
entro il 10 giugno 2012. 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 2011
Laurea Specialistica
- Danile Impieri
- Università di Udine, Laurea in Matematica, 07-03-2011 (consegna tesi)
-
- Relatore: Alberto Marcone
Laurea Triennale
- Filippo Cavallari
- Università di Palermo, Laurea in Matematica 25-11-2010
- Titolo Tesi: Assioma della scelta: equivalenti, conseguenze e coerenza relativa con ZF
- Relatore: Nicola Gambino
- Michael Lodi
- Università di Bologna, Laurea in Informatica, 20-10-2010
- Titolo Tesi: Programmazione funzionale in spazio logaritmico: una libreria di funzioni aritmetiche.
- Relatore: Ugo Dal Lago
- Fabio Zanasi
- Università di Siena, Laurea in Filosofia, 07-07-2010
- Titolo Tesi: La definizione nell' "ontologia" di S. Lesniewski- Uno studio sulle definizioni creative
- Relatore: Duccio Pianigiani
Scarica il verbale redatto dalla commissione
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: January 19, 2012 1:00:15 AM CET.