(mobo import Concept___Events-migrated) |
m (Text replacement - "Submitting link" to "Submission Link") |
||
Line 7: | Line 7: | ||
|Region=Arizona | |Region=Arizona | ||
|Country=Country:US | |Country=Country:US | ||
− | | | + | |Submission Link=http://reasoning.eas.asu.edu/kr2018/ |
|has general chair=Frank Wolter | |has general chair=Frank Wolter | ||
|has program chair=Michael Thielscher, Francesca Toni | |has program chair=Michael Thielscher, Francesca Toni |
Revision as of 11:57, 17 October 2022
Deadlines
|
||
Abstract |
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Venue
Tempe, Arizona, United States of America
Warning: Venue is missing. The map might not show the exact location.