26th Conference on Automated Deduction

​CADE is the major international forum at which research on all aspects of automated deduction is presented.
The conference will take place at the Lindholmen Science Park, which offers a development environment where industry, academia and the public sector runs research and development projects.
Kategori Konferens
Plats: Lindholmen Science Park, science park, Lindholmen
Tid: 2017-08-06 08:45
Sluttid: 2017-08-11 16:30

Publicerad: må 10 jul 2017.