m (Text replacement - "=User:Curator 83" to "=Ch") |
m (Text replacement - "Homepage=" to "Official Website=") |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
|Ordinal=26 | |Ordinal=26 | ||
|Type=Conference | |Type=Conference | ||
| − | | | + | |Official Website=http://www.cse.chalmers.se/~myreen/cade-26/ |
| − | |||
| − | |||
|City=Gothenburg | |City=Gothenburg | ||
| − | |Country= | + | |Country=Country:SE |
| − | |||
| − | |||
| − | |||
|Has coordinator=Chalmers University of Technology | |Has coordinator=Chalmers University of Technology | ||
|has general chair=Wolfgang Ahrendt, Moa Johansson | |has general chair=Wolfgang Ahrendt, Moa Johansson | ||
| Line 17: | Line 12: | ||
|has workshop chair=Philipp Ruemmer | |has workshop chair=Philipp Ruemmer | ||
|has tutorial chair=Philipp Ruemmer | |has tutorial chair=Philipp Ruemmer | ||
| − | |||
| − | |||
|has Proceedings Link=https://link.springer.com/book/10.1007%2F978-3-319-63046-5 | |has Proceedings Link=https://link.springer.com/book/10.1007%2F978-3-319-63046-5 | ||
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-63046-5 | |has Proceedings DOI=https://doi.org/10.1007/978-3-319-63046-5 | ||
| Line 28: | Line 21: | ||
|Start Date=2017/08/08 | |Start Date=2017/08/08 | ||
|End Date=2017/08/11 | |End Date=2017/08/11 | ||
| + | |Academic Field=Automated Deduction | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Abstract Deadline=2017/02/11 | ||
| + | |Notification Deadline=2017/04/22 | ||
| + | |Submission Deadline=2017/02/18 | ||
| + | }} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=69 | ||
| + | |Number Of Accepted Papers=31 | ||
| + | }} | ||
| + | {{S Event}} | ||
Latest revision as of 13:00, 19 October 2022
The document "CADE 2017" was published on "2022-10-19T13:00:46" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:CADE 2017.
The document "CADE 2017" describes an event in the sense of a conference.
The document "CADE 2017" contains information about the event "CADE 2017" with start date "2017/08/08" and end date "2017/08/11".
The event "CADE 2017" is part of the event series identified by [[Event Series:CADE]]
Deadlines
|
||
| Abstract |
|
||
| Submission |
|
||
| Notification |
Metrics
Submitted Papers
69
Accepted Papers
31
Venue
Gothenburg, Sweden
Warning: Venue is missing. The map might not show the exact location.
