| |
September 25 - December 18, 2014
- Yang Yue, National University of Singapore
A normal form theorem of computation on real numbers.
September 25, 2014
- Mohammad Golshani, IPM
How complicated can Cohen reals be?
October 2, 2014
- Shahram Mohsenipour, IPM
On the set mappings I.
October 9, 2014
- Shahram Mohsenipour, IPM
On the set mappings II.
October 16, 2014
- Seyed Mohammad Amin Khatami, Amirkabir University of Technology and IPM
Enriched Godel logics with nullary connectives.
October 23, 2014
- Saeed Salehi , University of Tabriz and IPM
The fundamental theorem of algebra in logic.
October 30, 2014
- Karim Khanaki, Arak University of Technology and IPM
Theories without the independence property and Talagrand's stability.
November 6, 2014
- Saleh Aliyari, IPM
On the ultrafilter extension.
November 27, 2014
- Rasoul Ramezanian, Sharif University of Technology and IPM (It has been canceled.)
A process algebraic form to represent extensive games.
December 4, 2014
- Morteza Moniri, Shahid Beheshti University and IPM
Naturalism in the philosophy of Mathematics.
December 11, 2014
- Elahe Shirinkalam, Shahid Beheshti University
Dynamic quantum logic.
December 18, 2014
Information:
Starting date :
Thursday, September 25, 2014
Time : 14:00- 16:00, every Thursdays
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran
|
|
| |
|
