Activities per year
Activities
- 18 results
Search results
-
Static Analysis for Hardware Design
Mads Rosendahl (Speaker)
1 Dec 2023Activity: Talk or presentation › Lecture and oral contribution
-
Language Support for Implementing Algorithms on Low Level Hardware Components
Mads Rosendahl (Speaker)
22 Apr 2023Activity: Talk or presentation › Lecture and oral contribution
-
Semantics Based Cost Analysis
Mads Rosendahl (Lecturer)
19 Oct 2012Activity: Talk or presentation › Lecture and oral contribution
-
DanSAS 2012
Mads Rosendahl (Participant)
24 Aug 2012Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
4th Workshop on Reversible Computation
Mads Rosendahl (Participant)
2 Jul 2012 → 3 Jul 2012Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Teaching Computer Science at HumTek
Mads Rosendahl (Lecturer)
23 May 2012 → 25 May 2012Activity: Talk or presentation › Lecture and oral contribution
-
Autonome robotter - beyond Roomba
Mads Rosendahl (Lecturer)
20 Apr 2012Activity: Talk or presentation › Lecture and oral contribution
-
Ph.d. bedømmelsesudvalg (External organisation)
Mads Rosendahl (Member)
28 Feb 2012Activity: Membership › Membership in review committee
-
DANSAS 2010
Mads Rosendahl (Participant)
19 Aug 2010Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
DANSAS 2009
Mads Rosendahl (Speaker)
20 Aug 2009Activity: Talk or presentation › Lecture and oral contribution
-
15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)
Mads Rosendahl (Participant)
25 Nov 2008 → 29 Nov 2008Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
The 15th International Static Analysis Symposium
Mads Rosendahl (Participant)
16 Jul 2008 → 18 Jul 2008Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Princples of Programming Languages
Mads Rosendahl (Participant)
10 Jan 2008 → 12 Jan 2008Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Partial Evaluation and Program Manipulation' 08 (External organisation)
Mads Rosendahl (Member)
7 Jan 2008 → 8 Jan 2008Activity: Membership › Membership in review committee
-
Paradigms of Programming: Day of Science October 3rd, 2007
Mads Rosendahl (Lecturer)
3 Oct 2007Activity: Talk or presentation › Lecture and oral contribution
-
Limits on computing: Day of Science lecture March 7th 2007
Mads Rosendahl (Lecturer)
7 Mar 2007Activity: Talk or presentation › Lecture and oral contribution
-
Sigplan Notices (Journal)
Mads Rosendahl (Editor)
1 Jan 2007Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Lecture Notes in Computer Science (Journal)
Mads Rosendahl (Editor)
1 Jan 2007Activity: Editorial work and peer review › Peer review of manuscripts › Research