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)
 
(4 intermediate revisions by the same user 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)