Professor Matthew Hague

1 - 26 out of 26Page 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. Principles of Programming Languages

    Matthew Hague (Member of programme committee)

    16 Jan 2022 → 22 Jan 2022

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

  11. Reachability Problems

    Matthew Hague (Chair) & Igor Potapov (Chair)

    7 Sep 2017 → 9 Sep 2017

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

  12. Reachability Problems

    Matthew Hague (Member of programme committee)

    24 Sep 2018 → 26 Sep 2018

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

  13. Reachability Problems

    Matthew Hague (Member of programme committee)

    11 Sep 2019 → 13 Sep 2019

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

  14. Reachability Problems

    Matthew Hague (Member of programme committee)

    19 Oct 2020 → 21 Dec 2020

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

  15. Reachability Problems

    Matthew Hague (Member of programme committee)

    25 Oct 2021 → 27 Oct 2021

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

  16. The International Conference on Networked Systems

    Matthew Hague (Member of programme committee)

    19 May 2021 → 21 May 2021

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

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

  18. Participation in workshop, seminar, course

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

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

  21. Higher Order Program Analysis

    Matthew Hague (Chair)

    4 Jul 2015

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

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

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

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

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

  26. INFINITY

    Matthew Hague (Chair) & Anthony Lin (Chair)

    26 Aug 2016

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

  27. INFINITY

    Matthew Hague (Invited speaker)

    15 Dec 2015

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

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