Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
English
Deutsch
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Search by expertise, name or affiliation
Design, Automation and Test in Europe - DATE'07
Armin Biere (Organiser)
Institute of Formal Models and Verification
Activity
:
Participating in or organising an event
›
Organising a conference, workshop, ...
Period
16 Apr 2007
→
20 Apr 2007
Event type
Conference
Location
France
Show on map
Fields of science
102 Computer Sciences