Mathematical Logic
 
 
October 3-December 12, 2013

Titles of Talks


- Saeed Salehi Pourmehr, University of Tabriz and IPM
Theoremizing Paradoxes.
October 3, 2013

-S. Mohammad Amin Khatami , Amirkabir University of Technology
Model Theory of Ultrametric Structures.
October 10, 2013

- Meghdad Ghari , IPM (This session has been canceled.)
Labeled Sequent Calculus for Justification Logics.
October 17, 2013

- Shahram Mohsenipour , IPM
A New Method of Constructing End Elementary Extensions.
October 31, 2013

- Karim Khanaki
Amenability and Probability Logic.
November 7, 2013

- Alireza Mofidi, IPM
Dynamical Approaches in (Model Theoretic) Stability Theory.
November 21, 2013

- Mohamamd Golshani , IPM
On the Inner Model HOD.
November 28, 2013

- Mehran Fallah , Amirkabir University of Technology
Non Monotonic Access Control.
December 5, 2013

- Nazanin Roshandel Tavana , IPM
Continuous Model Theory of Operator Algebras.
December 12, 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.