Giuseppe Primiero is going to talk about Logics for Fair Artificial Intelligence on May 30, 2023 (15:15–15:45) at the event Building Bridges through Multidisciplinary Cooperation: Perspective Approaches for Inclusive Artificial Intelligence (Room 303 – Via Celoria N° 18, Milan – Building N° 3) organised in the context of the project Human Hall (University of Milan).
Giuseppe Primiero presenting BRIO research at ILLC, Amsterdam
Giuseppe Primiero will present current work of the LUCI UNIMI BRIO Unit at the Workshop on Reasoning about Responsible Agency in AI to be held at the Institute for Logic, Language and Information in Amsterdam, 16-17 May 2023.
https://sites.google.com/view/reasoningaboutresponsibility/programme?authuser=0
Salvatore Giugliano joins the team BRIO
Salvatore Giugliano joins the project BRIO as a postdoc at the Department of Electrical Engineering and Information Technology of the University of Naples, Federico II.
His postdoc will start on May 1, 2023.
Salvatore Giugliano received the M.S. degree in Computer Science and the Ph.D. degree in Information Technology and Electrical Engineering from the University of Naples Federico II, Italy, in 2019 and 2023, respectively. He is currently a researcher with the Department of Information Technology and Electrical Engineering of University of Naples Federico II. His current research interests include Artificial Intelligence methods and eXplainable Artificial Intelligence (XAI) approaches for explaining the AI system’s decisions.
Primiero at the data ethics special session of the conference “Statistics for Data Science and Artificial Intelligence”, 27-28 April, Pavia
Giuseppe Primiero will be contributing to a Special Session on Data Ethics at the Statistics for Data Science and Artificial Intelligence Conference, to be held 27-28 April 2023 at the University of Pavia.
Details of the programme are availabel at https://sites.google.com/universitadipavia.it/sdsconference-pavia/program
Giacomo Zanotti will talk at the forum on Philosophy, Engineering and Technology, and at the 2023 edition of the conferences MBR, ECAP, and SINe
April 19-21, Delft, the Netherlands. Giacomo Zanotti will present the PoliMi unit’s work on Trustworthy AI (Zanotti G., Chiffi D., Petrolo M., Schiaffonati V., Keep trusting! A plea for Trustworthy AI) at the 2023 forum on Philosophy, Engineering and Technology (19-21/04, Delft).
May 10-12, Pisa and Lucca, Italy. Giacomo Zanotti will present his paper “The meta-problem of artificial consciousness and moral status” at the SINe conference 2023 (10-12/05, Pisa-Lucca).
June 7-9, Rome, Italy. Giacomo Zanotti will present the PoliMi unit’s work on Trustworthy AI (Zanotti G., Chiffi D., Petrolo M., Schiaffonati V., Keep trusting! A plea for Trustworthy AI) at the MBR conference 2023 (7-9/06, Rome).
August 21-25, Vienna, Austria. Giacomo Zanotti will present the PoliMi unit’s work on Trustworthy AI (Zanotti G., Chiffi D., Petrolo M., Schiaffonati V., Keep trusting! A plea for Trustworthy AI) at ECAP 2023 (21-25/08, Vienna).
Giuseppe Primiero at the ASL Session of the Pacific Meeting of the American Philosophical Association
Giuseppe Primiero will be presenting the work currently developed by members of the UNIMI Unit of the BRIO Project with a talk titled “Logics for Fair AI” at the Association for Symbolic Logic Session hosted at the Pacific Meeting of the American Philosophical Association in San Francisco, California, from 3 to 8 of April 2023.
Details and Programme at https://www.apaonline.org/page/2023P_Program
Giuseppe Primiero and Giacomo Zanotti at the 1st International Meeting on Robo-ethics and Philosophy
The interdisciplinary network META hosts at the AIR Lab of Politecnico di Milano (building 20, Via Ponzio 34/5, 20133 Milano, ground floor) the 1st International Meeting on Robo-ethics and Philosophy between Italy and Japan. Giuseppe Primiero and Giacomo Zanotti participate with the following talks:
- 9th of March, 16:30-17:45 – Giacomo Zanotti, “The meta-problem of Artificial Consciousness”
- 10th of March, 16:00-17:15 – Giuseppe Primiero, “Logics for Fair AI”
1st International Meeting on Robo-ethics and Philosophy between Italy and Japan
Greta Coraglia joins the team BRIO
Greta Coraglia joins the project BRIO as a postdoc at the Philosophy Department of the University of Milan.
She graduated at the Università Statale di Milano and is about to obtain her PhD in Mathematics at the Università degli Studi di Genova. She is interested in logic, category theory, and theoretical computer science, with a focus on using categorical tools to describe diagrammatic aspects of various deductive systems.
Her interests also include logical foundations, categorical semantics, mathematical logic, deductive systems, and type theory.
LOGIC COLLOQUIUM 2023
European Summer Meeting of the Association for Symbolic Logic
University of Milan, Italy
5 June – 9 June 2023
Meeting website:
https://lc2023.unimi.it
GENERAL INFORMATION
LOGIC COLLOQUIUM is the European Summer Meeting of the Association for Symbolic Logic (ASL) – https://aslonline.org – an international organization supporting research and critical studies in logic. LOGIC COLLOQUIUM is a venue for all researchers working in logic from computer science, mathematics, and philosophy.
Previous recent editions of LOGIC COLLOQUIUM have taken place in Reykjavik (Iceland) 2022, Poznań (Poland) 2021, Prague (Czech Republic) 2019, Udine (Italy) 2018, and Stockholm (Sweden) 2017.
IMPORTANT DATES
Deadline for Abstract Submission and Student Travel Grants: 1st of March
Notifications of Abstract Acceptance: 3rd of April
Decision on Travel Grants: 5th of April
Deadline for Early Registration: 1st of May
Registration Closing: 15th of May
Start of the Conference: 5th of June
End of the Conference: 9th of June
CALL FOR PAPERS
The deadline for contributed talk submissions and for student travel grants applications is March 1, 2023.
CONTRIBUTED TALKS
Abstracts for contributed talks should conform to the Rules for Abstracts of the ASL, and should be submitted via EasyChair:
https://easychair.org/conferences/?conf=lc20230
Online contributed talks will be facilitated in case of necessity, although we of course encourage you to come to Milan to meet the community.
Topics of interest include:
- Set Theory
- Proof Theory
- Model Theory
- Computability Theory
- Philosophical Logic
- Logic in Computer Science
STUDENT TRAVEL GRANTS
To be considered for a travel award, please
- send a letter of application, and
- ask your thesis supervisor to send a brief recommendation letter.
Your application letter should be brief (preferably one page) and should include:
- your name;
- your home institution;
- your thesis supervisor’s name;
- a one-paragraph description of your studies and work in logic, and a paragraph indicating why
it is important to attend the meeting; - your estimate of the travel expenses you will incur;
- (for citizens or residents of the USA) citizenship or visa status; and
- (voluntary) indication of your gender and minority status. Women and members of minority groups are strongly encouraged to apply.
Travel grant applications are accepted from students and also from recent Ph.D. recipients, until the deadline of March 1, 2023, and ASL membership is not required.
Applications should be submitted via email to asl@uconn.edu or to the ASL Business Office:
ASL, Dept. of Mathematics,
Univ. of Connecticut,
341 Mansfield Road,
U-1009, Storrs, CT 06269-1009, USA.
Decisions will be communicated at least two months prior to the meeting.
INVITED SPEAKERS
- Gal Binyamini (Weizmann Institute of Science, Israel)
- Igor Carboni Oliveira (Department of Computer Science, University of Warwick, UK)
- Johanna Franklin (Department of Mathematics, Hofstra University, USA)
- Nicola Gambino (Department of Mathematics, University of Manchester, UK)
- Gabriel Goldberg (Mathematics, UC Berkeley, USA)
- Martino Lupini (Department of Mathematics, University of Bologna, Italy)
- Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne, CNRS, Institut d’Histoire et de Philosophie des Sciences et des Techniques, France)
- Viorica Sofronie-Stokkermans (Institut für Informatik, University Koblenz-Landau, Germany)
- Zoltán Vidnyánszky (Institute of Mathematics, Eotvos University, Hungary)
TUTORIALS
- Floris van Doorn (Mathematics Department, Université Paris-Saclay)
- Itay Kaplan (Einstein Institute of Mathematics, Hebrew University of Jerusalem, Israel)
SPECIAL SESSIONS
- Model Theory (organized by J. Freitag and M. Hils)
- Logic and Computation (organized by S. Buss and L. Kołodziejczyk)
- Set Theory (organized by S. Müller and O. Ben-Neria)
- Logic and Philosophy (organized by L. Crosilla and A. M. Klev)
- Computability (organized by K. Lange and V. Brattka)
- Applied Proof Theory (organized by T. Powell and B. Dinis)
PROGRAM COMMITTEE
Contributed papers will be selected from the received submissions by the following program committee:
- Matthias Aschenbrenner (University of Wien)
- Paola D’Aquino (Chair, Università della Campania “L. Vanvitelli”)
- Jan Krajicek (Charles University, Prague)
- Aleksandra Kwiatkowska (Munster University and Wroclaw University)
- Paulo Oliva (Queen Mary University of London)
- Arno Pauly (Swansea University)
- Giuseppe Primiero (Università di Milano)
- Philip Welch (Bristol University)
ORGANIZING COMMITTEE
- Stefano Aguzzoli (Computer Science, Università di Milano)
- Marcello D’Agostino (Philosophy, Università di Milano)
- Camillo Fiorentini (Computer Science, Università di Milano)
- Miriam Franchella (Historical Studies, Università di Milano)
- Silvio Ghilardi (Mathematics, Università di Milano)
- Hykel Hosni (Philosophy, Università di Milano)
- Lorenzo Luperi Baglini (Mathematics, Università di Milano)
- Vincenzo Marra (Mathematics, Università di Milano)
- Alberto Momigliano (Computer Science, Università di Milano)
- Giuseppe Primiero (Philosophy, Università di Milano, Local Chair)
- Ekaterina Kubyshkina (Philosophy, Università di Milano)
- Francesco Genco (Philosophy, Università di Milano)
- Francesca Doneda (Philosophy, Università di Milano)
- Chiara Manganini (Philosophy, Università di Milano)
- Costanza Larese (Philosophy, Università di Milano)
- Esther Corsi (Philosophy, Università di Milano)
- Giovanni Duca (Philosophy, Università di Milano)
- Alberto Termine (Philosophy, Università di Milano)
Terzo incontro di Video Ergo Sum con Daniele Porello e Guido Laino
Video Ergo Sum: Tre incontri su cinema e conoscenza
Terzo incontro, 23/04/2022
Daniele Porello e Guido Laino
Cinema e Intelligenza Artificiale
Palazzo delle Albere, nell’inedita veste di spazio cinematografico, apre le sue porte a un ciclo di tre incontri per rivedere e commentare insieme le scene di film celebri e meno noti, in un dialogo tra competenze e sensibilità diverse: quella filosofica e quella cinefila. Un confronto aperto e informale con docenti, registi e comunicatori su cinema, conoscenza, filosofia e bellezza. A dare il via alla rassegna sarà il presidente del MUSE Stefano Zecchi.
Prende ispirazione dalla formula cartesiana “Cogito ergo sum”, il nuovo cineforum a Palazzo delle Albere targato MUSE – Museo delle Scienze e Associazione il Funambolo, in collaborazione con Harpo e Trentino Film Commission. Si chiama “Video ergo sum” ed è un itinerario in tre tappe – mercoledì 30 marzo, martedì 5 e sabato 23 aprile 2022 – che indaga il rapporto tra l’essere umano e la conoscenza, servendosi del cinema come spunto e mezzo di comunicazione. La rassegna filmica, che viaggia in parallelo alla mostra “Il viaggio meraviglioso tra scienza e filosofia”, visitabile fino al 5 giugno 2022 al primo piano di Palazzo delle Albere, propone momenti d’incontro, accompagnati da un aperitivo informale e da alcune scene selezionate da film più e meno celebri, che alimentano il dialogo tra la cultura filosofica e quella cinefila. A curare la proposta, Guido Laino, regista, scrittore e anima di diversi festival culturali. L’ingresso, compreso di aperitivo/brunch, è di 5 euro con prenotazione obbligatoria su Ticketlandia.
Sabato 23 aprile alle 11 l’ultimo incontro: Daniele Porello, professore associato di Logica e Filosofia della Scienza all’Università di Genova, e Guido Laino, curatore della rassegna, analizzeranno spezzoni di film relativi al futuro e all’impatto dell’intelligenza artificiale sulla conoscenza virtualmente illimitata ma anche sul depotenziamento della centralità dell’essere umano.
Evento realizzato dal MUSE in collaborazione con il Funambolo, Harpo e Trentino Film Commission.
