Activities per year
Activities
- 47 results
Search results
-
Fundamenta Informaticae (Journal)
Gallagher, J. P. (Editor)
2020Activity: Editorial work and peer review › Editor of Research journal › Research
-
Energy-aware software engineering
Gallagher, J. P. (Speaker)
1 Nov 2019Activity: Talk or presentation › Lecture and oral contribution
-
Virtual Reality, Learning and Experience - seminar at Roskilde University
Larsen, S. (Organizer), Svabo, C. (Organizer), Gürsimsek, R. A. (Organizer), Abrantes, E. (Organizer), Gallagher, J. P. (Organizer), Jensen, S. S. (Organizer), Andreasen, T. (Organizer), Jepsen, P. M. (Organizer) & Pande, P. (Organizer)
21 Aug 2019Activity: Participating in or organising an event › Organisation and participation in conference
-
Fourteenth International Symposium on Functional and Logic Programming (Event)
Gallagher, J. P. (Editor)
2018Activity: Editorial work and peer review › Editor of Research journal › Research
-
LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Event)
Gallagher, J. P. (Editor)
2017Activity: Editorial work and peer review › Editor of Research journal › Research
-
Theory and Practice of Logic Programming (Journal)
Gallagher, J. P. (Editor)
1 Jan 2012 → 31 Dec 2016Activity: Editorial work and peer review › Editor of Research journal › Research
-
Program Analysis With Regular Tree Languages
Gallagher, J. P. (Lecturer)
19 Jul 2011Activity: Talk or presentation › Lecture and oral contribution
File -
Theory and Practice of Logic Programming (Journal)
Gallagher, J. P. (Editor)
15 Jan 2011 → 10 Jul 2011Activity: Editorial work and peer review › Editor of Research journal › Research
-
11th Scandinavian Conference on Artificial Intelligence (External organisation)
Gallagher, J. P. (Member)
2011 → …Activity: Membership › Membership in committee, council, board
-
Theory and Practice of Logic Programming (Journal)
Gallagher, J. P. (Editor)
2011 → 2017Activity: Editorial work and peer review › Editor of Research journal › Research
-
Abstract interpretation of temporal logic: abstract model checking revisited
Gallagher, J. P. (Lecturer)
19 Aug 2010Activity: Talk or presentation › Lecture and oral contribution
File -
Association for Logic Programming (External organisation)
Gallagher, J. P. (Chairman)
1 Aug 2010 → 10 Jul 2011Activity: Membership › Membership in committee, council, board
-
Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking
Gallagher, J. P. (Lecturer)
7 Jul 2010Activity: Talk or presentation › Lecture and oral contribution
-
Association for Computing Machinery (External organisation)
Gallagher, J. P. (Member)
2010 → 2011Activity: Membership › Membership in committee, council, board
-
International Symposium on Logic-based Program Synthesis and Transformation (External organisation)
Gallagher, J. P. (Member)
2010 → …Activity: Membership › Membership in committee, council, board
-
Trinity College Dublin (External organisation)
Gallagher, J. P. (Chairman)
2010 → 2012Activity: Membership › Membership in review committee
-
International Conference on Logic Programming (ICLP’08) (External organisation)
Gallagher, J. P. (Member)
2010 → …Activity: Membership › Membership in committee, council, board
-
Higher Order and Symbolic Computation (Journal)
Gallagher, J. P. (Peer reviewer)
2010Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Science Research Council Belgium (FUNDP) (External organisation)
Gallagher, J. P. (Member)
2010Activity: Membership › Membership in review committee
-
Higher-Order and Symbolic Computation (Journal)
Gallagher, J. P. (Editor)
2010 → 2011Activity: Editorial work and peer review › Editor of Research journal › Research
-
Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (External organisation)
Gallagher, J. P. (Member)
2010 → …Activity: Membership › Membership in committee, council, board
-
University of Rennes (External organisation)
Gallagher, J. P. (Member)
Oct 2009Activity: Membership › Membership in review committee
-
Universidad Politécnica de Madrid (External organisation)
Gallagher, J. P. (Member)
Oct 2009Activity: Membership › Membership in review committee
-
Association for Computing Machinery (External organisation)
Gallagher, J. P. (Chairman)
1 Jun 2009 → 19 Jan 2010Activity: Membership › Membership in committee, council, board
-
Seminar on Virtual Archaeology
Gallagher, J. P. (Organizer)
14 May 2009Activity: Participating in or organising an event › Organisation and participation in conference
-
The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (External organisation)
Gallagher, J. P. (Chairman)
1 Mar 2009 → 14 Jul 2009Activity: Membership › Membership in committee, council, board
-
Methods for Modalities (External organisation)
Gallagher, J. P. (Member)
2009 → …Activity: Membership › Membership in committee, council, board
-
Journal of Symbolic Computation in Software Science (Journal)
Gallagher, J. P. (Peer reviewer)
2009Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Distinguished Dissertation Award Reviewer - GULP Association (Group of Users and researchers of Logic Programming (External organisation)
Gallagher, J. P. (Member)
2009Activity: Membership › Membership in review committee
-
ACM Special Interest Group on Programming Languages (SIGPLAN) (External organisation)
Gallagher, J. P. (Member)
2009 → …Activity: Membership › Membership in committee, council, board
-
19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009 (External organisation)
Gallagher, J. P. (Member)
2009 → …Activity: Membership › Membership in committee, council, board
-
Invited Talk: Scalable Static Analysis based on Regular Types
Gallagher, J. P. (Lecturer)
Oct 2008Activity: Talk or presentation › Lecture and oral contribution
-
Linköping University (External organisation)
Gallagher, J. P. (Member)
Feb 2008Activity: Membership › Membership in review committee
-
IMDEA-Software Institute Scientific Advisory Board (External organisation)
Gallagher, J. P. (Member)
1 Jan 2008 → 31 Aug 2008Activity: Membership › Membership in committee, council, board
-
Eleventh International Symposium on Practical Aspects of Declarative Languages PADL 09 (External organisation)
Gallagher, J. P. (Member)
2008 → 2009Activity: Membership › Membership in committee, council, board
-
Association for Logic Programming (External organisation)
Gallagher, J. P. (Member)
2008 → 2011Activity: Membership › Membership in committee, council, board
-
Theory and Practice of Logic Programming (Journal)
Gallagher, J. P. (Peer reviewer)
2008 → 2010Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
ACM Special Interest Group on Programming Languages (SIGPLAN) (External organisation)
Gallagher, J. P. (Member)
2008 → 2009Activity: Membership › Membership in committee, council, board
-
Scandinavian Conference on Artificial Intelligence (External organisation)
Gallagher, J. P. (Member)
2008Activity: Membership › Membership in committee, council, board
-
The 15th International Static Analysis Symposium SAS 2008 (External organisation)
Gallagher, J. P. (Member)
2008Activity: Membership › Membership in committee, council, board
-
International Conference on Logic Programming (ICLP’08) (External organisation)
Gallagher, J. P. (Member)
2008Activity: Membership › Membership in committee, council, board
-
5th International Workshop on Constraints and Language Processing (CSLP2008) (External organisation)
Gallagher, J. P. (Member)
2008Activity: Membership › Membership in committee, council, board
-
Information and Computation (Journal)
Gallagher, J. P. (Peer reviewer)
2008 → 2010Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Invited speaker, PROLE'2007, Zaragoza, Spain
Gallagher, J. P. (Lecturer)
14 Sept 2007Activity: Talk or presentation › Lecture and oral contribution
-
Theory and Practice of Logic Programming (Journal)
Gallagher, J. P. (Editor)
2007 → 2011Activity: Editorial work and peer review › Editor of Research journal › Research
-
ACM Transactions on Programming Languages and Systems (TOPLAS) (Journal)
Gallagher, J. P. (Peer reviewer)
2006 → 2011Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Regular types, modes and model checking: Invited Talk
Gallagher, J. P. (Speaker)
2004Activity: Talk or presentation › Lecture and oral contribution
File