-
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]
-
2022/January:
Reflections on the design and application of eFLINT.
Presentation at Programming Languages and the Law (ProLaLa) @ POPL2022.
[Abstract]
[Slides]
[Video]
-
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]
-
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]
-
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]
-
2023/September:
Domain-specific languages, regulated systems and sustainability.
Invited Keynote at the IPA Fall Days.
[Slides]
-
2023/Februari:
Data-uitwisseling via AMdEX.
Presentatie aan de 27e Datakamer van het Ministerie van Onderwijs, Cultuur en Wetenschap.
[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/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/September:
Software languages for data exchange systems.
Public presentation during Tenure Track interview.
[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/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/April:
Generalised parsing with binary subtree representation.
Invited talk at programming languages seminar TU Delft.
[Slides]
-
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/January:
Generalised parsing with parser combinators.
Invited seminar talk at Utrecht University.
[Slides]
-
2021/December:
Enforcing data sharing conditions within AMdEX.
Presentation at the 2nd AMdEX Meetup.
[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]
-
2020/September:
WP3: Goals, Results and Plans.
SSPDDP Dissemination event September 2020 (Virtual).
[Slides]
-
2020/April:
A principled approach to REPL interpreters applied to eFLINT.
Internal presentation UvA/CWI.
[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]
-
2016/March:
Funcons: basics of imperative programming..
Guest lecture in 'Software Language Engineering' at Royal Holloway, University of London.