### Topics

- Historical Traces
- Mathematical Examples
- H24 and Philosophy of Mathematics
- Proof Theory
- Purity of Method
- Explanation
- Combinatorial Proofs

## In evidence:

- Days in Logic, Aveiro, 25-27 January, 2018
- WCA 2017 – Saturday 2 (9:30 am – 12:30) December, 2017
- Wilfried Sieg (Carnegie Mellon University): Mini-curse: “Thinking, Computing, Thinking”, Oct 2017
- Axiomatic Thinking, October 11-14, 2017; Lisbon
- Simplicity of Proofs in Automated Reasoning, July 6, 2017; Universidade Nova de Lisboa

- Kahle/Pulcini. Purity, Impurity, and Hilbert’s 24th Problem. Paper accepted at LOGICA 2017 Hejnice monastery, 19 – 23 June 2017