Activities per year
Activities
- 13 results
Search results
-
Artificial Intelligence (Journal)
Bolander, T. (Editor)
4 Jul 2022Activity: Editorial work and peer review › Journal editor › Research
-
Helt elektrisk
Zwisler, L. (Other) & Olesen, D. (Other)
24 Oct 2020Activity: Talks and presentations › Talks and presentations in private or public companies and organisations
File -
Phd Bazaar 2018 DTU Compute
Schlichtkrull, A. (Participant)
9 May 2018Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
Talk in the Computational Logic Group at the University of Innsbruck
Schlichtkrull, A. (Participant)
1 Mar 2018Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
3rd International Automated Reasoning in Quantified Non-Classical Logics Workshop
Schlichtkrull, A. (Participant)
18 Jul 2018Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
Local Isabelle Workshop
Schlichtkrull, A. (Participant)
6 Jun 2018Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
Proof Assistants and Related Tools - The PART & PART 2 Projects 2017
Schlichtkrull, A. (Participant)
9 Nov 2017Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
Proof Assistants and Related Tools - The PART & PART 2 Projects 2017
Schlichtkrull, A. (Participant)
7 Sept 2017Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
TCS and PAM seminar
Schlichtkrull, A. (Participant)
3 Nov 2017Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
Proof Assistants and Related Tools - The PART & PART 2 Projects 2016
Schlichtkrull, A. (Participant)
20 Apr 2016Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
Club2 Group Seminar
Schlichtkrull, A. (Participant)
11 May 2016Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
MAS & HOL
Schlichtkrull, A. (Participant)
28 Sept 2016Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
Proof Assistants and Related Tools - The PART & PART 2 Projects 2015
Schlichtkrull, A. (Participant)
23 Sept 2015Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.