Activities per year
Activities 2004 2019
Energy-aware software engineering
John Patrick Gallagher (Speaker)1 Nov 2019
Activity: Talk or presentation › Lecture and oral contribution
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)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
Theory and Practice of Logic Programming (Journal)
John Patrick Gallagher (Editor)2011 → 2017
Activity: Editorial work and peer review › Editor of Research journal › Research
Association for Computing Machinery (External organisation)
John Patrick Gallagher (Member)2010 → 2011
Activity: Membership › Membership in committee, council, board
Higher Order and Symbolic Computation (Journal)
John Patrick Gallagher (Peer reviewer)2010
Activity: Editorial work and peer review › Peer review of manuscripts › Research
Higher-Order and Symbolic Computation (Journal)
John Patrick Gallagher (Editor)2010 → 2011
Activity: Editorial work and peer review › Editor of Research journal › Research
Trinity College Dublin (External organisation)
John Patrick Gallagher (Chairman)2010 → 2012
Activity: Membership › Membership in review committee
International Symposium on Logic-based Program Synthesis and Transformation (External organisation)
John Patrick Gallagher (Member)2010 → …
Activity: Membership › Membership in committee, council, board
International Conference on Logic Programming (ICLP’08) (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
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
Association for Logic Programming (External organisation)
John Patrick Gallagher (Chairman)1 Aug 2010 → 10 Jul 2011
Activity: Membership › Membership in committee, council, board
Science Research Council Belgium (FUNDP) (External organisation)
John Patrick Gallagher (Member)2010
Activity: Membership › Membership in review committee
Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (External organisation)
John Patrick Gallagher (Member)2010 → …
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
Methods for Modalities (External organisation)
John Patrick Gallagher (Member)2009 → …
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
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
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
Acm Sigplan (External organisation)
John Patrick Gallagher (Member)2009 → …
Activity: Membership › Membership in committee, council, board
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
Universidad Politecnica de Madrid (External organisation)
John Patrick Gallagher (Member)Oct 2009
Activity: Membership › Membership in review committee
Seminar on Virtual Archaeology
John Patrick Gallagher (Organizer)14 May 2009
Activity: Participating in or organising an event › Organisation and participation in conference
5th International Workshop on Constraints and Language Processing (CSLP2008) (External organisation)
John Patrick Gallagher (Member)2008
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
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
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
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
Invited Talk: Scalable Static Analysis based on Regular Types
John Patrick Gallagher (Lecturer)Oct 2008
Activity: Talk or presentation › Lecture and oral contribution
The 15th International Static Analysis Symposium SAS 2008 (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
International Conference on Logic Programming (ICLP’08) (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
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
Linköpings universitet (External organisation)
John Patrick Gallagher (Member)Feb 2008
Activity: Membership › Membership in review committee
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