Programming, Logic and Intelligent Systems

Activities

Activities per year 1999 2007 2008 2009 2010 2025

• 104 Organisation and participation in conference
• 98 Lecture and oral contribution
• 93 Membership in committee, council, board
• 41 Peer review of manuscripts
• 112 More
  • 32 Participation in workshop, seminar, course
  • 28 Membership in review committee
  • 16 Examination
  • 11 Visiting an external academic institution
  • 9 Editor of Research journal
  • 7 Other
  • 4 Hosting an academic visitor
  • 3 Membership in research network
  • 1 Editor of unfinished research anthology/collection
  • 1 Membership in board of company or public organisation

Activities per year

Search results

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

  Braüner, T. (Member)

  19 Oct 2024 → 24 Oct 2024

  Activity: Membership › Membership in committee, council, board

• 22nd International Workshop on Nonmonotonic Reasoning (Event)

  Classen, J. (Member)

  20 Jul 2024 → 4 Nov 2024

  Activity: Membership › Membership in committee, council, board

• The Nordic Logic Summer School 2024 (Event)

  Braüner, T. (Member)

  10 Jun 2024 → 13 Jun 2024

  Activity: Membership › Membership in committee, council, board

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

  Classen, J. (Member)

  15 May 2024 → 8 Nov 2024

  Activity: Membership › Membership in committee, council, board

• 27th European Conference on Artificial Intelligence (Event)

  Classen, J. (Member)

  6 May 2024 → 25 Oct 2024

  Activity: Membership › Membership in committee, council, board

• 12th Scandinavian Logic Symposium (Event)

  Classen, J. (Member)

  21 Apr 2024 → 16 Jun 2024

  Activity: Membership › Membership in committee, council, board

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

  Classen, J. (Member)

  25 Jan 2024 → 9 Aug 2024

  Activity: Membership › Membership in committee, council, board

• Danish National Championship in AI 2023 (Event)

  Hansen, J. U. (Member)

  Nov 2023 → Feb 2024

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  30 Sept 2023 → 5 Oct 2023

  Activity: Membership › Membership in committee, council, board

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

  Classen, J. (Member)

  22 Aug 2023 → 27 Feb 2024

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  7 Aug 2023 → 11 Aug 2023

  Activity: Membership › Membership in committee, council, board

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

  Classen, J. (Member)

  19 May 2023 → 4 Oct 2023

  Activity: Membership › Membership in committee, council, board

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

  Classen, J. (Member)

  23 Mar 2023 → 8 Sept 2023

  Activity: Membership › Membership in committee, council, board

• International Joint Conference on Artificial Intelligence (Event)

  Classen, J. (Member)

  26 Jan 2023 → 25 Aug 2023

  Activity: Membership › Membership in committee, council, board

• AAAI Conference on Artificial Intelligence (Event)

  Classen, J. (Member)

  29 Jul 2022 → 14 Feb 2023

  Activity: Membership › Membership in committee, council, board

• International Joint Conference on Artificial Intelligence (Event)

  Classen, J. (Member)

  25 Jan 2022 → 29 Jul 2022

  Activity: Membership › Membership in committee, council, board

• AAAI Conference on Artificial Intelligence (Event)

  Classen, J. (Member)

  15 Oct 2021 → 1 Mar 2022

  Activity: Membership › Membership in committee, council, board

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

  Kirkeby, M. H. (Member)

  7 Sept 2021

  Activity: Membership › Membership in committee, council, board

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

  Kirkeby, M. H. (Member)

  17 Aug 2021

  Activity: Membership › Membership in committee, council, board

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

  Kirkeby, M. H. (Member)

  20 Jun 2021

  Activity: Membership › Membership in committee, council, board

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

  Kirkeby, M. H. (Member)

  17 Sept 2019

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  4 Sept 2019 → 6 Sept 2019

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  1 Mar 2019 → 5 Mar 2019

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  24 Jul 2018 → 27 Jul 2018

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  14 Jul 2018 → 17 Jul 2018

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  25 Sept 2017 → 28 Sept 2017

  Activity: Membership › Membership in committee, council, board

• Ninth Methods for Modality Workshop - 2017 (Event)

  Braüner, T. (Member)

  8 Jan 2017 → 9 Jan 2017

  Activity: Membership › Membership in committee, council, board

• Advances in Modal Logic 2016 (Event)

  Braüner, T. (Member)

  30 Aug 2016 → 2 Sept 2016

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  2 Nov 2015 → 6 Nov 2015

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  19 Sept 2015 → 24 Sept 2015

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  22 Aug 2012 → 25 Aug 2012

  Activity: Membership › Membership in committee, council, board

• 8th Scandinavian Logic Symposium (External organisation)

  Braüner, T. (Member)

  20 Aug 2012 → 21 Aug 2012

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  25 Jun 2012 → 29 Jun 2012

  Activity: Membership › Membership in committee, council, board

• International Workshop on Methods for Modalities (External organisation)

  Braüner, T. (Member)

  10 Nov 2011 → 12 Nov 2011

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  5 Oct 2011 → 7 Oct 2011

  Activity: Membership › Membership in committee, council, board

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

  Braüner, T. (Member)

  4 Jul 2011 → 8 Jul 2011

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Andreasen, T. (Member)

  1 May 2011 → 1 Dec 2011

  Activity: Membership › Membership in committee, council, board

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

  Gallagher, J. P. (Member)

  2011 → …

  Activity: Membership › Membership in committee, council, board

• Styregruppe (External organisation)

  Andreasen, T. (Member)

  1 Dec 2010 → 30 Nov 2011

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Andreasen, T. (Member)

  1 Nov 2010 → 31 Oct 2011

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Andreasen, T. (Member)

  1 Nov 2010 → 31 Oct 2011

  Activity: Membership › Membership in committee, council, board

• Advances in Modal Logic (External organisation)

  Braüner, T. (Member)

  25 Aug 2010 → 29 Aug 2010

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Andreasen, T. (Member)

  1 Aug 2010 → 31 Jul 2011

  Activity: Membership › Membership in committee, council, board

• Association for Logic Programming (External organisation)

  Gallagher, J. P. (Chairman)

  1 Aug 2010 → 10 Jul 2011

  Activity: Membership › Membership in committee, council, board

• International Workshop on Hybrid Logic (External organisation)

  Braüner, T. (Member)

  10 Jul 2010

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Andreasen, T. (Member)

  1 Jul 2010 → 30 Jun 2011

  Activity: Membership › Membership in committee, council, board

• Advances in Modal Logic (External organisation)

  Braüner, T. (Member)

  1 Jan 2010 → 31 Dec 2012

  Activity: Membership › Membership in committee, council, board

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

  Gallagher, J. P. (Member)

  2010 → …

  Activity: Membership › Membership in committee, council, board

• Association for Computing Machinery (External organisation)

  Gallagher, J. P. (Member)

  2010 → 2011

  Activity: Membership › Membership in committee, council, board

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

  Gallagher, J. P. (Member)

  2010 → …

  Activity: Membership › Membership in committee, council, board