Activities per year
Activities
- 1 - 50 out of 65 results
Search results
-
International Workshop on Temporal Databases
Christian Søndergaard Jensen (Organizer)
1 Sept 1995 → 3 Sept 1995Activity: Attending an event › Conference organisation or participation
-
Dagstuhl Seminar on Temporal Databases
Christian Søndergaard Jensen (Participant)
1 Jun 1997 → 3 Jun 1997Activity: Attending an event › Conference organisation or participation
-
1997 ACM SIGMOD International Conference on the Management of Data
Christian Søndergaard Jensen (Participant)
1 May 1997 → 3 May 1997Activity: Attending an event › Conference organisation or participation
-
First Chorochronos Intensive Workshop
Christian Søndergaard Jensen (Organizer)
19 Jun 1998 → 20 Jun 1998Activity: Attending an event › Conference organisation or participation
-
National Danish Database Workshop
Christian Søndergaard Jensen (Organizer)
15 Jun 1998 → 16 Jun 1998Activity: Attending an event › Conference organisation or participation
-
IEEE International Conference on Data Engineering
Christian Søndergaard Jensen (Participant)
1 Apr 1998 → 3 Apr 1998Activity: Attending an event › Conference organisation or participation
-
2000 ACM SIGMOD International Conference on the Management of Data
Christian Søndergaard Jensen (Participant)
1 May 2000 → 4 May 2000Activity: Attending an event › Conference organisation or participation
-
International Symposium on Spatial and Temporal Databases
Christian Søndergaard Jensen (Participant)
1 Jul 2001 → 31 Jul 2007Activity: Attending an event › Conference organisation or participation
-
International Conference on Data Engineering
Christian Søndergaard Jensen (Organizer)
1 Apr 2001 → 3 Apr 2001Activity: Attending an event › Conference organisation or participation
-
International Workshop on Spatio-Temporal Database Management
Christian Søndergaard Jensen (Participant)
1 Aug 2004 → 4 Aug 2004Activity: Attending an event › Conference organisation or participation
-
2004 ACM SIGMOD International Conference on the Management of Data
Christian Søndergaard Jensen (Participant)
1 Aug 2004 → 4 Aug 2004Activity: Attending an event › Conference organisation or participation
-
RTSS 2005 - The 26th IEEE Real-Time Systems Symposium : UPPAAL Tutorial
Alexandre David (Organizer)
5 Dec 2005Activity: Attending an event › Conference organisation or participation
-
Data Always and Everywhere-Management of Mobile, Ubiquitous, Pervasive, and Sensor Data
Christian Søndergaard Jensen (Organizer)
16 Oct 2005 → 21 Oct 2005Activity: Attending an event › Conference organisation or participation
-
QEST 2006 - Quantitative Evaluation of SysTems
Alexandre David (Participant)
11 Sept 2006 → 14 Sept 2006Activity: Attending an event › Conference organisation or participation
-
International Conference on Very Large Data Bases
Christian Søndergaard Jensen (Participant)
1 Sept 2006 → 3 Sept 2006Activity: Attending an event › Conference organisation or participation
-
International Workshop on Spatio-Temporal Database Management
Christian Søndergaard Jensen (Participant)
1 Sept 2006 → 3 Sept 2006Activity: Attending an event › Conference organisation or participation
-
2006 ACM SIGMOD International Conference on the Management of Data
Christian Søndergaard Jensen (Participant)
1 Jun 2006 → 3 Jun 2006Activity: Attending an event › Conference organisation or participation
-
International Conference on Flexible Query Answering Systems
Christian Søndergaard Jensen (Participant)
1 Jun 2006 → 3 Jun 2006Activity: Attending an event › Conference organisation or participation
-
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
-
Formal Modelling and Analysis of Timed Systems (Formats 2007) : Program Kommitte Medlem
Brian Nielsen (Organizer)
3 Oct 2007 → 5 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
-
4th Workshop on Advances in Model Based Testing, AMOST'08 : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Sept 2007 → 11 Apr 2008Activity: Attending an event › Conference organisation or participation
-
Formal Approaches to Testing of Software, Fates 2008 : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Sept 2007 → 13 Jun 2008Activity: Attending an event › Conference organisation or participation
-
First IEEE International Conference on Software Testing, Verification and Validation, ICST'08 : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Sept 2007 → 11 Apr 2008Activity: 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
-
3rd Workshop on Advances in Model Based Testing (A-MOST 2007) : Program Kommitte Medlem
Brian Nielsen (Organizer)
9 Jul 2007 → 12 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
-
Formal Approaches to Testing of Software (FATES 2007) : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Apr 2007 → 29 Jun 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
-
Fourth International Workshop on the Automation of Software Test (AST’09)
Brian Nielsen (Organizer)
24 Nov 2008 → 24 May 2009Activity: Attending an event › Conference organisation or participation
-
5th Workshop on Advances in Model Based Testing (A-MOST 2009)
Brian Nielsen (Organizer)
1 Sept 2008 → 4 Apr 2009Activity: Attending an event › Conference organisation or participation
-
Workshop on Automata and Verification
Alexandre David (Participant)
25 Aug 2008 → 26 Aug 2008Activity: Attending an event › Conference organisation or participation
-
1st IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS
Alexandre David (Organizer)
28 Jul 2008 → 1 Aug 2008Activity: Attending an event › Conference organisation or participation
-
IEEE International Conference on Software Testing, Verification and Validation, ICST'09
Brian Nielsen (Organizer)
1 May 2008 → 30 Apr 2009Activity: Attending an event › Conference organisation or participation
-
Intern. Symposium on Quality Engineering for Embedded Systems
Brian Nielsen (Organizer)
1 Apr 2008 → 31 May 2008Activity: Attending an event › Conference organisation or participation
-
Quasimodo Kickoff Møde (Arrangør og vært)
Brian Nielsen (Organizer)
15 Jan 2008 → 16 Jan 2008Activity: Attending an event › Conference organisation or participation
-
Third International Workshop on Automation of Software Test, AST´08 : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Jan 2008 → 18 May 2008Activity: Attending an event › Conference organisation or participation
-
Formal Modelling and Analysis of Timed Systems (Formats 2008)
Brian Nielsen (Organizer)
1 Jan 2008 → 17 Sept 2008Activity: Attending an event › Conference organisation or participation
-
5th International Workshop on Automation of Software Test : PC Member
Brian Nielsen (Organizer)
1 Dec 2009 → 4 May 2010Activity: Attending an event › Conference organisation or participation
-
6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member
Brian Nielsen (Organizer)
1 Dec 2009 → 6 Apr 2010Activity: Attending an event › Conference organisation or participation
-
3rd International Conference on Software Test and Validation (ICST'10)
Brian Nielsen (Organizer)
26 Aug 2009 → 10 Apr 2010Activity: Attending an event › Conference organisation or participation