Mr L. Thomas van Binsbergen

  1. Prize (including medals and awards)
  2. Best Presentation - Annual PhD Colloquium 2016

    L. Thomas van Binsbergen (Recipient), 11 May 2016

    Activity: AwardsPrize (including medals and awards)

  3. Invited talk
  4. Executable Component Based Semantics - 10th PL Retreat TU Delft

    L. Thomas van Binsbergen (Participant), 20 Apr 2016

    Activity: External academic activityInvited talk

  5. Funcons: Basics of imperative programming (Guest Lecture)

    L. Thomas van Binsbergen (Participant), 7 Mar 2016

    Activity: External academic activityInvited talk

  6. Funcons (Guest Lecture)

    L. Thomas van Binsbergen (Participant), 7 Mar 2016

    Activity: External academic activityInvited talk

  7. Public Lecture/debate/seminar
  8. The Operational Semantics of Programs - Cake Talk CS Department

    L. Thomas van Binsbergen (Speaker), 15 Mar 2017

    Activity: Public engagement, outreach and knowledge exchangePublic Lecture/debate/seminar

  9. Participation in workshop, seminar, course
  10. International Summer School on Meta-Programming

    L. Thomas van Binsbergen (Participant), 8 Aug 201612 Aug 2016

    Activity: Conference contributionParticipation in workshop, seminar, course

  11. Generalised Parsing with Parser Combinators - Utrecht University MSc Colloquium

    L. Thomas van Binsbergen (Speaker), 5 Jan 2016

    Activity: Conference contributionParticipation in workshop, seminar, course

  12. Participation in conference
  13. Poster Demo - Modular Semantics with UUAGC - TACAS 2015

    L. Thomas van Binsbergen (Participant), May 2015

    Activity: Conference contributionParticipation in conference

  14. Linear Ordered Attribute Grammars - without fake dependency selection - TFP 2014

    L. Thomas van Binsbergen (Speaker), Mar 2014

    Activity: Conference contributionParticipation in conference

  15. Linearly Ordered Attribute Grammars - with Automatic Augmenting Dependency Selection - PEPM 2015

    L. Thomas van Binsbergen (Speaker), Jan 2015

    Activity: Conference contributionParticipation in conference

  16. Linearly Ordered Attribute Grammar Scheduling using SAT-solving - TACAS 2015

    L. Thomas van Binsbergen (Speaker), 15 Apr 2015

    Activity: Conference contributionParticipation in conference

  17. CSERC 2014

    L. Thomas van Binsbergen (Participant), Nov 2014

    Activity: Conference contributionParticipation in conference

  18. Defining Parser Combinators with Attribute Grammars - Annual PhD Colloquium RHUL 2015

    L. Thomas van Binsbergen (Speaker), May 2015

    Activity: Conference contributionParticipation in conference

  19. Tool Support for Component-Based Semantics - NWPT 2015

    L. Thomas van Binsbergen (Speaker), Oct 2015 → …

    Activity: Conference contributionParticipation in conference

  20. BCTCS 2015

    L. Thomas van Binsbergen (Participant), 2015 → …, BCTCS 2015

    Activity: Conference contributionParticipation in conference

  21. Executable Component Based Semantics - BCTCS 2016

    L. Thomas van Binsbergen (Speaker), 22 Mar 2016, BCTCS 2016

    Activity: Conference contributionParticipation in conference

  22. Strachey 100

    L. Thomas van Binsbergen (Participant), 19 Nov 2016

    Activity: Conference contributionParticipation in conference

  23. Doctoral School Summer Conference 2017 "CHANGE"

    L. Thomas van Binsbergen (Speaker), 6 Jun 2017

    Activity: Conference contributionParticipation in conference

  24. Doctoral School Summer Conference 2016 "SPACE"

    L. Thomas van Binsbergen (Participant), Jun 2016

    Activity: Conference contributionParticipation in conference

  25. Generalised Parsing and Combinator Parsing - Parsing@SLE 2016

    L. Thomas van Binsbergen (Participant), 30 Oct 2016

    Activity: Conference contributionParticipation in conference

  26. Combinators for Generalised Parsing - Haskell eXchange 2016

    L. Thomas van Binsbergen (Participant), 6 Oct 20167 Oct 2016

    Activity: Conference contributionParticipation in conference

  27. Efficient Interpretation of I-MSOS - IFL 2016

    L. Thomas van Binsbergen (Speaker), 31 Aug 20162 Sep 2016

    Activity: Conference contributionParticipation in conference

  28. Pattern Matching with Sequence Variables - Annual PhD Colloquium 2016

    L. Thomas van Binsbergen (Participant), 11 May 2016

    Activity: Conference contributionParticipation in conference

  29. Membership of peer review panel or committee
  30. Postgraduate Representative BCTCS

    L. Thomas van Binsbergen (Participant), 20162017

    Activity: Participation in council, board, committee and networkMembership of peer review panel or committee

  31. PhD Student Representative CS Department

    L. Thomas van Binsbergen (Participant), 20152016

    Activity: Participation in council, board, committee and networkMembership of peer review panel or committee