Logic List Mailing Archive
CfP: XXVIII Incontro di Logica, 3-6 Sept 2024, Udine (Italy)
*****************************************************
AILA - XXVIII Incontro di Logica
*****************************************************
Udine(Italy), 3-6 September 2024
https://ailameeting24.uniud.it<https://ailameeting24.uniud.it/>
The Italian Association for Logic and its Application (AILA) organizes every three years a meeting that gathers most of the Italian researchers studying mathematical, philosophical or computer science related aspects of logic. In 2024 the “Incontro di Logica” will take place in Udine (Italy). The meetings will feature plenary talks from leading international researchers, invited talks from the recipients of the AILA awards, and contributed talks. Contributions from researchers of any nationality are welcome.
Confirmed plenary talks
~~~~~~~~~~~~~~~~~
Ivano Ciardelli - University of Padova
Thomas Ehrhard - IRIF University Paris Cité
Elvira Mayordomo - University of Zaragoza
Francesco Gallinaro - University of Freiburg
Mai Gehrke - LJAD University Côte d'Azur
Sandra Mueller - TU Wien
AILA award recipients
~~~~~~~~~~~~~~~~~~~~~~
Claudio Agostini - Premio Montagna 2023
Winner of the Premio Lettieri 2023
Winner(s) of the Premio Gentilini 2024
Contributed talks
~~~~~~~~~~~~~
The Programme Committee of Incontro AILA welcomes submissions of abstracts from any researcher in the world. A list of topics in the scope of the conference includes:
- category theory,
- computability theory,
- model theory,
- logic and computer science,
- logic and philosophy,
- non-classical logics,
- proof theory,
- set theory.
The abstracts must be maximum 2-page long, written in English using the Easychair style: https://easychair.org/publications/for_authors
Abstracts can be submitted directly through the conference website at https://ailameeting24.uniud.it/abstract-submission
The deadline for submission is the 30th April 2024.
Notifications of acceptance will be sent before the 15th June 2024.
Programme Committee
~~~~~~~~~~~~~~~~~~
Stefano Berardi (Università di Torino)
Paola D’Aquino (Università della Campania)
Silvio Ghilardi (Università di Milano)
Serafina Lapenta (Università di Salerno)
Sonia L’Innocente (Università di Camerino)
Alberto Marcone (Università di Udine)
Paolo Pistone (Università di Bologna)
Luca San Mauro (Università di Bari e Technischen Universität Wien)
Lorenzo Tortora De Falco (Università di Roma 3)
Giorgio Venturi (Università di Pisa)
Matteo Viale (Università di Torino)
--
Alberto Marcone alberto.marcone@uniud.it<mailto:alberto.marcone@uniud.it>
Dipartimento di Scienze Matematiche,
Informatiche e Fisiche
Universita' di Udine tel: +39-0432-558482
via delle Scienze 206 fax: +39-0432-558499
33100 Udine
Italy http://users.dimi.uniud.it/~alberto.marcone/
Il presente messaggio è indirizzato esclusivamente ai destinatari. Tutte
le informazioni contenute, compresi eventuali allegati, sono
confidenziali ai sensi del Regolamento (UE) 2016/679 e del D. Lgs.
196/2003. Pertanto ne sono vietati l'inoltro, la divulgazione e la
messa a disposizione in qualunque forma o modo, in mancanza di
preventiva autorizzazione del mittente. Qualora il messaggio Le fosse
pervenuto per errore, La invitiamo cortesemente ad eliminarlo in modo
definitivo dando immediato riscontro.
This message is exclusively addressed to the recipients. All the
information contained in this message, including any attachments, is
confidential in compliance with Regulation (UE) 2016/679 and Legislative
Decree 196/2003. Therefore, forwarding, disclosing and making the above-
mentioned information available without prior authorization from the
sender is forbidden in any form or manner. If you have received this
message in error, we kindly invite you to delete it permanently and to
notify the sender.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php