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