The following workshops/competition will be organized alongside CADE-27 from 25 to 29 August 2019 at the Praiamar Hotel.
- The CADE ATP System Competition (CASC), Thursday 29th
- Deduction Mentoring Workshop (DeMent 2019), Sunday 25th
- Logical and Semantic Frameworks, with Applications (LSFA), Sunday 25th and Monday 26th
- Proof eXchange for Theorem Proving (PxTP), Monday 26th
- Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE), Monday 26th
- Theorem Prover Components for Educational Software (ThEdu’19), Sunday 25th