Programmering, logik og intelligente systemer

Aktiviteter

Aktiviteter pr. år 1999 2007 2008 2009 2010 2025

• 104 Organisation og deltagelse i konference
• 98 Foredrag og mundtlige bidrag
• 93 Medlemskab af udvalg, råd og nævn
• 41 Peer reviewer/fagfællebedømmer af manuskripter
• 112 Mere
  • 32 Deltagelse i workshop, seminar og kursus
  • 28 Medlemskab af bedømmelsesudvalg
  • 16 Eksamination
  • 11 Besøger en ekstern, akademisk institution
  • 9 Redaktør af tidsskrift
  • 7 Andet
  • 4 Vært for en akademisk besøgende
  • 3 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

• Human-Centred Computing - PhD Course and Seminar

  Stana, R. A. (Arrangør) & Reinhardt, L. (Arrangør)

  feb. 2025 → maj 2025

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• 7th World Logic Day - DTU Compute Talks

  Classen, J. (Taler)

  15 jan. 2025

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• Crossing borders and blurring boundaries Navigating the edge of academia by working collaboratively across various configurations.

  Hobye, M. (Oplægsholder)

  11 dec. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Foredrag: Er computere i stand til at tænke?

  Braüner, T. (Oplægsholder)

  5 nov. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Maintaining Culture: Creativity, Ownership, and Community in Urban Spaces

  Hobye, M. (Oplægsholder)

  30 okt. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Assessment committee chair, PhD-thesis evaluation committee

  Hansen, J. U. (Eksaminator)

  24 okt. 2024

  Aktivitet: Eksamen › Eksamination

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

  Braüner, T. (Medlem)

  19 okt. 2024 → 24 okt. 2024

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

• Maker Mindset: How do makers make?

  Hobye, M. (Oplægsholder)

  27 sep. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• GRASP-festival 2024: Utopia

  Hobye, M. (Arrangør), Pinder, D. (Arrangør), Horn, L. (Arrangør), Christensen, T. B. (Arrangør) & Haldrup, M. (Arrangør)

  26 sep. 2024 → 27 sep. 2024

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Performance: memoryMechanics

  Hobye, M. (Oplægsholder), Ranten, M. F. (Oplægsholder), Knudsen, L. A. (Oplægsholder) & Bøen, K. E. (Oplægsholder)

  26 sep. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Maker Summit @ GRASP 2024

  Padfield, N. (Arrangør), Hobye, M. (Arrangør) & Bin Abdul Rahman, A. H. (Arrangør)

  26 sep. 2024 → 27 sep. 2024

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Kunstig intelligens som værktøjer i forskningsverdenen og menneskelig ekspertise

  Hansen, J. U. (Oplægsholder)

  19 sep. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Should we still be looking for echo chambers? A framework for studying polarization dynamics on social media

  Hansen, J. U. (Oplægsholder) & Mayerhöffer, E. (Oplægsholder)

  3 sep. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• 33rd International Joint Conference on Artificial Intelligence

  Classen, J. (Deltager)

  3 aug. 2024 → 9 aug. 2024

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Danish Data Science Academy (Ekstern organisation)

  Hansen, J. U. (Medlem)

  1 aug. 2024 → …

  Aktivitet: Medlemsskab › Medlemskab af forskningsnetværk

• 22nd International Workshop on Nonmonotonic Reasoning (Begivenhed)

  Classen, J. (Medlem)

  20 jul. 2024 → 4 nov. 2024

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

• Foundations of Intelligent Systems: 27th International Symposium

  Vahedi, M. (Taler) & Christiansen, H. (Deltager)

  17 jun. 2024 → 19 jun. 2024

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• The Nordic Logic Summer School 2024 (Begivenhed)

  Braüner, T. (Medlem)

  10 jun. 2024 → 13 jun. 2024

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

• Logic meeting at DTU

  Braüner, T. (Oplægsholder)

  31 maj 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Logic & AI - AlgoLoG Seminar at DTU Compute

  Classen, J. (Taler)

  31 maj 2024

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

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

  Classen, J. (Medlem)

  15 maj 2024 → 8 nov. 2024

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

• 27th European Conference on Artificial Intelligence (Begivenhed)

  Classen, J. (Medlem)

  6 maj 2024 → 25 okt. 2024

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

