Difference between revisions of "Or:CADE 2019"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by Th)
 
(modified through wikirestore by orapi)
 
(6 intermediate revisions by 2 users not shown)
Line 6: Line 6:
 
|Notification=2019/04/15
 
|Notification=2019/04/15
 
|Submitting link=https://easychair.org/account/signin.cgi?key=86002838.pLsrtCxbDKfIQzO1
 
|Submitting link=https://easychair.org/account/signin.cgi?key=86002838.pLsrtCxbDKfIQzO1
 +
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-030-29436-6
 +
|has Proceedings DOI=https://doi.org/10.1007/978-3-030-29436-6
 
|Acronym=CADE 2019
 
|Acronym=CADE 2019
|End date=2019/08/30
+
|End date=2019-08-30
 
|Series =CADE
 
|Series =CADE
 +
|presence=presence
 
|Type  =Conference
 
|Type  =Conference
 
|Country=BR
 
|Country=BR
 
|State  =BR/RN
 
|State  =BR/RN
 
|City  =BR/RN/Natal
 
|City  =BR/RN/Natal
 +
|Year  =2019
 
|Homepage=https://www.mat.ufrn.br/cade-27/
 
|Homepage=https://www.mat.ufrn.br/cade-27/
 
|Ordinal=27
 
|Ordinal=27
|Start date=2019/08/25
+
|Start date=2019-08-25
|Title  =The 27th International Conference on Automated Deduction}}
+
|Title  =The 27th International Conference on Automated Deduction
 +
|Accepted papers=34
 +
|Submitted papers=65
 +
|ISBN  =978-3-030-29435-9
 +
}}
 +
ISBN=978-3-030-29435-9 (print)
 +
 
 +
ISBN=978-3-030-29436-6 (online)

Latest revision as of 03:06, 7 December 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at Or:CADE 2019/rating

Or:CADE 2019
The 27th International Conference on Automated Deduction
Ordinal 27
Event in series CADE
Dates 2019-08-25 (iCal) - 2019-08-30
Presence presence
Homepage: https://www.mat.ufrn.br/cade-27/
Submitting link: https://easychair.org/account/signin.cgi?key=86002838.pLsrtCxbDKfIQzO1
Location
Location: BR/RN/Natal, BR/RN, BR
Loading map...

Important dates
Workshops: 2018/11/15
Abstracts: 2019/02/20
Submissions: 2019/02/27
Notification: 2019/04/15
Papers: Submitted 65 / Accepted 34 (52.3 %)
Table of Contents

ISBN=978-3-030-29435-9 (print)

ISBN=978-3-030-29436-6 (online)