10 December 2021 (Zoom Link):

11h00 - 11h15 : Introduction
11h15 - 12h15 : Walter Dean (Univ. Warwick & MCMP), Algorithms and ontology
12h15 - 14h00 : Lunch break
14h00 - 15h00 : Reinhard Kahle (Univ. Tübingen), Equality of algorithms and equality of proofs
15h00 - 15h15 : break
15h15 - 16h15 : Jan Begstra (Univ. Amsterdam), On a new definition of algorithms and its connection with concepts of software patenting
16h15 - 16h30 : break
16h30 - 17h30 : Liane Huttner (Univ. Paris 1), Defining algorithms in French and European law

ID meeting: 985 5607 6347, Passcode: 218784

11 December 2021 (Zoom Link):

10h00 - 11h00 : Josef Urban (CIIRC, Prague), Learning to reason (and compute)
11h00 - 11h15 : break
11h15 - 12h15 : Maxime Darrin (L2S, CNRS, CentraleSupélec, Univ. Paris-Saclay), Robustness of AI: what definitions for a proper regulation
12h15 - 14h00 : Lunch break
14h00 - 15h00 :  Edwige Cyffers (INRIA), The quantification of privacy in machine learning
15h00 - 15h15 : break
15h15 - 16h00 : Open debate

ID meeting: 992 8819 9513, Passcode: 721753

Organizers: Alberto Naibo (IHPST, Univ. Paris 1), Marco Panza (IHPST, Univ. Paris 1) et Maël Pégny (Univ. Tübingen)

Monday February 14th (11:00-13:00 CET)

- Aurore Hyde (Université de Reims Champagne Ardenne), "Definition of AI from a legal perspective: grasping the purpose rather than the technology"
- Robert C. Williamson (University of Tübingen), "How to think about machine learning"

This workshop continues the discussions initiated during the "Definitions of Algorithms: From Logic to Law" event which took place last December at the IHPST (Paris 1). The purpose of this event series is to study the notions of algorithms and programs as a meeting point between logic, computer science and the law. 

Zoom link

Meeting ID : 981 3811 0134
Password : 354665

March 21st, 11:00 -13:00 (CET), [Paris, IHPST]

How do Computer Scientists and Legal Scholars Work When They Have to Define the Same Object?

- Pierre-Yves Quiviger (Paris 1): "How to explore legal corpora? Some remarks on two paradigms: distant reading and computer-assisted proofs"

- Giovanni Sartor (Bologna):  "Computational approaches to the law: model of the law in AI"

Abstract: The doctrinal work, and in particular the work of the philosophy of law, is destined to be upset by the constitution, following the digital revolution, of large legal corpora. These corpora, the importance of which exceeds the reading capacity of scholars, need to be explored by mobilizing new tools. What is the right paradigm? The literary one of distant reading? Or the mathematical one of computer-assisted proofs? Text or algorithm?
This workshop is the last of the three sessions around the theme « Definitions of Algorithms: Computer Science and Law », and it is devoted to the study of the philosophical and conceptual impacts of the application of computational techniques (coming from computer science) to the domain of law. 

Zoom link:
https://zoom.univ-paris1.fr/j/91843889280?pwd=QmNUSWNQWDlXdzJVd1MvMEtob0oxZz09

ID: 918 4388 9280

Passcode: 162993