Some recent talks

• Perché è importante scrivere codice: per tutti, intervento alla giornata Software Heritage, l'archivio universale dei codici: digressioni sul tema. Bologna, marzo 2022.
  
• Programmer, c'est un peu comme jouer aux LEGO© : dimensions non-verbales de la programmation, UNA Europa, Université Paris 1 Panthéon-Sorbonne, novembre 2021.
  An English version: LEGO programming: non-verbal dimensions of computer programming.
• "Logici" e informatici: Corrado Böhm e Alfonso Caracciolo di Forino, intervento al convegno 1961: l'anno che cambiò l'informatica italiana, Pisa 13 novembre 2021.
  
• Peut-on définir ce qu'est un algorithme ? Cycle de conférences interdisciplinaires AISS: Enjeux sociétaux de l'intelligence artificielle, UNA Europa, Université Paris 1 Panthéon-Sorbonne, decémbre 2020.
  English version: Can we define what an algorithm is?
  Versione italiana: Possiamo definire cos'è un algoritmo?
  Video (in Italian with English slides): Video for UNA Europa
• Lego programming. Colloque Programming Languages and Notations, Bertinoro, October 2019.
  
• Logic and Computing in Italy, at the birth of the Italian Computer Science. Workshop in occasione del pensionamento di Michele Abrusci. Roma, 12 settembre 2019.
  
• Coder ou non coder : Le programme éducatif face à la révolution digitale, Collegium-Lyon Institute for Advanced Studies, Lyon, 3 juin 2019.
  
• Tra coding e pensiero computazionale... scegliamo informatica!. Intervento per la finale delle Olimpiadi di Problem Solving 2018-19, Cesena, 12-13 aprile 2019.
  
• De la création d'une « théorie mathématique du calcul » à la « pensée informatique ». Intervento (in francese) alla Quatrième journée académique sur l'enseignement de l'informatique, Marseille, 3 aprile 2019.
  
• A conceptual history of programming languages. Seminario al Collegium-Lyon Institute for Advanced Studies, Lyon, 19 novembre 2018.
  
• Towards a conceptual history of programming languages: Types. Conferenza al Séminaire LSC: Langages, Sémantique, Compilation, Lyon, 4 ottobre 2018.
  
• Educare all'informatica nella scuola?. Intervento al convegno La cultura informatica come fattore di sviluppo, Roma, Camera dei Deputati, dicembre 2017.
  
• A Mathematical Theory of Computation?. Séminaire "Histoire et Philosophie de l'Informatique", Lille, febbraio 2017.
  
• Pensare computazionale: una quarta competenza dopo scrivere, leggere, far di conto. Workshop nazionale AIDU. Dipartimento di Scienze dell'Educazione, Bologna, dicembre 2016.
  
• Il pensiero computazionale spiegato ai manager. Il codice del futuro: Come pensano coloro che insegnano a pensare alle macchine., in collaborazione con Bologna Business School, Teatro Anatomico dell'Archiginnasio, Bologna 23 maggio 2016.
  
• Types in Programming Languages, between Modelling, Abstraction, and Correctness. CiE 2016, Paris, June 2016.
  
• Several types of types in programming languages. History and Philosophy of Computing, Pisa October 2015.
  
• Ipsa forma est substantia: Language(s) at the core of computer science. HaPoC Symposium at IACAP-14, 3 luglio 2014. Thessaloniki, Greece.
  
• Calcolo e simboli: la scienza digitale: A.M. Turing a cent'anni dalla nascita. Università di Torino, Dipartimento di Informatica, 27 settembre 2012. Accademia delle Scienze dell'Istituto di Bologna, October 18, 2012. Accademia di Agricoltura Scienze e Lettere, Verona 13 novembre 2012.
  
• L'informatica come scienza autonoma: appunti per una storia. Corso di Storia dell'Informatica, Bologna, 12 aprile 2012.
  
• Quello che i calcolatori possono e non possono fare. MassaScienza 2011-2012, Massa, 13 gennaio 2012.
  
• Il voto elettronico: le elezioni del futuro o il rischio della democrazia? Corso interdisciplinare Riflessioni su Scienza e Società, Bologna, 7 aprile 2011.
  
• Impronte che non si cancellano: Internet, supporti di memorizzazione, e riservatezza. Corso interdisciplinare Riflessioni su Scienza e Società, Bologna, 13 aprile 2010.
  Scarica il podcast.
• Implicit computational complexity in the small. Invited talk at DICE 2010, Paphos, Cyprus, March 2010.
  
• Invariant cost models for rewrite-based languages. Invited talk at Linearity 2009, Coimbra, September 2009.
  
• Informatica: Elogio di Babele. Presented at Didamatica 2007, maggio 2007, Cesena.
  See also the companion paper. Mondo Digitale, no. 2 - giugno 2008, 17-23.