John Patrick Gallagher

Activities

Activities per year

2004 2020

• 19 Membership in committee, council, board
• 8 Editor of Research journal
• 7 Lecture and oral contribution
• 6 Membership in review committee
• 7 More
  • 5 Peer review of manuscripts
  • 2 Organisation and participation in conference

Activities per year

Search results

• 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

• 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

• 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

• Higher Order and Symbolic Computation (Journal)

  John Patrick Gallagher (Peer reviewer)

  2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Association for Logic Programming (External organisation)

  John Patrick Gallagher (Chairman)

  1 Aug 2010 → 10 Jul 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

• 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

• Science Research Council Belgium (FUNDP) (External organisation)

  John Patrick Gallagher (Member)

  2010

  Activity: Membership › Membership in review committee

• 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 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

• Higher-Order and Symbolic Computation (Journal)

  John Patrick Gallagher (Editor)

  2010 → 2011

  Activity: Editorial work and peer review › Editor of Research journal › Research

• 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

• 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

• Seminar on Virtual Archaeology

  John Patrick Gallagher (Organizer)

  14 May 2009

  Activity: Participating in or organising an event › Organisation and participation in conference

• Association for Computing Machinery (External organisation)

  John Patrick Gallagher (Chairman)

  1 Jun 2009 → 19 Jan 2010

  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

• 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

• Universidad Politecnica de Madrid (External organisation)

  John Patrick Gallagher (Member)

  Oct 2009

  Activity: Membership › Membership in review committee

• Invited Talk: Scalable Static Analysis based on Regular Types

  John Patrick Gallagher (Lecturer)

  Oct 2008

  Activity: Talk or presentation › Lecture and oral contribution

• International Conference on Logic Programming (ICLP’08) (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

• 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

• 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

• 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

• 5th International Workshop on Constraints and Language Processing (CSLP2008) (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

• Association for Logic Programming (External organisation)

  John Patrick Gallagher (Member)

  2008 → 2011

  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

• Linköpings universitet (External organisation)

  John Patrick Gallagher (Member)

  Feb 2008

  Activity: Membership › Membership in review committee

• 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 (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