Activities per year
Activities 2004 2018
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
The 27th 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
11th Scandinavian Conference on Artificial Intelligence (External organisation)
John Patrick Gallagher (Member)2011 → …
Activity: Membership › Membership in committee, council, board
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
Theory and Practice of Logic Programming (Journal)
John Patrick Gallagher (Editor)2011 → 2017
Activity: Editorial work and peer review › Editor of Research journal › Research
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
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
Trinity College Dublin (External organisation)
John Patrick Gallagher (Chairman)2010 → 2012
Activity: Membership › Membership in review committee
Association for Logic Programming (External organisation)
John Patrick Gallagher (Chairman)1 Aug 2010 → 10 Jul 2011
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
Higher Order and Symbolic Computation (Journal)
John Patrick Gallagher (Peer reviewer)2010
Activity: Editorial work and peer review › Peer review of manuscripts › Research
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
International Symposium on Logic-based Program Synthesis and Transformation (External organisation)
John Patrick Gallagher (Member)2010 → …
Activity: Membership › Membership in committee, council, board
Methods for Modalities (External organisation)
John Patrick Gallagher (Member)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
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
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
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
Association for Computing Machinery (External organisation)
John Patrick Gallagher (Chairman)1 Jun 2009 → 19 Jan 2010
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
Acm Sigplan (External organisation)
John Patrick Gallagher (Member)2009 → …
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
Scandinavian Conference on Artificial Intelligence (External organisation)
John Patrick Gallagher (Member)2008
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
The 15th International Static Analysis Symposium SAS 2008 (External organisation)
John Patrick Gallagher (Member)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
Invited Talk: Scalable Static Analysis based on Regular Types
John Patrick Gallagher (Lecturer)Oct 2008
Activity: Talk or presentation › Lecture and oral contribution
5th International Workshop on Constraints and Language Processing (CSLP2008) (External organisation)
John Patrick Gallagher (Member)2008
Activity: Membership › Membership in committee, council, board
Linköpings universitet (External organisation)
John Patrick Gallagher (Member)Feb 2008
Activity: Membership › Membership in review committee
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
Association for Logic Programming (External organisation)
John Patrick Gallagher (Member)2008 → 2011
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
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