Liesbeth De Mol

Chargée de recherche epst - Chercheur CNRS - épistémologie, histoire et philosophie de l'informatique, mathématiques et logique
liesbeth_de_mol.jpg

Liesbeth De Mol

Chargée de recherche epst - Chercheur CNRS - épistémologie, histoire et philosophie de l'informatique, mathématiques et logique

Responsabilités

Some responsabilities

  • 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), since 2017.
  • member of the steering committee, executive committee and council of the Association Computability in Europe, http://www.acie.eu/
  • (with G. Primiero), coordinator of the ACiE Special session for the History and Philosophy of Computing at the CiE annual conference

Organization of international conferences and workshops

  • (with Giuseppe Primiero), Chair of the International conference on the history and philosophy of computing, 7-10 Novembre, 2011, Ghent University, Belgium  (www.computing-conference.ugent.be)
  • (with G. Primiero) International Symposium on the History and Philosophy of Programming, 5--6 July, IACAP/AISB World Conference 2012, Birmingham.
  • (with B. Löwe, G. Primiero et J.-P. van Bendegem)  International Workshop Turing in Context II, Royal Flemish Academy of Belgium for the sciences and arts (KVAB), 10--12 Octobre, 2012
  • (with B. Löwe, G. Primiero et K. Moody, International Workshop Turing in Context I, King's College, UK, Feburary 18-19, 2012 (http://www.ifcolog.net/?p=6786).
  • symposium ``Mathematics and Computation. Historical and epistemological issues'', Conference on Logic and Philosophy of Science, 10-12 Septembre, 2013, Gent, Belgium.
  • (with M. Bullynck et M.-J. Durand-Richard), Mathematics and machines. Explorations of machine-assisted mathematics since 1800, ICHSTM13, Manchester, 22-28 juillet, 2013.
  • (with Gerard Alberts), Organizer of the special session "History of Computation'', Computability in Europe, 2013, Milano, Italy.
  • (with G. Primiero), second Symposium on the history and philosophy of Programming (HaPoP-2), 1-4 April, 2014, University of London, UK.
  • (with M. Bullynck) Les mathématiques face à l’ordinateur, IHP, Paris, 23 Mai 2014.
  • (with G. Primiero) Third symposium on the History and Philosophy of Programming (HaPoP-2), AISB 50, 4 avril 2014, Goldsmiths University, London
  • (with G. Primiero) Special session History and Philosophy of Computing, CiE 2014, 23-27 juin 2014, Budapest, Hongary
  • G. Primiero) Symposium History and Philosophy of Computing, IACAP 2014, 14-17 juin 2014, Thessaloniki.
  • (with G. Primiero) CLMPST Symposium: Computations, Proofs and models, CLMPS 2015, 3-8 Août 2015
  • (with Raphaël Fournier-S’niehotta, B. Mélès, G. Primiero) Third symposium on the History and Philosophy of Programming (HaPoP-3), 25 juin 2016
  • (with G. Primiero), Special session History and Philosophy of Computing,
    CiE 2017, Turku, Finland
  • (with M. Bullynck and J. Rohrhuber), International Symposium on Ethical, Legal and Politial Issues of Computing, World Humanities conference, 6-12 August 2017, Liège, Belgique
  • (with G. Primiero), Special session History and Philosophy of Computing, CiE 2018, Kiel, Allemagne
  • Roundtable: Qu’est-ce qu’un programme informatique? Perspectives his-
    toriques et Philosophiques, 19 octobre 2017, CNAM, Paris
  • Workshop Models between structures and meanings of programs, 8 février, 2018, MESHS, Lille.
  • (with S. Martini), Formalisms at the interface with machines, languages and systems, Bertinoro, 16-17 octobre 2018

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/)