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
28th International Joint Conference on Artificial Intelligence (Event)
Armin Biere (Member)
Seidl, M.
(Member)
Institute of Formal Models and Verification
Activity
:
Membership/Function
›
Program committee
Period
10 Aug 2019
→
16 Aug 2019
Event title
28th International Joint Conference on Artificial Intelligence
Event type
Other
Location
Macao
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://www.ijcai19.org/