Programmering, logik og intelligente systemer

Aktiviteter

Aktiviteter pr. år 1999 2007 2008 2009 2010 2024

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

• 27th European Conference on Artificial Intelligence ECAI 2024 (Begivenhed)

  Torben Braüner (Medlem)

  19 okt. 2024 → 24 okt. 2024

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

• 22nd International Workshop on Nonmonotonic Reasoning (Begivenhed)

  Jens Classen (Medlem)

  20 jul. 2024 → 4 nov. 2024

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

• The Nordic Logic Summer School 2024 (Begivenhed)

  Torben Braüner (Medlem)

  10 jun. 2024 → 13 jun. 2024

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

• 21st International Conference on the Principles of Knowledge Representation and Reasoning (Begivenhed)

  Jens Classen (Medlem)

  15 maj 2024 → 8 nov. 2024

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

• 27th European Conference on Artificial Intelligence (Begivenhed)

  Jens Classen (Medlem)

  6 maj 2024 → 25 okt. 2024

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

• 12th Scandinavian Logic Symposium (Begivenhed)

  Jens Classen (Medlem)

  21 apr. 2024 → 16 jun. 2024

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

• 33rd International Joint Conference on Artificial Intelligence (Begivenhed)

  Jens Classen (Medlem)

  25 jan. 2024 → 9 aug. 2024

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

• Danish National Championship in AI 2023 (Begivenhed)

  Jens Ulrik Hansen (Medlem)

  nov. 2023 → feb. 2024

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

• 26th European Conference on Artificial Intelligence ECAI 2023 (Begivenhed)

  Torben Braüner (Medlem)

  30 sep. 2023 → 5 okt. 2023

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

• 38th Annual AAAI Conference on Artificial Intelligence (Begivenhed)

  Jens Classen (Medlem)

  22 aug. 2023 → 27 feb. 2024

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

• ESSLLI 2023 workshop on First-order Modal and Temporal Logics: State of the art and perspectives (Begivenhed)

  Torben Braüner (Medlem)

  7 aug. 2023 → 11 aug. 2023

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

• 26th European Conference on Artificial Intelligence ECAI 2023 (Begivenhed)

  Jens Classen (Medlem)

  19 maj 2023 → 4 okt. 2023

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

• 20th International Conference on Principles of Knowledge Representation and Reasoning (Begivenhed)

  Jens Classen (Medlem)

  23 mar. 2023 → 8 sep. 2023

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

• International Joint Conference on Artificial Intelligence (Begivenhed)

  Jens Classen (Medlem)

  26 jan. 2023 → 25 aug. 2023

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

• AAAI Conference on Artificial Intelligence (Begivenhed)

  Jens Classen (Medlem)

  29 jul. 2022 → 14 feb. 2023

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

• International Joint Conference on Artificial Intelligence (Begivenhed)

  Jens Classen (Medlem)

  25 jan. 2022 → 29 jul. 2022

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

• AAAI Conference on Artificial Intelligence (Begivenhed)

  Jens Classen (Medlem)

  15 okt. 2021 → 1 mar. 2022

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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 maj 2011 → 1 dec. 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

• 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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 nov. 2010 → 31 okt. 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

• Program Committee (Ekstern organisation)

  Troels Andreasen (Medlem)

  1 aug. 2010 → 31 jul. 2011

  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 Workshop on Hybrid Logic (Ekstern organisation)

  Torben Braüner (Medlem)

  10 jul. 2010

  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

• 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

• 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

• Association for Computing Machinery (Ekstern organisation)

  John Patrick Gallagher (Medlem)

  2010 → 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