Activities 2007 2012

  • 6 Participation in workshop, seminar, course
  • 6 Lecture and oral contribution
  • 2 Peer review of manuscripts
  • 2 Membership in review committee
Filter
Participation in workshop, seminar, course

4th Workshop on Reversible Computation

Rosendahl, M. (Participant)
2 Jul 20123 Jul 2012

Activity: Participation in workshop, seminar, course

DanSAS 2012

Rosendahl, M. (Participant)
24 Aug 2012

Activity: Participation in workshop, seminar, course

DANSAS 2010

Rosendahl, M. (Participant)
19 Aug 2010

Activity: Participation in workshop, seminar, course

The 15th International Static Analysis Symposium

Rosendahl, M. (Participant)
16 Jul 200818 Jul 2008

Activity: Participation in workshop, seminar, course

Princples of Programming Languages

Rosendahl, M. (Participant)
10 Jan 200812 Jan 2008

Activity: Participation in workshop, seminar, course

15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)

Rosendahl, M. (Participant)
25 Nov 200829 Nov 2008

Activity: Participation in workshop, seminar, course