Activities per year
Activities
- 14 results
Search results
-
FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science
Kim Guldstrand Larsen (Participant)
12 Dec 2007 → 14 Dec 2007Activity: Attending an event › Conference organisation or participation
-
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Participant)
17 Oct 2007 → 20 Oct 2007Activity: Attending an event › Conference organisation or participation
-
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Participant)
10 Oct 2007 → 12 Oct 2007Activity: Attending an event › Conference organisation or participation
-
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Participant)
30 Sept 2007 → 1 Oct 2007Activity: Attending an event › Conference organisation or participation
-
EPEW'2007 : 4th European Performance Engineering Workshop, 27-28 September 2007
Kim Guldstrand Larsen (Organizer)
27 Sept 2007 → 28 Sept 2007Activity: Attending an event › Conference organisation or participation
-
QEST: : 4th International Conference on the Quantitative Evaluation of SysTems
Kim Guldstrand Larsen (Participant)
16 Sept 2007 → 19 Sept 2007Activity: Attending an event › Conference organisation or participation
-
UNI-IIST School : ARTIST2 has organized, in collaboration with UNU-IIST, the 2nd edition of a school on embedded systems design in Suzhou.
Kim Guldstrand Larsen (Participant)
1 Aug 2007 → 10 Aug 2007Activity: Attending an event › Conference organisation or participation
-
LICS'07 : Twenty-Second Annual IEEE Sympositum on Logic in Computer Science
Kim Guldstrand Larsen (Participant)
10 Jul 2007 → 14 Jul 2007Activity: Attending an event › Conference organisation or participation
-
RTAS' 07 : Development, Verification, and Debug Tools for Real-Time and Embedded Systems
Kim Guldstrand Larsen (Participant)
3 Apr 2007 → 6 Apr 2007Activity: Attending an event › Conference organisation or participation
-
TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Kim Guldstrand Larsen (Participant)
24 Mar 2007 → 1 Apr 2007Activity: Attending an event › Conference organisation or participation
-
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Kim Guldstrand Larsen (Participant)
20 Mar 2007 → 26 Mar 2007Activity: Attending an event › Conference organisation or participation
-
MOTIVES 07 : Testing and verification for embedded systems.
Kim Guldstrand Larsen (Participant)
19 Feb 2007 → 23 Feb 2007Activity: Attending an event › Conference organisation or participation
-
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Kim Guldstrand Larsen (Organizer)
20 Jan 2007 → 26 Jan 2007Activity: Attending an event › Conference organisation or participation
-
Dagstuhl workshop : Run-time verification
Kim Guldstrand Larsen (Participant)
2 Jan 2007 → 6 Jan 2007Activity: Attending an event › Conference organisation or participation