| |
February 28-May 9, 2013
- Saleh Aliyari
Stone spaces and theory maps.
February 28, 2013
-Nazanin Roshandel-Tavana , IPM
Computable measure theory.
March 7, 2013
- Mojtaba Mojtahedi , Sharif University of Technology
Constructive arithmetics.
March 14, 2013
- Somayeh Tari , University of Tabriz
Open cell property in weakly o-minimal structures.
April 11, 2013
- Morteza Moniri , IPM and Shahid Beheshti University
Dynamic logic.
April 18, 2013
- Saeed Salehi Pourmehr , University of Tabriz and IPM
Rosser phenomenon: Applications in recursion theory.
April 25, 2013
- Mostafa Zare , University of Damghan
Models of epistemic arithmetic.
May 2, 2013
- Hadi Farahani , Shahid Beheshti University
Epistemic logic and security protocols.
May 9, 2013
Information:
Date :
Thursdays
Time : 14:00- 16:00
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran
|
|
| |
|
