| Friday |
4 June |
10:00 - 10:45 |
Anatol Slissenko
Title: Some algorithmic and logic questions arising in the analysis of security |
10:45 - 11:30 |
Seda Manukian
Title: On some relations between arithmetical systems and algebras of recursively numerable sets |
11:30 - 12:00 |
Coffee break |
12:00 - 12:45 |
Paola D'Aquino and Angus Macintyre
Title: Quadratic forms over models of  |
12:45 - 13:30 |
Mikael Khachatryan
Title: On the complexity of representation of functions obtained by word recursion |
13:30 - 15:30 |
Lunch |
15:30 - 16:15 |
Marc Arabyan
Title: English typographic rules for scientific publication |
16:15 - 16:45 |
Coffee break |
16:45- 17:30 |
Yuri Movsisyan
Title: Euler's function for rings |
