Difference between revisions of "TABLEAUX"
(CSV conf series import) |
m |
||
| Line 1: | Line 1: | ||
{{Event series | {{Event series | ||
| − | | | + | |Acronym=TABLEAUX |
|Title=International Conference on Theorem Proving with Analytic Tableaux and Related Methods | |Title=International Conference on Theorem Proving with Analytic Tableaux and Related Methods | ||
|has CORE2017 Rank=A | |has CORE2017 Rank=A | ||
| + | |Field=Logic | ||
| + | |acronym=TABLEAUX | ||
}} | }} | ||
Latest revision as of 23:31, 26 February 2020
| TABLEAUX | |
|---|---|
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
| |
Categories: Logic
| |
| CORE Rank (2017): | A |
| Table of Contents | |
Events
The following events of the series TABLEAUX are currently known in this wiki:
| Ordinal | From | To | City | Country | General chair | PC chair | Submitted papers | Acceptance rate | Attendees | |
|---|---|---|---|---|---|---|---|---|---|---|
| TABLEAUX 2020 | Jun 29 | Jul 5 | Paris | France |
Number of Submitted and Accepted Papers (Main Track)
The chart or graph is empty due to missing data
Acceptance Rate
The chart or graph is empty due to missing data
Locations
Loading map...
Facts about "TABLEAUX"
| EventSeries acronym | TABLEAUX + |
| Has CORE Rank | A + |
| IsA | EventSeries + |
| Title | International Conference on Theorem Proving with Analytic Tableaux and Related Methods + |
