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

Theory and Practice of Logic Programming (Journal)

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

Activity: Editor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

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

Activity: Editor of Research journalResearch

11th Scandinavian Conference on Artificial Intelligence (External organisation)

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

Activity: Membership in committee, council, board

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
20112017

Activity: Editor of Research journalResearch

Program Analysis With Regular Tree Languages

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

Activity: Lecture and oral contribution

File

Higher-Order and Symbolic Computation (Journal)

Gallagher, J. P. (Editor)
20102011

Activity: Editor of Research journalResearch

Higher Order and Symbolic Computation (Journal)

Gallagher, J. P. (Peer reviewer)
2010

Activity: Peer review of manuscriptsResearch

Trinity College Dublin (External organisation)

Gallagher, J. P. (Chairman)
20102012

Activity: Membership in review committee

Association for Logic Programming (External organisation)

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

Activity: Membership in committee, council, board

Association for Computing Machinery (External organisation)

Gallagher, J. P. (Member)
20102011

Activity: Membership in committee, council, board

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

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

Activity: Membership in committee, council, board

File

Acm Sigplan (External organisation)

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

Activity: Membership 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: Membership in committee, council, board

Association for Computing Machinery (External organisation)

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

Activity: Membership in committee, council, board

Journal of Symbolic Computation in Software Science (Journal)

Gallagher, J. P. (Peer reviewer)
2009

Activity: Peer review of manuscriptsResearch

Universidad Politecnica de Madrid (External organisation)

Gallagher, J. P. (Member)
Oct 2009

Activity: Membership in review committee

Methods for Modalities (External organisation)

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

Activity: Membership in committee, council, board

Seminar on Virtual Archaeology

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

Activity: Organisation and participation in conference

Linköpings universitet (External organisation)

Gallagher, J. P. (Member)
Feb 2008

Activity: Membership in review committee

Invited Talk: Scalable Static Analysis based on Regular Types

Gallagher, J. P. (Lecturer)
Oct 2008

Activity: Lecture and oral contribution

Information and Computation (Journal)

Gallagher, J. P. (Peer reviewer)
20082010

Activity: Peer review of manuscriptsResearch

Scandinavian Conference on Artificial Intelligence (External organisation)

Gallagher, J. P. (Member)
2008

Activity: Membership in committee, council, board

Association for Logic Programming (External organisation)

Gallagher, J. P. (Member)
20082011

Activity: Membership in committee, council, board

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Peer reviewer)
20082010

Activity: Peer review of manuscriptsResearch

IMDEA-Software Institute Scientific Advisory Board (External organisation)

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

Activity: Membership in committee, council, board

Invited speaker, PROLE'2007, Zaragoza, Spain

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

Activity: Lecture and oral contribution

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
20072011

Activity: Editor of Research journalResearch

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

Gallagher, J. P. (Peer reviewer)
20062011

Activity: Peer review of manuscriptsResearch

Regular types, modes and model checking: Invited Talk

Gallagher, J. P. (Speaker)
2004

Activity: Lecture and oral contribution

File