Professor Matthew Hague

1 - 23 out of 23Page size: 100
RSS feed of this list
Sort by: Type
  1. Participation in conference

  2. Asian Programming Languages and Systems

    Matthew Hague (Member of programme committee)
    2 Dec 2019 → 4 Dec 2019

    Activity: Participating in or organising an event › Participation in conference

  3. Foundations of Software Science and Computation Structures

    Matthew Hague (Member of programme committee)
    6 Apr 2019 → 11 Apr 2019

    Activity: Participating in or organising an event › Participation in conference

  4. Higher Order Program Analysis

    Matthew Hague (Chair)
    18 Jul 2014

    Activity: Participating in or organising an event › Participation in conference

  5. International Colloquium on Automata, Languages, and Programming

    Matthew Hague (Member of programme committee)
    12 Jul 2016 → 15 Jul 2018

    Activity: Participating in or organising an event › Participation in conference

  6. International Conference on Engineering of Complex Computer Systems

    Matthew Hague (Member of programme committee)
    12 Dec 2018 → 14 Dec 2018

    Activity: Participating in or organising an event › Participation in conference

  7. International Conference on Engineering of Complex Computer Systems

    Matthew Hague (Member of programme committee)
    10 Nov 2019 → 13 Nov 2019

    Activity: Participating in or organising an event › Participation 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 event › Participation in conference

  9. Mathematical Foundations of Computer Science

    Matthew Hague (Member of programme committee)
    24 Aug 2020 → 28 Aug 2020

    Activity: Participating in or organising an event › Participation in conference

  10. Reachability Problems

    Matthew Hague (Chair), Igor Potapov (Chair)
    7 Sep 2017 → 9 Sep 2017

    Activity: Participating in or organising an event › Participation in conference

  11. Reachability Problems

    Matthew Hague (Member of programme committee)
    24 Sep 2018 → 26 Sep 2018

    Activity: Participating in or organising an event › Participation in conference

  12. Reachability Problems

    Matthew Hague (Member of programme committee)
    11 Sep 2019 → 13 Sep 2019

    Activity: Participating in or organising an event › Participation in conference

  13. Reachability Problems

    Matthew Hague (Member of programme committee)
    19 Oct 2020 → 21 Dec 2020

    Activity: Participating in or organising an event › Participation in conference

  14. Young Researchers Workshop on Concurrency Theory

    Matthew Hague (Member of programme committee)
    3 Sep 2018

    Activity: Participating in or organising an event › Participation in conference

  15. Participation in workshop, seminar, course

  16. Automata, Logic and Games

    Matthew Hague (Invited speaker)
    22 Aug 2016 → 25 Sep 2016

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  17. British Colloquium for Theoretical Computer Science

    Matthew Hague (Chair)
    26 Mar 2018 → 28 Mar 2018

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  18. Higher Order Program Analysis

    Matthew Hague (Chair)
    4 Jul 2015

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  19. Higher-Order Model Checking

    Matthew Hague (Invited speaker)
    14 Mar 2016 → 17 Mar 2016

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  20. Higher-Order Program Analysis

    Matthew Hague (Chair)
    28 Jun 2013 → 29 Jun 2013

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  21. Highlights of Games, Logic and Automata

    Matthew Hague (Organiser), Nikos Tzevelekos (Organiser)
    12 Sep 2017 → 15 Sep 2017

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  22. Highlights of Logic, Games and Automata

    Matthew Hague (Member of programme committee)
    6 Sep 2016 → 9 Sep 2016

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  23. INFINITY

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

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  24. INFINITY

    Matthew Hague (Invited speaker)
    15 Dec 2015

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  25. Meeting on String Constraints and Applications

    Matthew Hague (Invited speaker)
    6 May 2019 → 9 May 2019

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

Find an expert

Computer Science home
Research
Profile
Researchers
Publications
Projects