Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Mon 16 Nov 2020 07:40 - 08:00 at SPLASH-III - Chair(s): Juan de Lara
Mon 16 Nov 2020 19:40 - 20:00 at SPLASH-III - Chair(s): David J. Pearce

Software systems that share potentially sensitive data are subjected to laws, regulations, policies and/or contracts. The monitoring, control and enforcement processes applied to these systems are currently to a large extent manual, which we rather automate by embedding the processes as dedicated and adaptable software services in order to improve efficiency and effectiveness.
This approach requires such regulatory services to be closely aligned with a formal description of the relevant norms.

This paper presents eFLINT, a domain-specific language developed for formalizing norms. The theoretical foundations of the language are found in transition systems and in Hohfeld’s framework of legal fundamental conceptions. The language can be used to formalize norms from a large variety of sources. The resulting specifications are executable and support several forms of reasoning such as automatic case assessment, manual exploration and simulation. Moreover, the specifications can be used to develop regulatory services for several types of monitoring, control and enforcement. The language is explained through an example, formalizing articles 6(1)(a) and 16 of the General Data Protection Regulation (GDPR). A prototype implementation and formal definition of eFLINT are provided as supplementary material.

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

07:00 - 08:20: GPCE / SLE at SPLASH-III +12h
Chair(s): Juan de LaraAutonomous University of Madrid
07:00 - 07:20
Talk
GPCE
Hampus BalldinAdvenica, Christoph ReichenbachLund University
Link to publication DOI Media Attached
07:20 - 07:40
Talk
SLE
Jorge Perianez PascualUniversity of Extremadura, Spain, Roberto Rodriguez-EcheverriaUniversity of Extremadura, Spain, Loli BurgueñoOpen University of Catalonia, Spain, Jordi CabotOpen University of Catalonia, Spain
Link to publication DOI Pre-print Media Attached
07:40 - 08:00
Talk
GPCE
L. Thomas van BinsbergenCWI, Lu-Chi LiuUniversity of Amsterdam, Robert van DoesburgLeibniz Institute / University of Amsterdam / TNO, Tom van EngersLeibniz Institute / University of Amsterdam / TNO
Link to publication DOI Pre-print Media Attached
08:00 - 08:20
Talk
SLE
Thibault Béziers la FosseIMT Atlantique, ICAM, Massimo Tisi, Jean-Marie MottuUniversité de Nantes, LS2N, IMT Atlantique, Gerson SunyéUniversité de Nantes, LS2N
Link to publication DOI Media Attached
19:00 - 20:20: GPCE / SLE at SPLASH-III
Chair(s): David J. PearceVictoria University of Wellington, New Zealand
19:00 - 19:20
Talk
GPCE
Hampus BalldinAdvenica, Christoph ReichenbachLund University
Link to publication DOI Media Attached
19:20 - 19:40
Talk
SLE
Jorge Perianez PascualUniversity of Extremadura, Spain, Roberto Rodriguez-EcheverriaUniversity of Extremadura, Spain, Loli BurgueñoOpen University of Catalonia, Spain, Jordi CabotOpen University of Catalonia, Spain
Link to publication DOI Pre-print Media Attached
19:40 - 20:00
Talk
GPCE
L. Thomas van BinsbergenCWI, Lu-Chi LiuUniversity of Amsterdam, Robert van DoesburgLeibniz Institute / University of Amsterdam / TNO, Tom van EngersLeibniz Institute / University of Amsterdam / TNO
Link to publication DOI Pre-print Media Attached
20:00 - 20:20
Talk
SLE
Thibault Béziers la FosseIMT Atlantique, ICAM, Massimo Tisi, Jean-Marie MottuUniversité de Nantes, LS2N, IMT Atlantique, Gerson SunyéUniversité de Nantes, LS2N
Link to publication DOI Media Attached