Programmering, logik og intelligente systemer

Aktiviteter

Aktiviteter pr. år 1999 2007 2008 2009 2010 2024

• 99 Organisation og deltagelse i konference
• 93 Medlemskab af udvalg, råd og nævn
• 89 Foredrag og mundtlige bidrag
• 41 Peer reviewer/fagfællebedømmer af manuskripter
• 106 Mere
  • 29 Deltagelse i workshop, seminar og kursus
  • 27 Medlemskab af bedømmelsesudvalg
  • 15 Eksamination
  • 11 Besøger en ekstern, akademisk institution
  • 9 Redaktør af tidsskrift
  • 7 Andet
  • 4 Vært for en akademisk besøgende
  • 2 Medlemskab af forskningsnetværk
  • 1 Redaktør af uafslutttet antologi/samleværk
  • 1 Medlemskab af styrelse i virksomhed eller organisation

Aktiviteter pr. år

Søgeresultater

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

  Gallagher, J. P. (Medlem)

  2010 → …

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

• Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (Ekstern organisation)

  Braüner, T. (Medlem)

  12 nov. 2009 → 14 nov. 2009

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

• Frontiers of Combining Systems (FroCoS 2009) (Ekstern organisation)

  Braüner, T. (Medlem)

  16 sep. 2009 → 18 sep. 2009

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 aug. 2009 → 31 jul. 2010

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

• International Workshop on Hybrid Logic (Ekstern organisation)

  Braüner, T. (Medlem)

  15 jul. 2009 → 17 jul. 2009

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

• The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Ekstern organisation)

  Braüner, T. (Medlem)

  7 jul. 2009 → 10 jul. 2009

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 jul. 2009 → 30 jun. 2010

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

• Association for Computing Machinery (Ekstern organisation)

  Gallagher, J. P. (Formand)

  1 jun. 2009 → 19 jan. 2010

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

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

  Gallagher, J. P. (Formand)

  1 mar. 2009 → 14 jul. 2009

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

• ACM Special Interest Group on Programming Languages (SIGPLAN) (Ekstern organisation)

  Gallagher, J. P. (Medlem)

  2009 → …

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

• Methods for Modalities (Ekstern organisation)

  Gallagher, J. P. (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)

  Gallagher, J. P. (Medlem)

  2009 → …

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

• Advisory board member, FQAS2009 Flexible Query Answering Systems (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 dec. 2008 → 30 nov. 2009

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Formand)

  1 dec. 2008 → 30 nov. 2009

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

• Flexible Query Answering Systems (Ekstern organisation)

  Andreasen, T. (Formand)

  1 dec. 2008 → 30 nov. 2009

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 aug. 2008 → 31 jul. 2009

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 aug. 2008 → 31 jul. 2009

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 aug. 2008 → 31 jul. 2009

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 jul. 2008 → 30 jun. 2009

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

• Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

  Braüner, T. (Medlem)

  26 maj 2008 → 28 maj 2008

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

• Editorial Advisory Board of the Handbook of Research on Fuzzy Information Processing in Databases (Ed. Idea Group Inc.) (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 jan. 2008 → 1 jun. 2008

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

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

  Gallagher, J. P. (Medlem)

  1 jan. 2008 → 31 aug. 2008

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

• Springer (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 jan. 2008 → 31 dec. 2010

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

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

  Gallagher, J. P. (Medlem)

  2008

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

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

  Gallagher, J. P. (Medlem)

  2008

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

• ACM Special Interest Group on Programming Languages (SIGPLAN) (Ekstern organisation)

  Gallagher, J. P. (Medlem)

  2008 → 2009

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

• Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

  Gallagher, J. P. (Medlem)

  2008

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

• Association for Logic Programming (Ekstern organisation)

  Gallagher, J. P. (Medlem)

  2008 → 2011

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

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

  Gallagher, J. P. (Medlem)

  2008

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

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

  Gallagher, J. P. (Medlem)

  2008 → 2009

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 sep. 2007 → 31 jul. 2008

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 aug. 2007 → 31 jul. 2008

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

• EUSFLAT European Society for Fuzzy Logic and Technology (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 aug. 2007 → 31 dec. 2011

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 aug. 2007 → 31 jul. 2008

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

• Program Committee, WSEAS 2008 12th WSEAS International Conference on COMPUTERS (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 aug. 2007 → 31 jul. 2008

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

• Program Committee (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 jul. 2007 → 30 jun. 2008

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

• EUSFLAT European Society for Fuzzy Logic and Technology (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 jan. 2007 → 31 dec. 2012

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

• ACM Special Interest Group on Information Retrieval (SIGIR) (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 jan. 2005 → 31 dec. 2012

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

• ACM Special Interest Group on Management of Data (SIGMOD) (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 jan. 2005 → 31 dec. 2012

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

• ACM Special Interest Group on Computer-Human Interaction (SIGCHI) (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 jan. 2005 → 31 dec. 2012

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

• Danmarks Tekniske Universitet (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 aug. 2002 → 31 dec. 2002

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

• IEEE Systems Man and Cybernetics Society (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 jan. 2001 → 31 jan. 2012

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

• Aalborg Universitet (Ekstern organisation)

  Andreasen, T. (Medlem)

  1 feb. 1999 → 1 jun. 1999

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