(mobo import Concept___Event_For_Confident-migrated_2) |
(mobo import Concept___Events-migrated) |
||
| Line 3: | Line 3: | ||
|Title=International Conference on Theorem Proving with Analytic Tableaux and Related Methods | |Title=International Conference on Theorem Proving with Analytic Tableaux and Related Methods | ||
|City=Paris | |City=Paris | ||
| − | |Country= | + | |Country=Country:FR |
|Homepage=http://www.tableaux-ar.org/next.html | |Homepage=http://www.tableaux-ar.org/next.html | ||
|pageCreator=User:Curator 89 | |pageCreator=User:Curator 89 | ||
| Line 12: | Line 12: | ||
|Start Date=6/29/2020 | |Start Date=6/29/2020 | ||
|End Date=7/5/2020 | |End Date=7/5/2020 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
}} | }} | ||
OpenResearchStack: 0.0.29
Confident: 1.9.10
