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)
Line 23: Line 23:
 
|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 (print)
 
ISBN=978-3-030-29435-9 (print)
  
 
ISBN=978-3-030-29436-6 (online)
 
ISBN=978-3-030-29436-6 (online)

Revision as of 03:58, 6 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)