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

  1. send a letter of application, and
  2. ask your thesis supervisor to send a brief recommendation letter.

Your application letter should be brief (preferably one page) and should include:

  1. your name;
  2. your home institution;
  3. your thesis supervisor’s name;
  4. a one-paragraph description of your studies and work in logic, and a paragraph indicating why
    it is important to attend the meeting;
  5. your estimate of the travel expenses you will incur;
  6. (for citizens or residents of the USA) citizenship or visa status; and
  7. (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.

Trentino Cultura Trentino Cultura

Video ergo sum

Publication of the BEWARE 2022 proceedings

The proceedings of the first workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2022) have been published. The workshop was held in Udine (Italy) the 2nd of December 2022 and co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AI*IA 2022). The proceedings feature contributions by Francesca Alessandra Lisi, Giuseppe Primiero, Fabio Aurelio D’Asaro, Melissa Antonelli, Xinghan Liu, Emiliano Lorini, Mattia Petrolo, Ekaterina Kubyshkina, Alessandro Castelnovo, Riccardo Crupi, Nicole Inverardi, Daniele Regoli, Andrea Cosentini, Serge Dolgikh, Daniele Fossemò, Filippo Mignosi, Luca Raggioli, Matteo Spezialetti, Andrea Apicella, Francesco Isgrò, Roberto Prevete, Muhammad Suffian, Alessandro Bogliolo, Alexander Berman, Ellen Breitholtz, Christine Howes, Jean-Philippe Bernardy, Aleks Knoks, Thomas Raleigh, Silvana Badaloni, and Antonio Rodà.

https://ceur-ws.org/Vol-3319/

Daniele Chiffi on Logical Diagrams, AI & Aesthetics

On December 3rd Daniele Chiffi (POLIMI) will speak at the Diagram and AI-Aesthetics
Research Workshop at the Faculty of Science of the University of Lisbon with a talk titled “Can diagrams show an expressivist conception of beauty? Some logical insights”, Details available at

https://cfcul.ciencias.ulisboa.pt/reunioes/lisbon-workshop-series-ai-aesthetics-and-philosophy-of-technology/?tipoReuniao=