(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
||
Line 15: | Line 15: | ||
|has program chair=Didier Galmiche, Stephan Schulz, Roberto Sebastiani | |has program chair=Didier Galmiche, Stephan Schulz, Roberto Sebastiani | ||
|has workshop chair=Alberto Griggio | |has workshop chair=Alberto Griggio | ||
− | |Has PC member=Carlos Areces, Alessandro Artale, Arnon Avron, Franz Baader, Clark Barrett, Peter Baumgartner, | + | |Has PC member=Carlos Areces, Alessandro Artale, Arnon Avron, Franz Baader, Clark Barrett, Peter Baumgartner, Christoph Benzmüller |
|Attendance fee currency=£ | |Attendance fee currency=£ | ||
|On site regular=600 | |On site regular=600 |
Revision as of 12:40, 7 July 2022
Enter your description here. Maybe just paste in the call for papers.
The 9th International Joint Conference on Automated Reasoning will take place July 14-17, 2018, as part of FLoC 2018 in Oxford, United Kingdom.