Incontro AILA 2022

L’Associazione Italiana per la Logica e le sue Applicazioni (AILA) organizza ogni tre anni un incontro che riunisce la maggior parte dei ricercatori italiani che studiano aspetti matematici, filosofici o informatici della logica. Nel 2022 l’incontro si svolgerà a Caserta.
Gli incontri saranno caratterizzati da interventi plenari tenuti da ricercatori internazionali, interventi invitati tenuti dai vincitori dei premi AILA e contributed talk. I contributi di ricercatori di qualsiasi nazionalità sono benvenuti.

Pagine web dell’Incontro di Logica

Interventi Plenari

Laura Crosilla, University of Oslo
Nicola Gambino, University of Leeds
Georg Gottlob, TU Wien
Joel David Hamkins, University of Notre Dame
Vincenzo Mantova, University of Leeds
Viorica Sofronie-Stokkermans, University of Koblenz-Landau

Vincitori premi AILA

Filippo Calderoni, University of Illinois at Chicago – Premio Montagna 2019
Luca Reggio, Oxford University – Premio Lettieri 2019
Giorgio Laguzzi, University of Freiburg – Premio Gentilini 2019
Giulio Manzonetto, Université Sorbonne Paris Nord – Premio Gentilini 2020
Andrea Vaccaro, Université de Paris – Premio Montagna 2021
Tommaso Moraschini, University of Barcelona – Premio Lettieri 2021
Giorgio Venturi, Univesidade Estadual de Campinas – Premio Gentilini 2021
To be awarded – Premio Gentilini 2022

Altri Interventi

La presentazione di abstract da parte di qualunque ricercatore nel mondo è benvenuta. Un elenco di argomenti nell’ambito della conferenza include:

  • category theory,
  • computability theory,
  • model theory,
  • logic and computer science,
  • logic and philosophy, 
  • non-classical logics,
  • proof theory,
  • set theory.

Gli abstract devono essere lunghi al massimo 2 pagine, scritti in inglese usando lo stile Easychair: https://easychair.org/publications/for_authors
Gli abstract possono essere inviati attraverso il sito web Easychair: https://easychair.org/conferences/? Conf=aila20220

Il termine ultimo per la presentazione è il 30 aprile 2022.
Le notifiche di accettazione saranno inviate prima del 15 giugno 2022.

Logic4Peace

L’AILA co-organizza la conferenza online Logic4Peace il cui scopo è offrire sostegno morale e finanziario ai colleghi in Ucraina in questo tempo di guerra.
L’ evento viene utilizzato per raccogliere aiuti finanziari per due cause specifiche:
Aiutare finanziariamente i colleghi delle università in Ucraina che hanno urgente bisogno finanziario a causa degli eventi bellici e sostenere il fondo di beneficenza “Voices of children” che fornisce aiuti umanitari e assiste in Ucraina nei processi di evacuazione in corso.
Poiché il mondo ha urgente bisogno di più logica e razionalità, Logic4Peace crea una piattaforma per i logici di tutto il mondo per presentare il loro lavoro in qualsiasi area della logica.

Giornata della FIMA

Venerdì 11 dicembre 2020, a partire dalle 10:00 si terrà in streaming la Giornata della FIMA (a cui l’AILA aderisce). Il tema dell’incontro è “Strumenti matematici per la protezione dell’ambiente, del territorio e dei beni culurali”. È possibile seguire l’evento seguendo questo link: https://www.uninettunouniversity.net/it/live-streaming.aspx .

Qui sotto è possibile scaricare la locandina dell’incontro.

Educare alla razionalità. In ricordo di Paolo Gentilini

Educare alla razionalità. In ricordo di Paolo Gentilini

9-11 June 2016, Sestri Levante

Sala convegni Hotel Vis à Vis (Sestri Levante)

Relatori

Logica e Didattica

Comitato organizzatore

  • Maria Alessandra Mariotti (Siena)
  • Francesca Morselli (Genova)
  • Giuseppe Rosolini (Genova)
  • Carlo Toffalori (Camerino)
  • Rosetta Zan (Pisa)

 

Iscrizioni

E’ necessario iscriversi entro il 15 maggio 2016 se si vuole prenotare una sistemazione alberghiera nella sede del convegno o limitrofa. Altrimenti (se i partecipanti intendono a provvedere autonomamente) è possibile iscriversi fino al 31 maggio 2016.

Per iscriversi è inviare all’indirizzo aila@unicam.it un email indicando

  • giorno di arrivo (si presume la mattinata del 9 giugno),
  • giorno di partenza (si presume il pomeriggio dell’11 giugno, chi vuole prolungare scriva il prima possibile!),
  • numero e tipo di camera (doppio uso singola o doppia),
  • eventuali accompagnatori,
  • eventuali indicazioni per la cena sociale del 10 giugno (vegetariano, etc.),
  • ogni altra indicazione ritenuta utile.

Ai docenti partecipanti è riconosciuto l’esonero del servizio (art. 64, CCNL/2006).

Ulteriori informazioni sull’alloggio Disponibili fino alla data indicata del 15 maggio 2016 fino a 80 camere nei seguenti alberghi (tutti a 4 stelle, a tariffa ridotta concordata): E’ necessario specificare la partecipazione al Convegno AILA.

  • Hotel Vis à Vis, sede del convegno (80 DUS e 100 matrimoniale),
  • Hotel Due Mari (70 DUS e 100 camera matrimoniale)
  • Grande Albergo (70 DUS e 100 camera matrimoniale)
  • Grand Hotel Villa Balbi (80 DUS e 100 camera matrimoniale).

Tutti gli alberghi hanno il parcheggio, ma per chi arriva in treno o aereo si può prevedere un servizio navetta (previa richiesta in largo anticipo).