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