Rechercher

Paramétrage

Thèmes

Accessibilité

Accessibilité

Responsabilités

Research projects

2018-2023: PI of the JCJC ANR PROGRAMme project (ANR-17-CE38-0003-01), see: https://programme.hypotheses.org/ for more details

2017: responsable d'un projet de partenariat de la MESHS (pojet HEPI)

2015 – 2019: Member of the GDR 3398 Histoire des mathématiques

2003 – 2014: (with A. Barberousse and A.-L. Rey) responsable for the ADA project “Uncertainty and Undecidability in the sciences”

Responsabilities

  • Since 2024: Member of the editorial board of Philosophia Scientiae

  • Since 2023: Member of the editorial board of Computability

  • Since 2021: Member of the ediorial board Annals for the History of Computing

  • 2020-2022: webmaster and council member of the European Society for the History of Science (ESHS)

  • 2021-2025: Secretary-General of the IUHPST/DHST Division for the History of Science and Technology (https://dhstweb.org/)
  • Founding president of the DHST/DLMPST commission for the History and Philosophy of Computing (www.hapoc.org), 2013-2017
  • Council member of the DHST/DLMPST commission for the History and Philosophy of Computing (www.hapoc.org), 2017-2023.
  • member of the steering committee, executive committee and council of the Association Computability in Europe, http://www.acie.eu/

Organization of international conferences and workshops

2011:

(with G. Primiero), International conference on the History and Philosophy of Computing, 7–10 Novembre, 2011, Universiteit Gent, Belgium

 

2012:

(with B. Loewe, K. Moody and G. Primiero), Workshop Turing in Context I, King’s College, UK, 18-19 February, 2012

(with B. Löwe, G. Primiero and J.-P. van Bendegem) International Workshop Turing in Context II, Royal Flemish Academy of Belgium for the sciences and arts (KVAB), 10–12 October, 2012

(with G. Primiero) International Symposium on the History and Philosophy of Programming, 5–6 Juillet, IACAP/AISB World Conference 2012, Birmingham.

 

2013:

Organizor of the special session “Mathematics and Computation. Historical and epistemological issues”, Conference on Logic and Philosophy of Science, 10-12 September, 2013, Ghent, Belgium.

(with M. Bullynck and M.-J. Durand-Richard), Symposium Mathematics and machines. Explorations of machine-assisted mathematics since 1800, ICHSTM13, Manchester, 22-28 July, 2013.

(with G. Alberts) Organizor of the special session “History of Computation”, Computability in Europe, 2013, Milano, Italy.

 

2014:

(with Bullynck), Les mathématiques face à l’ordinateur, IHP, Paris, 23 Mai 2014.

(with Primiero) Third symposium on the History and Philosophy of Programming (HaPoP-2), AISB 50, 4 avril 2014, Goldsmiths University, Londres

(with G. Primiero) Special session History and Philosophy of Computing, CiE 2014, 23-27 june 2014, Budapest, Hongarie

(with G. Primiero) Symposium History and Philosophy of Computing, IACAP 2014, 14-17 juin 2014, Thessaloniki.

 

2015:

(with G. Primiero) CLMPST Symposium: Computations, Proofs and Models, CLMPS 2015, 3-8 August 2015

 

2016:

(with Raphaël Fournier-S’niehotta, B. Mélès, G. Primiero) Third symposium on the History and Philosophy of Programming (HaPoP-3), 25 june 2016.

 

2017:

(with G. Primiero), Special session History and Philosophy of Computing, CiE 2017, Turku, Finland

(with M. Bullynck et J. Rohrhuber), International Symposium on Ethical, Legal and Politial Issues of Computing, World Humanities conference, 6-12 August 2017, Liège, Belgium

Roundtable: What is a (computer) program? Histoiral and philosophical perspectives, 19 october 2017, CNAM, Paris

 

2018:

(with G. Primiero), Special session History and Philosophy of Computing, CiE 2018, Kiel, Germany.

Workshop “Models between structures and meanings of programs”, 8 february, 2018, MESHS, Lille

(with S. Martini), PROGRAMme autumn workshop I: Formalisms at the interface with machines, languages and systems, Bertinoro, 16-17 octobre 2018

 

2019:

PROGRAMme Spring workshop on Machines, 5-7 june 2019, MESHS, Lille

PROGRAMme Autumn workshop II: Programming languages and notations, 1-2 october 2019, Bertinoro

(with M- Panza, G. Heinzman, M. Pégny) Formalization of proofs/Formalization of programs, 18-19 december 2019, IHPST, Paris – cancelled

due to the mouvement social in France, see: programme.hypotheses.org/ffium-programme-colloquium-formalization-of-proofs-formalization-of-programs

 

2020:

PROGRAMme spring meeting, 17-20 June, 2020, MESHS, Lille. Cancelled due to COVID-19 and replaced by a virtual meeting

(with Tomas Petricek) HaPoP-5, 27 May 2020, Paris (PC chair and local organizor). Cancelled due to COVID-19, see: https://www.shift-society.org/hapop5/

 

2021:

(with Andreas Weiermann) Computability in Europe 2021, 5-9 July 2021 Ghent (PC chair and local organizor)

(with Arianna Borrelli) Symposium Computing in the sciences and in technology. An Aristotelian perspective, ICHSTM 2021, Prague

PROGRAMme spring workshop, A virtual event, 8-10 June 2021.

 

2022:

 

(with Tomas Petricek), International Symposium for the History and Philosophy of Programming 2022, Université de Lille, 13 june 2022.

What is a computer program? Final conference, MESHS, Université de Lille, 14-15 June 2022.

(with Arianna Borrelli), Computing Politics in Late 20th and Early 21st Century, Symposium at ESHS 2022, 8 september 2022, Brussels.

What is a computer program? Internal workshop[chez]Bertinoro, Bertinoro University Centre, 3-8 october 2022.

 

2023:

PROGRAMme spring workshop: Future visions on computing and programming then and now. Université de Lille, 12-14 june 2023.

(with Th. Haddád), DHST Global History of Science and Technology Festival 2023, 29 september 2023.

Member of the scientific committee of conferences and workshops

  • Computability in Europe, 2013, July 1-5, Milano, Italy
  • HaPoC-2, 28-31 Octobre 2013, ENS Paris
  •  Computability in Europe 2014, 23-27 Juin 2014, Budapest, Hungary
  •  HaPoP-2, AISB 50, 4 avril 2014, Goldsmiths University, London
  •  Colloquium Logicum 2014, 4-6 septembre 2014, Universität München
  •  Computability in Europe 2015, 29 juin - 3 juillet, 2015, Bucharest
  • HaPoC-3, 8-11 Octobre 2015, Pisa, Italy
  • Computability in Europe 2016, 27 juin - 1 juillet 2016, Paris
  • HaPoP-3, 25 juin 2016, CNAM, Paris.
  • Computability in Europe 2017, Turku, 12-16 juin, 2017, Finland
  •  HaPoC-4, 4-7 Octobre 2017, Brno
  •  Unix en France et aux États-Unis: innovation, diffusion et appropriation,19 octobre 2017, CNAM, Paris.
  •  Symposium ‘The ubiquity of computing. Historical and philosophical problems’, ICHSTM 2017
  •  HaPoP-4, 23 mars 2018, Oxford, UK
  • CiE 2019, 8-12 Juillet 2019, Durham,UK
  • CLMPST 2019, 5 - 10 Aout 2019, Prague
  • HISTELCON 2019 - milestones in technology history, 18-19 septembre 2019, Glasgow, Scotland.
  • History of formal methods workshop (HFM 2019), 11 octobre 2019, Porto, Portugal.
  • HAPOC-2019, 28-30 october 2019, Bergamo, Italy (https://hapoc2019.sciencesconf.org/)