Aktiviteter 2004 2018

Theory and Practice of Logic Programming (Tidsskrift)

Gallagher, J. P. (Redaktør)
1 jan. 201231 dec. 2016

Aktivitet: ForskningRedaktør af tidsskrift

11th Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

Gallagher, J. P. (Medlem)
2011 → …

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

Theory and Practice of Logic Programming (Tidsskrift)

Gallagher, J. P. (Redaktør)
20112017

Aktivitet: ForskningRedaktør af tidsskrift

Theory and Practice of Logic Programming (Tidsskrift)

Gallagher, J. P. (Redaktør)
15 jan. 201110 jul. 2011

Aktivitet: ForskningRedaktør af tidsskrift

Program Analysis With Regular Tree Languages

Gallagher, J. P. (Foredragsholder)
19 jul. 2011

Aktivitet: Foredrag og mundtlige bidrag

Fil

Abstract interpretation of temporal logic: abstract model checking revisited

Gallagher, J. P. (Foredragsholder)
19 aug. 2010

Aktivitet: Foredrag og mundtlige bidrag

Fil

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

Gallagher, J. P. (Foredragsholder)
7 jul. 2010

Aktivitet: Foredrag og mundtlige bidrag

Association for Computing Machinery (Ekstern organisation)

Gallagher, J. P. (Medlem)
20102011

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

Association for Logic Programming (Ekstern organisation)

Gallagher, J. P. (Formand)
1 aug. 201010 jul. 2011

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

Trinity College Dublin (Ekstern organisation)

Gallagher, J. P. (Formand)
20102012

Aktivitet: Medlemskab af bedømmelsesudvalg

Science Research Council Belgium (FUNDP) (Ekstern organisation)

Gallagher, J. P. (Medlem)
2010

Aktivitet: Medlemskab af bedømmelsesudvalg

Higher Order and Symbolic Computation (Tidsskrift)

Gallagher, J. P. (Fagfællebedømmer)
2010

Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

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

Gallagher, J. P. (Medlem)
2010 → …

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

Higher-Order and Symbolic Computation (Tidsskrift)

Gallagher, J. P. (Redaktør)
20102011

Aktivitet: ForskningRedaktør af tidsskrift

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

Gallagher, J. P. (Formand)
1 mar. 200914 jul. 2009

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

Association for Computing Machinery (Ekstern organisation)

Gallagher, J. P. (Formand)
1 jun. 200919 jan. 2010

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

Journal of Symbolic Computation in Software Science (Tidsskrift)

Gallagher, J. P. (Fagfællebedømmer)
2009

Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

Methods for Modalities (Ekstern organisation)

Gallagher, J. P. (Medlem)
2009 → …

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

Acm Sigplan (Ekstern organisation)

Gallagher, J. P. (Medlem)
2009 → …

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

Seminar on Virtual Archaeology

Gallagher, J. P. (Arrangør)
14 maj 2009

Aktivitet: Organisation og deltagelse i konference

Universidad Politecnica de Madrid (Ekstern organisation)

Gallagher, J. P. (Medlem)
okt. 2009

Aktivitet: Medlemskab af bedømmelsesudvalg

Association for Logic Programming (Ekstern organisation)

Gallagher, J. P. (Medlem)
20082011

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

Theory and Practice of Logic Programming (Tidsskrift)

Gallagher, J. P. (Fagfællebedømmer)
20082010

Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

Invited Talk: Scalable Static Analysis based on Regular Types

Gallagher, J. P. (Foredragsholder)
okt. 2008

Aktivitet: Foredrag og mundtlige bidrag

Information and Computation (Tidsskrift)

Gallagher, J. P. (Fagfællebedømmer)
20082010

Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

Linköpings universitet (Ekstern organisation)

Gallagher, J. P. (Medlem)
feb. 2008

Aktivitet: Medlemskab af bedømmelsesudvalg

IMDEA-Software Institute Scientific Advisory Board (Ekstern organisation)

Gallagher, J. P. (Medlem)
1 jan. 200831 aug. 2008

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

Tree Automata: A Versatile Tool in Program Analysis

Gallagher, J. P. (Foredragsholder)
14 sep. 2007

Aktivitet: Foredrag og mundtlige bidrag

Theory and Practice of Logic Programming (Tidsskrift)

Gallagher, J. P. (Redaktør)
20072011

Aktivitet: ForskningRedaktør af tidsskrift

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

Gallagher, J. P. (Fagfællebedømmer)
20062011

Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

Regular types, modes and model checking: Invited Talk

Gallagher, J. P. (Oplægsholder)
2004

Aktivitet: Foredrag og mundtlige bidrag

Fil