• 12th Scandinavian Logic Symposium (Begivenhed)

  Classen, J. (Medlem)

  21 apr. 2024 → 16 jun. 2024

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

• The Importance of Expert Knowledge in Large Language Models

  Hansen, J. U. (Oplægsholder)

  12 apr. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited talk: Logic, Theory of Mind, and Second-Order False Beliefs (online)

  Braüner, T. (Oplægsholder)

  23 mar. 2024 → 24 mar. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Kunstig intelligens: fakta og myter bag teknologien

  Christiansen, H. (Oplægsholder)

  21 mar. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• 35th Nordic Workshop on Programming Theory

  Classen, J. (Arrangør)

  19 mar. 2024 → 8 nov. 2024

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Dagstuhl Seminar Trustworthiness and Responsibility in AI – Causality, Learning, and Verification

  Classen, J. (Deltager)

  17 mar. 2024 → 22 mar. 2024

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• Evaluation (Attestation) Committee member: Professor of Human-Computer Interaction

  Simonsen, J. (Eksaminator)

  20 feb. 2024 → 15 jun. 2024

  Aktivitet: Eksamen › Eksamination

• Danish Digitalization, Data Science and AI conference 1.0 (2024)

  Hansen, J. U. (Arrangør)

  2 feb. 2024

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

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

  Classen, J. (Medlem)

  25 jan. 2024 → 9 aug. 2024

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

• ACM Conference on Fairness, Accountability, and Transparency 2024 (Begivenhed)

  Hansen, J. U. (Fagfællebedømmer)

  22 jan. 2024 → 6 jun. 2024

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Dealing with missing data in deep learning and machine learning

  Hansen, J. U. (Oplægsholder)

  8 dec. 2023

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Static Analysis for Hardware Design

  Rosendahl, M. (Oplægsholder)

  1 dec. 2023

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• When people with autism outperform typicals: A formal logical study

  Braüner, T. (Oplægsholder)

  24 nov. 2023

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Danish National Championship in AI 2023 (Begivenhed)

  Hansen, J. U. (Medlem)

  nov. 2023 → feb. 2024

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

• 7th International Conference on the History and Philosophy of Computing (Begivenhed)

  Hansen, J. U. (Redaktør)

  18 okt. 2023 → 20 okt. 2023

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Braüner, T. (Medlem)

  30 sep. 2023 → 5 okt. 2023

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

• GRASP Festival 2023

  Hobye, M. (Arrangør), Pinder, D. (Arrangør), Horn, L. (Arrangør), Christensen, T. B. (Arrangør), Pedersen, R. R. (Arrangør) & Haldrup, M. (Arrangør)

  28 sep. 2023 → 29 sep. 2023

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Assessment Committee member, PhD-thesis, Faculty of Health Sciences, SDU

  Simonsen, J. (Eksaminator)

  31 aug. 2023 → 10 dec. 2023

  Aktivitet: Eksamen › Eksamination

• 35th Symposium on Implementation and Application of Functional Languages

  Rhiger, M. (Deltager)

  29 aug. 2023 → 31 aug. 2023

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Workshop on the Implementation of Type Systems

  Rhiger, M. (Deltager)

  28 aug. 2023

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

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

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

  Braüner, T. (Medlem)

  7 aug. 2023 → 11 aug. 2023

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

• Assessment committee member, associate professor in qualitative research and user involvement, Department of Clinical Research, University of Southern Denmark (SDU)

  Simonsen, J. (Eksaminator)

  1 aug. 2023 → 1 sep. 2023

  Aktivitet: Eksamen › Eksamination

• PhD committee for Pavel Karpashevich thesis Designing Monstrous Experiences Through Soma Design (Begivenhed)

  Hobye, M. (Medlem)

  15 jul. 2023

  Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg

• Designing with AI: Initial mappings

  Hobye, M. (Oplægsholder)

  14 jul. 2023

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Assessment Committee member, PhD-thesis, Faculty of Health Sciences, SDU

  Simonsen, J. (Eksaminator)

  26 jun. 2023 → 30 okt. 2023

  Aktivitet: Eksamen › Eksamination

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

  Hansen, J. U. (Fagfællebedømmer)

  19 maj 2023 → 5 okt. 2023

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Classen, J. (Medlem)

  19 maj 2023 → 4 okt. 2023

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