A detailed program will be available in due time.

Confirmed speakers are:

  • Michael Kinyon (University of Denver, USA)
  • João Araújo (University Aberta, Portugal
  • Alan J. Cain (New University of Lisbon, Portugal)

In addition to the invited talks, there will be sessions of short talks by research students and other junior researchers on topics related to computer algebra and simplicity of proofs.