Activities per year
Activities
- 1 - 50 out of 436 results
Search results
-
7th World Logic Day - DTU Compute Talks
Classen, J. (Speaker)
15 Jan 2025Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Foredrag: Er computere i stand til at tænke?
Braüner, T. (Speaker)
5 Nov 2024Activity: Talk or presentation › Lecture and oral contribution
-
Assessment committee chair, PhD-thesis evaluation committee
Hansen, J. U. (Examiner)
24 Oct 2024Activity: Examination
-
27th European Conference on Artificial Intelligence ECAI 2024 (Event)
Braüner, T. (Member)
19 Oct 2024 → 24 Oct 2024Activity: Membership › Membership in committee, council, board
-
Maker Summit @ GRASP 2024
Padfield, N. (Organizer), Hobye, M. (Organizer) & Bin Abdul Rahman, A. H. (Organizer)
26 Sept 2024 → 27 Sept 2024Activity: Participating in or organising an event › Organisation and participation in conference
-
Kunstig intelligens som værktøjer i forskningsverdenen og menneskelig ekspertise
Hansen, J. U. (Speaker)
19 Sept 2024Activity: Talk or presentation › Lecture and oral contribution
-
Should we still be looking for echo chambers? A framework for studying polarization dynamics on social media
Hansen, J. U. (Speaker) & Mayerhöffer, E. (Speaker)
3 Sept 2024Activity: Talk or presentation › Lecture and oral contribution
-
33rd International Joint Conference on Artificial Intelligence
Classen, J. (Participant)
3 Aug 2024 → 9 Aug 2024Activity: Participating in or organising an event › Organisation and participation in conference
-
Danish Data Science Academy (External organisation)
Hansen, J. U. (Member)
1 Aug 2024 → …Activity: Membership › Membership in research network
-
22nd International Workshop on Nonmonotonic Reasoning (Event)
Classen, J. (Member)
20 Jul 2024 → 4 Nov 2024Activity: Membership › Membership in committee, council, board
-
Foundations of Intelligent Systems: 27th International Symposium
Vahedi, M. (Speaker) & Christiansen, H. (Participant)
17 Jun 2024 → 19 Jun 2024Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
The Nordic Logic Summer School 2024 (Event)
Braüner, T. (Member)
10 Jun 2024 → 13 Jun 2024Activity: Membership › Membership in committee, council, board
-
Logic meeting at DTU
Braüner, T. (Speaker)
31 May 2024Activity: Talk or presentation › Lecture and oral contribution
-
Logic & AI - AlgoLoG Seminar at DTU Compute
Classen, J. (Speaker)
31 May 2024Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
21st International Conference on the Principles of Knowledge Representation and Reasoning (Event)
Classen, J. (Member)
15 May 2024 → 8 Nov 2024Activity: Membership › Membership in committee, council, board
-
27th European Conference on Artificial Intelligence (Event)
Classen, J. (Member)
6 May 2024 → 25 Oct 2024Activity: Membership › Membership in committee, council, board
-
12th Scandinavian Logic Symposium (Event)
Classen, J. (Member)
21 Apr 2024 → 16 Jun 2024Activity: Membership › Membership in committee, council, board
-
The Importance of Expert Knowledge in Large Language Models
Hansen, J. U. (Speaker)
12 Apr 2024Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Logic, Theory of Mind, and Second-Order False Beliefs (online)
Braüner, T. (Speaker)
23 Mar 2024 → 24 Mar 2024Activity: Talk or presentation › Lecture and oral contribution
-
Kunstig intelligens: fakta og myter bag teknologien
Christiansen, H. (Speaker)
21 Mar 2024Activity: Talk or presentation › Lecture and oral contribution
-
35th Nordic Workshop on Programming Theory
Classen, J. (Organizer)
19 Mar 2024 → 8 Nov 2024Activity: Participating in or organising an event › Organisation and participation in conference
-
Dagstuhl Seminar Trustworthiness and Responsibility in AI – Causality, Learning, and Verification
Classen, J. (Participant)
17 Mar 2024 → 22 Mar 2024Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Evaluation (Attestation) Committee member: Professor of Human-Computer Interaction
Simonsen, J. (Examiner)
20 Feb 2024 → 15 Jun 2024Activity: Examination
-
Danish Digitalization, Data Science and AI conference 1.0 (2024)
Hansen, J. U. (Organizer)
2 Feb 2024Activity: Participating in or organising an event › Organisation and participation in conference
-
33rd International Joint Conference on Artificial Intelligence (Event)
Classen, J. (Member)
25 Jan 2024 → 9 Aug 2024Activity: Membership › Membership in committee, council, board
-
ACM Conference on Fairness, Accountability, and Transparency 2024 (Event)
Hansen, J. U. (Peer reviewer)
22 Jan 2024 → 6 Jun 2024Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Dealing with missing data in deep learning and machine learning
Hansen, J. U. (Speaker)
8 Dec 2023Activity: Talk or presentation › Lecture and oral contribution
-
Static Analysis for Hardware Design
Rosendahl, M. (Speaker)
1 Dec 2023Activity: Talk or presentation › Lecture and oral contribution
-
When people with autism outperform typicals: A formal logical study
Braüner, T. (Speaker)
24 Nov 2023Activity: Talk or presentation › Lecture and oral contribution
-
Danish National Championship in AI 2023 (Event)
Hansen, J. U. (Member)
Nov 2023 → Feb 2024Activity: Membership › Membership in committee, council, board
-
7th International Conference on the History and Philosophy of Computing (Event)
Hansen, J. U. (Editor)
18 Oct 2023 → 20 Oct 2023Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
26th European Conference on Artificial Intelligence ECAI 2023 (Event)
Braüner, T. (Member)
30 Sept 2023 → 5 Oct 2023Activity: Membership › Membership in committee, council, board
-
Assessment Committee member, PhD-thesis, Faculty of Health Sciences, SDU
Simonsen, J. (Examiner)
31 Aug 2023 → 10 Dec 2023Activity: Examination
-
35th Symposium on Implementation and Application of Functional Languages
Rhiger, M. (Participant)
29 Aug 2023 → 31 Aug 2023Activity: Participating in or organising an event › Organisation and participation in conference
-
Workshop on the Implementation of Type Systems
Rhiger, M. (Participant)
28 Aug 2023Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
38th Annual AAAI Conference on Artificial Intelligence (Event)
Classen, J. (Member)
22 Aug 2023 → 27 Feb 2024Activity: 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 2023Activity: Membership › Membership in committee, council, board
-
Assessment committee member, associate professor in qualitative research and user involvement, Department of Clinical Research, University of Southern Denmark (SDU)
Simonsen, J. (Examiner)
1 Aug 2023 → 1 Sept 2023Activity: Examination
-
Assessment Committee member, PhD-thesis, Faculty of Health Sciences, SDU
Simonsen, J. (Examiner)
26 Jun 2023 → 30 Oct 2023Activity: Examination
-
26th European Conference on Artificial Intelligence ECAI 2023 (Event)
Hansen, J. U. (Peer reviewer)
19 May 2023 → 5 Oct 2023Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
26th European Conference on Artificial Intelligence ECAI 2023 (Event)
Classen, J. (Member)
19 May 2023 → 4 Oct 2023Activity: Membership › Membership in committee, council, board
-
Assessment Committee member, PhD-proposal, SDU Graduate School of Health
Simonsen, J. (Examiner)
15 May 2023 → 23 May 2023Activity: Examination
-
Language Support for Implementing Algorithms on Low Level Hardware Components
Rosendahl, M. (Speaker)
22 Apr 2023Activity: Talk or presentation › Lecture and oral contribution
-
Ph.D. defence: Formally Correct Deduction Methods for Computational Logic (Asta Halkjær From) (Event)
Braüner, T. (Member)
21 Apr 2023Activity: Membership › Membership in review committee
-
20th International Conference on Principles of Knowledge Representation and Reasoning (Event)
Classen, J. (Member)
23 Mar 2023 → 8 Sept 2023Activity: Membership › Membership in committee, council, board
-
Copenhagen Logic Gathering 2023
Braüner, T. (Organizer) & Bolander, T. (Organizer)
17 Mar 2023Activity: Participating in or organising an event › Organisation and participation in conference
-
Copenhagen Logic Gathering 2023
Classen, J. (Speaker)
17 Mar 2023Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Seminar on Artificial Intelligence
Padfield, N. (Speaker), Hobye, M. (Speaker), Christiansen, H. (Speaker), Spaniol, M. J. (Speaker), Jensen, N. (Speaker) & Bin Abdul Rahman, A. H. (Speaker)
10 Feb 2023Activity: Talk or presentation › Lecture and oral contribution
-
International Joint Conference on Artificial Intelligence (Event)
Classen, J. (Member)
26 Jan 2023 → 25 Aug 2023Activity: Membership › Membership in committee, council, board
-
Danish Data Science 2022
Hansen, J. U. (Organizer)
8 Nov 2022Activity: Participating in or organising an event › Organisation and participation in conference