Programmering, logik og intelligente systemer

Aktiviteter

Aktiviteter pr. år 1999 2007 2008 2009 2010 2021

• 93 Organisation og deltagelse i konference
• 79 Foredrag og mundtlige bidrag
• 76 Medlemskab af udvalg, råd og nævn
• 36 Peer reviewer/fagfællebedømmer af manuskripter
• 93 Mere
  • 25 Deltagelse i workshop, seminar og kursus
  • 25 Medlemskab af bedømmelsesudvalg
  • 11 Besøger en ekstern, akademisk institution
  • 10 Eksamination
  • 9 Redaktør af tidsskrift
  • 7 Andet
  • 4 Vært for en akademisk besøgende
  • 1 Medlemskab af styrelse i virksomhed eller organisation
  • 1 Medlemskab af forskningsnetværk

Aktiviteter pr. år

Søgeresultater

• 31st International Symposium onLogic-based Program Synthesis and Transformation (Begivenhed)

  Maja Hanne Kirkeby (Medlem)

  7 sep. 2021

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

• 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (Begivenhed)

  Maja Hanne Kirkeby (Medlem)

  20 jun. 2021

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

• 20th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (Begivenhed)

  Maja Hanne Kirkeby (Medlem)

  17 aug. 2021

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

• The 12th International Symposium on Frontiers of Combining Systems (Begivenhed)

  Torben Braüner (Medlem)

  4 sep. 2019 → 6 sep. 2019

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

• the Young Scientist's Third International Workshop on Trends in Information Processing 2019 (Begivenhed)

  Maja Hanne Kirkeby (Medlem)

  17 sep. 2019

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

• Eighth Indian Conference on Logic and its Applications 2019 (Begivenhed)

  Torben Braüner (Medlem)

  1 mar. 2019 → 5 mar. 2019

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

• 25th Workshop on Logic, Language, Information and Computation (Begivenhed)

  Torben Braüner (Medlem)

  24 jul. 2018 → 27 jul. 2018

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

• 9th International Joint Conference on Automated Reasoning (Begivenhed)

  Torben Braüner (Medlem)

  14 jul. 2018 → 17 jul. 2018

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

• The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Begivenhed)

  Torben Braüner (Medlem)

  25 sep. 2017 → 28 sep. 2017

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

• Ninth Methods for Modality Workshop - 2017 (Begivenhed)

  Torben Braüner (Medlem)

  8 jan. 2017 → 9 jan. 2017

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

• Advances in Modal Logic 2016 (Begivenhed)

  Torben Braüner (Medlem)

  30 aug. 2016 → 2 sep. 2016

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

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

  Torben Braüner (Medlem)

  19 sep. 2015 → 24 sep. 2015

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

• The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (Ekstern organisation)

  Torben Braüner (Medlem)

  2 nov. 2015 → 6 nov. 2015

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

• 9th International Conference on Advances in Modal Logic (AiML 2012) (Ekstern organisation)

  Torben Braüner (Medlem)

  22 aug. 2012 → 25 aug. 2012

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

• 8th Scandinavian Logic Symposium (Ekstern organisation)

  Torben Braüner (Medlem)

  20 aug. 2012 → 21 aug. 2012

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

• 6th International Joint Conference on Automated Reasoning (IJCAR 2012) (Ekstern organisation)

  Torben Braüner (Medlem)

  25 jun. 2012 → 29 jun. 2012

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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 maj 2011 → 1 dec. 2011

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

• International Workshop on Methods for Modalities (Ekstern organisation)

  Torben Braüner (Medlem)

  10 nov. 2011 → 12 nov. 2011

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

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

  Torben Braüner (Medlem)

  5 okt. 2011 → 7 okt. 2011

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

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

  Torben Braüner (Medlem)

  4 jul. 2011 → 8 jul. 2011

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

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

  John Patrick Gallagher (Medlem)

  2011 → …

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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 nov. 2010 → 31 okt. 2011

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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 aug. 2010 → 31 jul. 2011

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

• Advances in Modal Logic (Ekstern organisation)

  Torben Braüner (Medlem)

  25 aug. 2010 → 29 aug. 2010

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

• 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

• International Workshop on Hybrid Logic (Ekstern organisation)

  Torben Braüner (Medlem)

  10 jul. 2010

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

• 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

• 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

• Advances in Modal Logic (Ekstern organisation)

  Torben Braüner (Medlem)

  1 jan. 2010 → 31 dec. 2012

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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 jul. 2010 → 30 jun. 2011

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

• Styregruppe (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 dec. 2010 → 30 nov. 2011

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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 nov. 2010 → 31 okt. 2011

  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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 aug. 2009 → 31 jul. 2010

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

• International Workshop on Hybrid Logic (Ekstern organisation)

  Torben Braüner (Medlem)

  15 jul. 2009 → 17 jul. 2009

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

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

  Torben Braüner (Medlem)

  16 sep. 2009 → 18 sep. 2009

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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 jul. 2009 → 30 jun. 2010

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

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

  Torben Braüner (Medlem)

  7 jul. 2009 → 10 jul. 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

• Methods for Modalities (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2009 → …

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

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

  Torben Braüner (Medlem)

  12 nov. 2009 → 14 nov. 2009

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

• 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

• 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

• Flexible Query Answering Systems (Ekstern organisation)

  Troels Andreasen (Formand)

  1 dec. 2008 → 30 nov. 2009

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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 aug. 2008 → 31 jul. 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

• 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

• Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2008

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