I was very lucky to have a chance to participate in the Masters Program in Computational Logic. This international program is a cooperation between five universities:
- Technische Universität Dresden, Germany
- Universidade Nova de Lisboa, Portugal
- Technische Universität Wien, Austria
- Free University of Bozen - Bolzano, Italy
- Universidad Politécnica de Madrid, Spain
In this program, I have learned many basic and advanced topics in logic. They make me more and more interested in logic and working in this field for my future research.