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. Mathematical Foundations of Computer Science

    Matthew Hague (Member of programme committee)

    24 Aug 202028 Aug 2020

    Activity: Participating in or organising an eventParticipation in conference

  10. Principles of Programming Languages

    Matthew Hague (Member of programme committee)

    16 Jan 202222 Jan 2022

    Activity: Participating in or organising an eventParticipation in conference

  11. Reachability Problems

    Matthew Hague (Chair) & Igor Potapov (Chair)

    7 Sep 20179 Sep 2017

    Activity: Participating in or organising an eventParticipation in conference

  12. Reachability Problems

    Matthew Hague (Member of programme committee)

    24 Sep 201826 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

  13. Reachability Problems

    Matthew Hague (Member of programme committee)

    11 Sep 201913 Sep 2019

    Activity: Participating in or organising an eventParticipation in conference

  14. Reachability Problems

    Matthew Hague (Member of programme committee)

    19 Oct 202021 Dec 2020

    Activity: Participating in or organising an eventParticipation in conference

  15. Reachability Problems

    Matthew Hague (Member of programme committee)

    25 Oct 202127 Oct 2021

    Activity: Participating in or organising an eventParticipation in conference

  16. The International Conference on Networked Systems

    Matthew Hague (Member of programme committee)

    19 May 202121 May 2021

    Activity: Participating in or organising an eventParticipation in conference

  17. Young Researchers Workshop on Concurrency Theory

    Matthew Hague (Member of programme committee)

    3 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

  18. Participation in workshop, seminar, course
  19. Automata, Logic and Games

    Matthew Hague (Invited speaker)

    22 Aug 201625 Sep 2016

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

  20. 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

  21. Higher Order Program Analysis

    Matthew Hague (Chair)

    4 Jul 2015

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

  22. Higher-Order Model Checking

    Matthew Hague (Invited speaker)

    14 Mar 201617 Mar 2016

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

  23. Higher-Order Program Analysis

    Matthew Hague (Chair)

    28 Jun 201329 Jun 2013

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

  24. 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

  25. 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

  26. INFINITY

    Matthew Hague (Chair) & Anthony Lin (Chair)

    26 Aug 2016

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

  27. INFINITY

    Matthew Hague (Invited speaker)

    15 Dec 2015

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

  28. 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