John Patrick Gallagher

Søgeresultater

• Fundamenta Informaticae (Tidsskrift)

  John Patrick Gallagher (Redaktør)

  2020

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning

• Energy-aware software engineering

  John Patrick Gallagher (Oplægsholder)

  1 nov. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Virtual Reality, Learning and Experience - seminar at Roskilde University

  Søren Larsen (Arrangør), Connie Svabo (Arrangør), Remzi Ates Gürsimsek (Arrangør), Eduardo Abrantes (Arrangør), John Patrick Gallagher (Arrangør), Sisse Siggaard Jensen (Arrangør), Troels Andreasen (Arrangør), Per Meyer Jepsen (Arrangør) & Prajakt Pande (Arrangør)

  21 aug. 2019

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Fourteenth International Symposium on Functional and Logic Programming (Begivenhed)

  John Patrick Gallagher (Redaktør)

  2018

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning

• LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Begivenhed)

  John Patrick Gallagher (Redaktør)

  2017

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning

• Theory and Practice of Logic Programming (Tidsskrift)

  John Patrick Gallagher (Redaktør)

  1 jan. 2012 → 31 dec. 2016

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning

• Program Analysis With Regular Tree Languages

  John Patrick Gallagher (Foredragsholder)

  19 jul. 2011

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

  Fil

• Theory and Practice of Logic Programming (Tidsskrift)

  John Patrick Gallagher (Redaktør)

  15 jan. 2011 → 10 jul. 2011

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning

• Theory and Practice of Logic Programming (Tidsskrift)

  John Patrick Gallagher (Redaktør)

  2011 → 2017

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning

• 11th Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2011 → …

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Abstract interpretation of temporal logic: abstract model checking revisited

  John Patrick Gallagher (Foredragsholder)

  19 aug. 2010

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

  Fil

• Association for Logic Programming (Ekstern organisation)

  John Patrick Gallagher (Formand)

  1 aug. 2010 → 10 jul. 2011

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

  John Patrick Gallagher (Foredragsholder)

  7 jul. 2010

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Higher Order and Symbolic Computation (Tidsskrift)

  John Patrick Gallagher (Fagfællebedømmer)

  2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2010 → …

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Trinity College Dublin (Ekstern organisation)

  John Patrick Gallagher (Formand)

  2010 → 2012

  Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg

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

  John Patrick Gallagher (Medlem)

  2010

  Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg

• International Symposium on Logic-based Program Synthesis and Transformation (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2010 → …

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Association for Computing Machinery (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2010 → 2011

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• International Conference on Logic Programming (ICLP’08) (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2010 → …

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Higher-Order and Symbolic Computation (Tidsskrift)

  John Patrick Gallagher (Redaktør)

  2010 → 2011

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning

• Doctoral Examiner (Habilitation) University of Rennes (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  okt. 2009

  Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg

• Universidad Politécnica de Madrid (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  okt. 2009

  Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg

• Association for Computing Machinery (Ekstern organisation)

  John Patrick Gallagher (Formand)

  1 jun. 2009 → 19 jan. 2010

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Seminar on Virtual Archaeology

  John Patrick Gallagher (Arrangør)

  14 maj 2009

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (Ekstern organisation)

  John Patrick Gallagher (Formand)

  1 mar. 2009 → 14 jul. 2009

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Acm Sigplan (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2009 → …

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Methods for Modalities (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2009 → …

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• 19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009 (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2009 → …

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Distinguished Dissertation Award Reviewer - GULP Association (Group of Users and researchers of Logic Programming (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2009

  Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg

• Journal of Symbolic Computation in Software Science (Tidsskrift)

  John Patrick Gallagher (Fagfællebedømmer)

  2009

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Invited Talk: Scalable Static Analysis based on Regular Types

  John Patrick Gallagher (Foredragsholder)

  okt. 2008

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Linköping Universitet (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  feb. 2008

  Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg

• IMDEA-Software Institute Scientific Advisory Board (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  1 jan. 2008 → 31 aug. 2008

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• 5th International Workshop on Constraints and Language Processing (CSLP2008) (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2008

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Theory and Practice of Logic Programming (Tidsskrift)

  John Patrick Gallagher (Fagfællebedømmer)

  2008 → 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Information and Computation (Tidsskrift)

  John Patrick Gallagher (Fagfællebedømmer)

  2008 → 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Eleventh International Symposium on Practical Aspects of Declarative Languages PADL 09 (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2008 → 2009

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• International Conference on Logic Programming (ICLP’08) (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2008

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• 18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2008 → 2009

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Association for Logic Programming (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2008 → 2011

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2008

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• The 15th International Static Analysis Symposium SAS 2008 (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2008

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Tree Automata: A Versatile Tool in Program Analysis

  John Patrick Gallagher (Foredragsholder)

  14 sep. 2007

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Theory and Practice of Logic Programming (Tidsskrift)

  John Patrick Gallagher (Redaktør)

  2007 → 2011

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning

• ACM Transactions on Programming Languages and Systems (TOPLAS) (Tidsskrift)

  John Patrick Gallagher (Fagfællebedømmer)

  2006 → 2011

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Regular types, modes and model checking: Invited Talk

  John Patrick Gallagher (Oplægsholder)

  2004

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

  Fil