Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

20022019
If you made any changes in Pure these will be visible here soon.

Activities 2004 2018

Fourteenth International Symposium on Functional and Logic Programming (Event)

John Patrick Gallagher (Editor)
2018

Activity: Editorial work and peer reviewEditor of Research journalResearch

LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Event)

John Patrick Gallagher (Editor)
2017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
1 Jan 201231 Dec 2016

Activity: Editorial work and peer reviewEditor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
20112017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Lecturer)
19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

11th Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)
2011 → …

Activity: MembershipMembership in committee, council, board

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
15 Jan 201110 Jul 2011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Trinity College Dublin (External organisation)

John Patrick Gallagher (Chairman)
20102012

Activity: MembershipMembership in review committee

Higher-Order and Symbolic Computation (Journal)

John Patrick Gallagher (Editor)
20102011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Lecturer)
19 Aug 2010

Activity: Talk or presentationLecture and oral contribution

File

Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (External organisation)

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Member)
20102011

Activity: MembershipMembership in committee, council, board

Science Research Council Belgium (FUNDP) (External organisation)

John Patrick Gallagher (Member)
2010

Activity: MembershipMembership in review committee

International Conference on Logic Programming (ICLP’08) (External organisation)

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Association for Logic Programming (External organisation)

John Patrick Gallagher (Chairman)
1 Aug 201010 Jul 2011

Activity: MembershipMembership in committee, council, board

Higher Order and Symbolic Computation (Journal)

John Patrick Gallagher (Peer reviewer)
2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

John Patrick Gallagher (Lecturer)
7 Jul 2010

Activity: Talk or presentationLecture and oral contribution

International Symposium on Logic-based Program Synthesis and Transformation (External organisation)

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Seminar on Virtual Archaeology

John Patrick Gallagher (Organizer)
14 May 2009

Activity: Participating in or organising an eventOrganisation and participation in conference

Journal of Symbolic Computation in Software Science (Journal)

John Patrick Gallagher (Peer reviewer)
2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Universidad Politecnica de Madrid (External organisation)

John Patrick Gallagher (Member)
Oct 2009

Activity: MembershipMembership in review committee

Acm Sigplan (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

Doctoral Examiner (Habilitation) University of Rennes (External organisation)

John Patrick Gallagher (Member)
Oct 2009

Activity: MembershipMembership in review committee

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Chairman)
1 Jun 200919 Jan 2010

Activity: MembershipMembership in committee, council, board

Methods for Modalities (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (External organisation)

John Patrick Gallagher (Chairman)
1 Mar 200914 Jul 2009

Activity: MembershipMembership in committee, council, board

18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (External organisation)

John Patrick Gallagher (Member)
20082009

Activity: MembershipMembership in committee, council, board

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Peer reviewer)
20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Linköpings universitet (External organisation)

John Patrick Gallagher (Member)
Feb 2008

Activity: MembershipMembership in review committee

The 15th International Static Analysis Symposium SAS 2008 (External organisation)

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

IMDEA-Software Institute Scientific Advisory Board (External organisation)

John Patrick Gallagher (Member)
1 Jan 200831 Aug 2008

Activity: MembershipMembership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

Association for Logic Programming (External organisation)

John Patrick Gallagher (Member)
20082011

Activity: MembershipMembership in committee, council, board

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Lecturer)
Oct 2008

Activity: Talk or presentationLecture and oral contribution

International Conference on Logic Programming (ICLP’08) (External organisation)

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

Information and Computation (Journal)

John Patrick Gallagher (Peer reviewer)
20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
20072011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Invited speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)
14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

ACM Transactions on Programming Languages and Systems (TOPLAS) (Journal)

John Patrick Gallagher (Peer reviewer)
20062011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Regular types, modes and model checking: Invited Talk

John Patrick Gallagher (Speaker)
2004

Activity: Talk or presentationLecture and oral contribution

File