-
2025/May:
UvA Research Update.
Dissemination event for DMI Ecosystem partners.
L. Thomas van Binsbergen, Tim Müller, Merrick Oost-Rosengren, Christopher A. Esterhuyse, Heleen Janssen.
[Slides]
[Projects: B2G3P, AMdEX]
-
2025/February:
Normative Control over (Data Sharing) Infrastructures.
Data Sharing Festival 2025 -- Next Level Dataspaces: Adopt, Scale and Roll-out.
L. Thomas van Binsbergen, Tom van Engers.
[Slides]
[Video]
[Projects: B2G3P, AMdEX]
-
2025/January:
Normative Reasoning in Distributed Systems and GDPR-based Access Control.
Norm Engineering Conference 2025.
L. Thomas van Binsbergen, Tom van Engers.
[Slides]
[Projects: B2G3P, AMdEX]
-
2024/December:
Incremental Graph Code (IGC) -- Bridging Incremental Programming and Complex Software Development in Modern Programming Environments.
Invited presentation at INRIA, Rennes.
Max Boksem, L. Thomas van Binsbergen.
[Slides]
[Video]
[Projects: ALE]
-
2024/December:
Lawful and Accountable Personal Data Processing with GDPR-based Access Control.
Invited presentation at INRIA, Rennes.
L. Thomas van Binsbergen, Marten Steketee, Milen Kebede, Heleen Janssen, Tom van Engers.
[Slides]
[Projects: ALE, B2G3P, AMdEX]
-
2024/June:
Policy-driven distributed data processing in the AMdEX data exchange architecture.
Invited Presentation @ IDSA Ecosystem Building Call.
L. Thomas van Binsbergen.
[Slides]
-
2024/June:
Multiverse Recursive Descent Grammar Exploration.
Presentation at Programming Languages in the Netherlands (PLNL) 2024.
L. Thomas van Binsbergen.
[Slides]
-
2024/May:
Policy-driven distributed data processing in the AMdEX data exchange architecture.
Invited Presentation @ IDSA Legal Framework Task Force.
L. Thomas van Binsbergen.
[Slides]
-
2023/September:
Domain-specific languages, regulated systems and sustainability.
Invited Keynote at the IPA Fall Days.
[Slides]
-
2023/August:
Towards a standardised and efficient implementation of the normative specification language eFLINT.
The 35th Symposium on Implementation and Application of Functional Languages.
Olaf Erkemeij, Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen.
[Slides]
[Projects: AMdEX, SSPDDP]
-
2023/Februari:
Data-uitwisseling via AMdEX.
Presentatie aan de 27e Datakamer van het Ministerie van Onderwijs, Cultuur en Wetenschap.
[Slides]
-
2022/January:
Reflections on the design and application of eFLINT.
Presentation at Programming Languages and the Law (ProLaLa) @ POPL2022.
[Abstract]
[Slides]
[Video]
-
2021/December:
Enforcing data sharing conditions within AMdEX.
Presentation at the 2nd AMdEX Meetup.
[Slides]
-
2021/September:
Domain-Specific Languages and Normative Reasoning.
Invited presentation at the Digital Data Steering Group (DDSG) of the Society of Automative Engineers (SEA) International.
L. Thomas van Binsbergen.
[Slides]
-
2021/September:
Towards a DSL for formalising laws and regulations.
Invited talk at a Strumenta Virtual Meetup.
[Slides]
-
2021/September:
Towards Incremental Language Definition with Reusable Components.
Symposium on Implementation and Application of Functional Languages.
[Abstract]
[Slides]
[Video]
-
2021/August:
Digital Data Marketplaces.
Communications of the ACM Europe Special Section 2022 Workshop.
[Slides]
-
2021/March:
REPL-first Exploratory Programming.
ALE Team workshop December 2021 (Virtual).
[Slides]
-
2021/March:
REPL-first languages.
ALE Team workshop December 2021 (Virtual).
[Slides]
-
2021/February:
Domain-specific languages, regulated systems and sustainability.
Invited talk at the Air France KLM seminar 'AI for Aviation Sustainability'.
L. Thomas van Binsbergen.
[Slides]
-
2021/February:
Prototyping regulated systems.
Invited seminar talk at the University of Ottawa.
L. Thomas van Binsbergen.
[Slides]
-
2020/December:
Languages for prototyping regulated systems: A case study.
Presentation at Jurix Workshop Frontier of Digital Enforceable Contracts (FDEC 2020).
L. Thomas van Binsbergen, Lu-Chi Liu and Mostafa Mohajeri Parizi.
[Abstract]
[Slides]
-
2020/November:
eFLINT: a Domain-Specific Language for Executable Norm Specifications.
Proceedings of GPCE '20.
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers.
[DOI]
[Preprint]
[Video]
[Projects: SSPDDP]
-
2020/October:
A principled approach to REPL interpreters.
Proceedings of Onward! '20.
L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais.
[DOI]
[Preprint]
[Video]
-
2020/September:
Software languages for data exchange systems.
Public presentation during Tenure Track interview.
[Slides]
-
2020/September:
WP3: Goals, Results and Plans.
SSPDDP Dissemination event September 2020 (Virtual).
[Slides]
-
2020/July:
Het formaliseren van wetten en verordeningen -- een overzicht.
Invited talk at Ministry of Defence (Ministerie van Defensie).
L. Thomas van Binsbergen and Tom van Engers.
[Slides]
-
2020/April:
A principled approach to REPL interpreters applied to eFLINT.
Internal presentation UvA/CWI.
[Slides]
-
2020/March:
eFLINT - Een modelleertaal voor het redeneren over normen.
Presentation at TNO/ICTU seminar "Computers die redeneren met wetten; de eerste stappen".
L. Thomas van Binsbergen and Tom van Engers.
[Slides]
-
2020/March:
Executable Component-Based Semantics.
Presentation at ICT.OPEN 2020 (Cancelled).
L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses.
[Slides]
-
2020/March:
eFLINT -- An action-based language for reasoning about norms.
Presentation at ICT.OPEN 2020 (Cancelled).
L. Thomas van Binsbergen and Tom van Engers.
[Abstract]
[Slides]
-
2019/December:
A Guided Tour of Initial Algebra Semantics.
ALE Team workshop December 2019 in Rennes.
[Slides]
-
2019/November:
eFLINT -- A DSL for testing normative specifications.
Presentation at CWI.
L. Thomas van Binsbergen.
[Slides]
-
2019/April:
Generalised parsing with binary subtree representation.
Invited talk at programming languages seminar TU Delft.
[Slides]
-
2018/November:
Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper).
Proceedings of GPCE '18.
L. Thomas van Binsbergen.
[DOI]
[Authorized access]
-
2018/October:
GLL parsing with flexible combinators.
Proceedings of SLE' 18.
L. Thomas van Binsbergen, Elizabeth Scott and Adrian Johnstone.
[DOI]
[Authorized access]
-
2018/May:
Formal, executable and reusable components for syntax specification.
Presentation at S-REPLS '18.
[Slides]
-
2018/January:
The fundamental constructs of homogeneous generative meta-programming.
Invited seminar talk at the University of Sussex.
[Slides]
-
2016/October:
Generalised parsing and combinator parsing – a happy marriage?.
Presentation at Parsing@SLE '16 during SPLASH '16.
[Slides]
-
2016/October:
combinators for generalised parsing.
Presentation at the Haskell eXchange' 16.
[Slides]
[Video]
-
2016/April:
Executable Component-Based Semantics.
Invited talk at the 10th PL retreat TU Delft.
[Slides]
-
2016/March:
Funcons: basics of imperative programming..
Guest lecture in 'Software Language Engineering' at Royal Holloway, University of London.
-
2016/January:
Generalised parsing with parser combinators.
Invited seminar talk at Utrecht University.
[Slides]
-
2015/August:
Linearly Ordered Attribute Grammars Scheduling Using SAT-Solving.
Proceedings of TACAS' 15.
Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen and Atze Dijkstra.
[DOI]
-
2015/January:
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection.
Proceedings of PEPM' 15.
L. Thomas van Binsbergen, Jeroen Bransen and Atze Dijkstra.
[DOI]
[Authorized access]