Training in Theorema (online)

Hosting institution: Johannes Kepler University, Linz, Austria
Period: 23.03 – 29.03.2020
Duration: 7 days

Aim:

The goal of the training is that participants to learn how to use the Theorema system for constructing theories and for generating proofs.


Message:

The event will be rescheduled because of the emergency situation in the entire world. Below is the official message of National Agency published on 10 March 2020:

“According to the measures adopted by the Romanian National Committee for Special Emergency Situations on March 9 2020, all mobilities within the Erasmus+, the European Solidarity Corps and EEA Grants are suspended until 31 of March 2020 (all departures or arrivals within this time frame).”

More details here: https://www.erasmusplus.ro/stire/vrs/IDstire/742


Hosting institution: Johannes Kepler University, Linz, Austria
Period: 16.03.2021 – 01.04.2021
Duration: 9 days
Program

Flyer

Local organizer:

  • Tudor Jebelean, JKU (chair)
  • Isabela Drămnesc, WUT