XXII Incontro di Logica Matematica Pisa, 10 - 13 Febbraio 2005 »»»««« Organizzatori: A. Berarducci, M. Di Nasso, M. Forti, E. Moriconi. Con la collaborazione di: Giacomo Lenzi, Sonia L'Innocente, Giuseppina Terzo, Elisabetta Tocco. Comitato di Programma: A. Berarducci, M. Di Nasso, M. Forti, E. Moriconi, F. Montagna, Pr.I.N.  "Il ragionamento in condizioni di incertezza: fondamenti algebrici e nuove prospettive" S. Ronchi Della Rocca, Pr.I.N.  "Dalla Prova alla Computazione con la Logica Lineare" G. Sambin, Pr.I.N.  "Metodi costruttivi in Topologia, Algebra e Tecnologia dell'Informazione" C. Toffalori. Pr.I.N.  "Teoria dei Modelli e Teorie degli Insiemi, loro interazioni ed applicazioni" »»»««« Il XXII incontro di Logica Matematica "AILA2005" - Associazione Italiana Logica e Applicazioni (AILA) - si terra' a Pisa presso il Dipartimento di Matematica, da giovedi' 10 a domenica 13 Febbraio 2005. L'incontro ha lo scopo di rappresentare la ricerca logica in Italia nelle sue varie articolazioni e costituire un momento di incontro e aggregazione per la comunita' logica italiana. La tassa di iscrizione al convegno e' di €. 15 per i soci AILA che siano in regola con la quota 2005, e di €. 50 per gli altri partecipanti. I relativi pagamenti possono essere effettuati direttamente al convegno. Per facilitare l'organizzazione, chiunque intenda partecipare e' pregato di inviare una email all'indirizzo "aila2005@dm.unipi.it" con soggetto "pre-iscrizione convegno aila2005", specificando nome, cognome, universita' o ente di appartenenza (naturalmente la pre-iscrizione non e' vincolante). Per i giovani ricercatori che non hanno accesso a fonti di finanziamento, l'iscrizione al convegno e' gratuita. Gli interessati devono semplicemente inviare una email all'indirizzo "aila2005@dm.unipi.it" in cui siano indicati i loro estremi e la borsa o posizione temporanea di cui attualmente usufruiscono. La lista completa (salvo errori o omissioni) di tutti gli interventi previsti, e' disponibile nella sezione "Abstracts". La cena sociale si terra' venerdi 11 Febbraio alle ore 21 presso il Ristorante "La Clessidra", situato a pochi passi dal Dipartimento di Matematica. Visto l'alto numero previsto di partecipanti, si invitano tutti coloro che intendano partecipare, di comunicarlo appena possibile mandando una e-mail con soggetto ''cena sociale'' all'indirizzo aila2005@dm.unipi.it, specificando se avranno un accompagnatore, e indicando una scelta tra menu di pesce o di carne o vegetariano. Il contributo richiesto per la cena sociale e' di Euro 25, che dovranno essere pagate al momento della registrazione. Saranno accettate le prenotazioni effettuate per email prima dell'inizio del convegno, o effettuate contestualmente alla registrazione (in mancanza di posti disponibili, le prime avranno la precedenza). Le conferenze plenarie si terranno presso l'Aula Magna "Faedo", che e' attrezzata per la proiezione di lucidi e anche per la proiezione direttamente da portatile. Le sessioni dei contributi si svolgeranno nell'Aula Magna, nell'Aula Riunioni, e nell'Aula Seminari. Queste ultime due sono attrezzate con lavagna luminosa, ma non per la proiezione da portatile. Visti i tempi molti stretti della scaletta degli interventi, consigliamo tuttavia a tutti gli "speakers" di usare lucidi. In Aula Magna e' attiva la connessione "wireless". Durante il convegno, sara' comunque messa a disposizione dei partecipanti un aula con computers connessi ad internet. Una riproduzione A4 del manifesto del convegno in formato pdf e' scaricabile cliccando qui (attenzione, si tratta di un file di 3.1 Mega) »»»««« ultimo aggiornamento 07 feb 2005