|
Some recent talks
-
Babele è stata davvero una maledizione?
La molteplicità dei linguaggi di programmazione, Accademia delle Scienze di Torino. Matematica, Fisica e Informatica nel secolo XX: L'ossessione della totalità. Torino, marzo 2024.
Registrazione dell'evento: YouTube.
-
Teaching programming in the age of generative AI,
PROGRAMme spring workshop:
Future visions on computing and programming then and now
, Lille, June 2023.
-
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.
- To code or not to code: the school curriculum facing the digital revolution, 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.
|