Topics
- Historical Traces
- Mathematical Examples
- H24 and Philosophy of Mathematics
In evidence:
- Proof in Mathematical Education, October 26, 2019; Lisboa
- 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
For team members only