index.txt

<div class="news">
<br>
<a target="_blank" href="https://link.springer.com/book/10.1007%2F978-3-319-63046-5">Proceedings online</a><br>
List of <a href="accepted.html">accepted papers</a><br>
Call for papers: <a href="cfp.html">CFP</a><br>
Submission via <a href="https://easychair.org/conferences/?conf=cade26">EasyChair</a><br>
<br>
Students can apply for partial<br>
reimbursement of travel costs<br>
via the <a href="bledsoe.html">Woody Bledsoe Student<br>
Travel Award</a>.
</div>

<h1>CADE-26 in Gothenburg Sweden</h1>

<p> The conference on Automated Deduction (CADE) is the major
international forum at which research on all aspects of automated
deduction is presented. The first conference was held in 1974, with
this year’s conference being the 26th CADE. Early CADEs were mostly
biennial, and annual conferences started in 1996. The CADE conference
series is managed by <a href="http://www.cadeinc.org/">CADE Inc.</a>
which is a subcorporation of the <a
href="http://www.aarinc.org/">Association for Automated Reasoning
(AAR)</a>.</p>

<p> 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.</p>

<h2>Dates</h2>

<p>
6-7 August: Workshops<br>
8-11 August: Main Conference
</p>

<h2>Invited speakers</h2>

<p>
<a href="https://ts.data61.csiro.au/people/?cn=June+Andronick">June Andronick</a> &mdash; Data61<br>
<a href="https://www.doc.ic.ac.uk/~pg/">Philippa Gardner</a> &mdash; Imperial College London<br>
<a href="https://www.imandra.ai/">Grant Passmore</a> &mdash; Aesthetic Integration<br>
</p>

<h2>About Gothenburg</h2>

<p>Gothenburg is situated right in the heart of Scandinavia easily
accessible from around the world. The abundance of culture,
entertainment and outdoor activities as well as the city’s interesting
surroundings, closeness to the sea and the stunning archipelago
guarantee a whole new conference experience.</p>

<iframe src="https://player.vimeo.com/video/109809157" width="640" height="360" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>
<p><a target="_blank" href="https://vimeo.com/109809157">Gothenburg &ndash; Destination video</a> from <a target="_blank" href="https://vimeo.com/goteborgcom">G&ouml;teborg / Gothenburg</a> on <a target="_blank" href="https://vimeo.com">Vimeo</a>.</p>