Difference between revisions of "Event:TABLEAUX 2020"

From ConfIDent
(mobo import Concept___Event_For_Confident-migrated_2)
 
m (Text replacement - "Homepage=" to "Official Website=")
 
(2 intermediate revisions by the same user not shown)
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=France
+
|Country=Country:FR
|Homepage=http://www.tableaux-ar.org/next.html
+
|Official Website=http://www.tableaux-ar.org/next.html
 
|pageCreator=User:Curator 89
 
|pageCreator=User:Curator 89
 
|pageEditor=User:Curator 89
 
|pageEditor=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
 
}}
 
}}
 +
{{Event Deadline}}
 +
{{S Event}}

Latest revision as of 14:23, 19 October 2022

Deadlines
Venue

Paris, France

Loading map...
Cookies help us deliver our services. By using our services, you agree to our use of cookies.