Aktiviteter pr. år
Aktiviteter
- 22 resultater
Søgeresultater
-
International Symposium on Mathematical Foundations of Computer Science (Begivenhed)
Kim Guldstrand Larsen (Fagfællebedømmer), Hans L. Bodlaender (Redaktør) & Jean-François Raskin (Redaktør)
21 aug. 2017 → 25 aug. 2017Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning
-
FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science
Kim Guldstrand Larsen (Deltager)
12 dec. 2007 → 14 dec. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Deltager)
17 okt. 2007 → 20 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Deltager)
10 okt. 2007 → 12 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Deltager)
30 sep. 2007 → 1 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
EPEW'2007 : 4th European Performance Engineering Workshop, 27-28 September 2007
Kim Guldstrand Larsen (Arrangør)
27 sep. 2007 → 28 sep. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
QEST: : 4th International Conference on the Quantitative Evaluation of SysTems
Kim Guldstrand Larsen (Deltager)
16 sep. 2007 → 19 sep. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Visit and invited lectures
Kim Guldstrand Larsen (Andet)
11 aug. 2007 → 17 aug. 2007Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
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 (Deltager)
1 aug. 2007 → 10 aug. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Artist2
Kim Guldstrand Larsen (Foredragsholder)
1 aug. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
LICS'07 : Twenty-Second Annual IEEE Sympositum on Logic in Computer Science
Kim Guldstrand Larsen (Deltager)
10 jul. 2007 → 14 jul. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Towards a Systematic Approach to Embedded System Design: DATE, Design, Automation, and Test in Europe
Kim Guldstrand Larsen (Foredragsholder)
20 apr. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
RTAS' 07 : Development, Verification, and Debug Tools for Real-Time and Embedded Systems
Kim Guldstrand Larsen (Deltager)
3 apr. 2007 → 6 apr. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Kim Guldstrand Larsen (Deltager)
24 mar. 2007 → 1 apr. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Kim Guldstrand Larsen (Deltager)
20 mar. 2007 → 26 mar. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
MOVES: a Tool for Modeling and Verification of Embedded Systems
Kim Guldstrand Larsen (Foredragsholder)
12 mar. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Modelling Day
Kim Guldstrand Larsen (Foredragsholder)
3 mar. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
ARTIST2: Winterschool
Kim Guldstrand Larsen (Foredragsholder)
19 feb. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
MOTIVES 07 : Testing and verification for embedded systems.
Kim Guldstrand Larsen (Deltager)
19 feb. 2007 → 23 feb. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
ARTIST2
Kim Guldstrand Larsen (Foredragsholder)
19 feb. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Kim Guldstrand Larsen (Arrangør)
20 jan. 2007 → 26 jan. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Dagstuhl workshop : Run-time verification
Kim Guldstrand Larsen (Deltager)
2 jan. 2007 → 6 jan. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference