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

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
20112017

Activity: Editor of Research journalResearch

11th Scandinavian Conference on Artificial Intelligence (External organisation)

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

Activity: Membership in committee, council, board

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. (Peer reviewer)
2010

Activity: Peer review of manuscriptsResearch

Higher-Order and Symbolic Computation (Journal)

Gallagher, J. P. (Editor)
20102011

Activity: Editor of Research journalResearch

Association for Logic Programming (External organisation)

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

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

Trinity College Dublin (External organisation)

Gallagher, J. P. (Chairman)
20102012

Activity: Membership in review committee

Association for Computing Machinery (External organisation)

Gallagher, J. P. (Member)
20102011

Activity: Membership in committee, council, board

File

Journal of Symbolic Computation in Software Science (Journal)

Gallagher, J. P. (Peer reviewer)
2009

Activity: Peer review of manuscriptsResearch

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

Seminar on Virtual Archaeology

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

Activity: Organisation and participation in conference

Association for Computing Machinery (External organisation)

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

Activity: Membership in committee, council, board

Methods for Modalities (External organisation)

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

Activity: Membership in committee, council, board

Acm Sigplan (External organisation)

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

Activity: Membership in committee, council, board

Universidad Politecnica de Madrid (External organisation)

Gallagher, J. P. (Member)
Oct 2009

Activity: Membership in review committee

Association for Logic Programming (External organisation)

Gallagher, J. P. (Member)
20082011

Activity: Membership in committee, council, board

IMDEA-Software Institute Scientific Advisory Board (External organisation)

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

Activity: Membership in committee, council, board

Information and Computation (Journal)

Gallagher, J. P. (Peer reviewer)
20082010

Activity: Peer review of manuscriptsResearch

Invited Talk: Scalable Static Analysis based on Regular Types

Gallagher, J. P. (Lecturer)
Oct 2008

Activity: Lecture and oral contribution

Linköpings universitet (External organisation)

Gallagher, J. P. (Member)
Feb 2008

Activity: Membership in review committee

Scandinavian Conference on Artificial Intelligence (External organisation)

Gallagher, J. P. (Member)
2008

Activity: Membership in committee, council, board

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Peer reviewer)
20082010

Activity: Peer review of manuscriptsResearch

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