Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

20022018
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)

Gallagher, J. P. (Editor)
2018

Activity: Editorial work and peer reviewEditor of Research journalResearch

The 27th International Symposium on Logic-based Program Synthesis and Transformation (Event)

Gallagher, J. P. (Editor)
2017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
1 Jan 201231 Dec 2016

Activity: Editorial work and peer reviewEditor of Research journalResearch

11th Scandinavian Conference on Artificial Intelligence (External organisation)

Gallagher, J. P. (Member)
2011 → …

Activity: MembershipMembership in committee, council, board

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
15 Jan 201110 Jul 2011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Program Analysis With Regular Tree Languages

Gallagher, J. P. (Lecturer)
19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
20112017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Trinity College Dublin (External organisation)

Gallagher, J. P. (Chairman)
20102012

Activity: MembershipMembership in review committee

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

Gallagher, J. P. (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Association for Logic Programming (External organisation)

Gallagher, J. P. (Chairman)
1 Aug 201010 Jul 2011

Activity: MembershipMembership in committee, council, board

Association for Computing Machinery (External organisation)

Gallagher, J. P. (Member)
20102011

Activity: MembershipMembership in committee, council, board

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

Gallagher, J. P. (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Higher-Order and Symbolic Computation (Journal)

Gallagher, J. P. (Editor)
20102011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Higher Order and Symbolic Computation (Journal)

Gallagher, J. P. (Peer reviewer)
2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Gallagher, J. P. (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Science Research Council Belgium (FUNDP) (External organisation)

Gallagher, J. P. (Member)
2010

Activity: MembershipMembership in review committee

Abstract interpretation of temporal logic: abstract model checking revisited

Gallagher, J. P. (Lecturer)
19 Aug 2010

Activity: Talk or presentationLecture and oral contribution

File

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

Gallagher, J. P. (Lecturer)
7 Jul 2010

Activity: Talk or presentationLecture and oral contribution

Association for Computing Machinery (External organisation)

Gallagher, J. P. (Chairman)
1 Jun 200919 Jan 2010

Activity: MembershipMembership in committee, council, board

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

Gallagher, J. P. (Chairman)
1 Mar 200914 Jul 2009

Activity: MembershipMembership in committee, council, board

Methods for Modalities (External organisation)

Gallagher, J. P. (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

Acm Sigplan (External organisation)

Gallagher, J. P. (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

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

Gallagher, J. P. (Member)
Oct 2009

Activity: MembershipMembership in review committee

Universidad Politecnica de Madrid (External organisation)

Gallagher, J. P. (Member)
Oct 2009

Activity: MembershipMembership in review committee

Seminar on Virtual Archaeology

Gallagher, J. P. (Organizer)
14 May 2009

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

Journal of Symbolic Computation in Software Science (Journal)

Gallagher, J. P. (Peer reviewer)
2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Gallagher, J. P. (Member)
2008

Activity: MembershipMembership in committee, council, board

IMDEA-Software Institute Scientific Advisory Board (External organisation)

Gallagher, J. P. (Member)
1 Jan 200831 Aug 2008

Activity: MembershipMembership in committee, council, board

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

Gallagher, J. P. (Member)
20082009

Activity: MembershipMembership in committee, council, board

Association for Logic Programming (External organisation)

Gallagher, J. P. (Member)
20082011

Activity: MembershipMembership in committee, council, board

Invited Talk: Scalable Static Analysis based on Regular Types

Gallagher, J. P. (Lecturer)
Oct 2008

Activity: Talk or presentationLecture and oral contribution

Eleventh International Symposium on Practical Aspects of Declarative Languages PADL 09 (External organisation)

Gallagher, J. P. (Member)
20082009

Activity: MembershipMembership in committee, council, board

Information and Computation (Journal)

Gallagher, J. P. (Peer reviewer)
20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Gallagher, J. P. (Member)
2008

Activity: MembershipMembership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

Gallagher, J. P. (Member)
2008

Activity: MembershipMembership in committee, council, board

Linköpings universitet (External organisation)

Gallagher, J. P. (Member)
Feb 2008

Activity: MembershipMembership in review committee

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Peer reviewer)
20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Invited speaker, PROLE'2007, Zaragoza, Spain

Gallagher, J. P. (Lecturer)
14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
20072011

Activity: Editorial work and peer reviewEditor of Research journalResearch

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

Gallagher, J. P. (Peer reviewer)
20062011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Regular types, modes and model checking: Invited Talk

Gallagher, J. P. (Speaker)
2004

Activity: Lecture and oral contribution

File