Mathematical Logic
 
 
February 28-May 9, 2013

Titles of Talks


- 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
 
 
back to top
footer
 

webmaster | ipmic@ipm.ir   Copyright © 2012, All rights reserved.