Difference between revisions of "Or:CADE 2019"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
 
(2 intermediate revisions by the same user not shown)
Line 8: Line 8:
 
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-030-29436-6
 
|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
 
|has Proceedings DOI=https://doi.org/10.1007/978-3-030-29436-6
|ISBN=978-3-030-29435-9
 
 
|Acronym=CADE 2019
 
|Acronym=CADE 2019
|End date=2019/08/30
+
|End date=2019-08-30
 
|Series =CADE
 
|Series =CADE
 
|presence=presence
 
|presence=presence
Line 17: Line 16:
 
|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
 
|Accepted papers=34
|Submitted papers=65}}
+
|Submitted papers=65
 +
|ISBN  =978-3-030-29435-9
 +
}}
 
ISBN=978-3-030-29435-9 (print)
 
ISBN=978-3-030-29435-9 (print)
  
 
ISBN=978-3-030-29436-6 (online)
 
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)