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
Organisation MIT Summer School
Armin Biere (Organiser)
Institute of Formal Models and Verification
Activity
:
Participating in or organising an event
›
Organising a conference, workshop, ...
Period
11 Jun 2011
→
18 Jun 2011
Event type
Other
Location
United States
Show on map
Fields of science
102 Computer Sciences
101 Mathematics
102011 Formal languages
JKU Focus areas
Computation in Informatics and Mathematics