Difference between revisions of "Event:CADE 2017"

From ConfIDent
m (Text replacement - "=User:Curator 83" to "=Ch")
(mobo import Concept___Events_With_Academic_Fields-migrated)
Line 4: Line 4:
 
|Ordinal=26
 
|Ordinal=26
 
|Type=Conference
 
|Type=Conference
|Field=Automated Deduction
 
 
|Submission deadline=2017/02/18
 
|Submission deadline=2017/02/18
 
|Homepage=http://www.cse.chalmers.se/~myreen/cade-26/
 
|Homepage=http://www.cse.chalmers.se/~myreen/cade-26/
Line 28: Line 27:
 
|Start Date=2017/08/08
 
|Start Date=2017/08/08
 
|End Date=2017/08/11
 
|End Date=2017/08/11
 +
|Academic Field=Automated Deduction
 
}}
 
}}

Revision as of 12:52, 24 August 2022

Cookies help us deliver our services. By using our services, you agree to our use of cookies.