Professor Matthew Hague

  1. Participation in conference
  2. Asian Programming Languages and Systems

    Matthew Hague (Member of programme committee)
    2 Dec 20194 Dec 2019

    Activity: Participating in or organising an eventParticipation in conference

  3. Foundations of Software Science and Computation Structures

    Matthew Hague (Member of programme committee)
    6 Apr 201911 Apr 2019

    Activity: Participating in or organising an eventParticipation in conference

  4. Higher Order Program Analysis

    Matthew Hague (Chair)
    18 Jul 2014

    Activity: Participating in or organising an eventParticipation in conference

  5. International Colloquium on Automata, Languages, and Programming

    Matthew Hague (Member of programme committee)
    12 Jul 201615 Jul 2018

    Activity: Participating in or organising an eventParticipation in conference

  6. International Conference on Engineering of Complex Computer Systems

    Matthew Hague (Member of programme committee)
    12 Dec 201814 Dec 2018

    Activity: Participating in or organising an eventParticipation in conference

  7. International Conference on Engineering of Complex Computer Systems

    Matthew Hague (Member of programme committee)
    10 Nov 201913 Nov 2019

    Activity: Participating in or organising an eventParticipation in conference

  8. International Conference on the Implementation and Application of Automata

    Matthew Hague (Member of programme committee)
    27 Jun 2017

    Activity: Participating in or organising an eventParticipation in conference

  9. Reachability Problems

    Matthew Hague (Chair), Igor Potapov (Chair)
    7 Sep 20179 Sep 2017

    Activity: Participating in or organising an eventParticipation in conference

  10. Reachability Problems

    Matthew Hague (Member of programme committee)
    24 Sep 201826 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

  11. Reachability Problems

    Matthew Hague (Member of programme committee)
    11 Sep 201913 Sep 2019

    Activity: Participating in or organising an eventParticipation in conference

  12. Young Researchers Workshop on Concurrency Theory

    Matthew Hague (Member of programme committee)
    3 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

  13. Participation in workshop, seminar, course
  14. Automata, Logic and Games

    Matthew Hague (Invited speaker)
    22 Aug 201625 Sep 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  15. British Colloquium for Theoretical Computer Science

    Matthew Hague (Chair)
    26 Mar 201828 Mar 2018

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  16. Higher Order Program Analysis

    Matthew Hague (Chair)
    4 Jul 2015

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  17. Higher-Order Model Checking

    Matthew Hague (Invited speaker)
    14 Mar 201617 Mar 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  18. Higher-Order Program Analysis

    Matthew Hague (Chair)
    28 Jun 201329 Jun 2013

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  19. Highlights of Games, Logic and Automata

    Matthew Hague (Organiser), Nikos Tzevelekos (Organiser)
    12 Sep 201715 Sep 2017

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  20. Highlights of Logic, Games and Automata

    Matthew Hague (Member of programme committee)
    6 Sep 20169 Sep 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  21. INFINITY

    Matthew Hague (Chair), Anthony Lin (Chair)
    26 Aug 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  22. INFINITY

    Matthew Hague (Invited speaker)
    15 Dec 2015

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  23. Meeting on String Constraints and Applications

    Matthew Hague (Invited speaker)
    6 May 20199 May 2019

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course