Aktiviteter pr. år
Aktiviteter
- 18 resultater
Søgeresultater
-
Static Analysis for Hardware Design
Rosendahl, M. (Oplægsholder)
1 dec. 2023Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Language Support for Implementing Algorithms on Low Level Hardware Components
Rosendahl, M. (Oplægsholder)
22 apr. 2023Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Semantics Based Cost Analysis
Rosendahl, M. (Foredragsholder)
19 okt. 2012Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
DanSAS 2012
Rosendahl, M. (Deltager)
24 aug. 2012Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
4th Workshop on Reversible Computation
Rosendahl, M. (Deltager)
2 jul. 2012 → 3 jul. 2012Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
Teaching Computer Science at HumTek
Rosendahl, M. (Foredragsholder)
23 maj 2012 → 25 maj 2012Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Autonome robotter - beyond Roomba
Rosendahl, M. (Foredragsholder)
20 apr. 2012Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Ph.d. bedømmelsesudvalg (Ekstern organisation)
Rosendahl, M. (Medlem)
28 feb. 2012Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
-
DANSAS 2010
Rosendahl, M. (Deltager)
19 aug. 2010Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
DANSAS 2009
Rosendahl, M. (Oplægsholder)
20 aug. 2009Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)
Rosendahl, M. (Deltager)
25 nov. 2008 → 29 nov. 2008Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
The 15th International Static Analysis Symposium
Rosendahl, M. (Deltager)
16 jul. 2008 → 18 jul. 2008Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
Princples of Programming Languages
Rosendahl, M. (Deltager)
10 jan. 2008 → 12 jan. 2008Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
Partial Evaluation and Program Manipulation' 08 (Ekstern organisation)
Rosendahl, M. (Medlem)
7 jan. 2008 → 8 jan. 2008Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
-
Paradigmer i Programmering: Nat-dag arrangement 3. oktober 2007
Rosendahl, M. (Foredragsholder)
3 okt. 2007Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Grænser for computere: Nat-dag arrangement 7. marts 2007
Rosendahl, M. (Foredragsholder)
7 mar. 2007Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Lecture Notes in Computer Science (Tidsskrift)
Rosendahl, M. (Redaktør)
1 jan. 2007Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Sigplan Notices (Tidsskrift)
Rosendahl, M. (Redaktør)
1 jan. 2007Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning