Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
Link opens in a new tab
English
Deutsch
Search content at JKU & KUK Research Portal
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Member of the program committee CPAIOR 2021 (Event)
Armin Biere (Member)
Institute of Formal Models and Verification
Activity
:
Membership/Function
›
Program committee
Period
05 Jul 2021
→
08 Jul 2021
Event title
Member of the program committee CPAIOR 2021
Event type
Other
Location
Austria
Show on map
Fields of science
202006 Computer hardware
603109 Logic
102 Computer Sciences
102031 Theoretical computer science
102011 Formal languages
102022 Software development
102001 Artificial intelligence
Documents & Links
https://cpaior2021.dbai.tuwien.ac.at/