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
Rigorosum Franzen
Armin Biere (Visiting person)
Institute of Formal Models and Verification
Activity
:
Other
›
Outgoing (legacy data)
Description
Trento, Italien
Period
24 Mar 2010
→
26 Mar 2010
Fields of science
102 Computer Sciences
101 Mathematics
102011 Formal languages
JKU Focus areas
Computation in Informatics and Mathematics