School of Mathematics, IPM
Tehran, Iran
Jan. 4-5, 2006 |
Objective
There will be a special session in Mathematical Logic at the School of Mathematics in IPM on Jan.
4-5, 2006. The goal of this session is to bring together many of
the people in Iran who are working in Mathematical Logic and
related areas, to introduce students and young researchers the
topics of recent research. The tentative plan is to have some talks
of 45 minutes each.
|
|
Organizer
|
Photos
|
|
Confirmed Speakers
- Bahareh Afshari (University of Leeds, U.K)
Characterization of High D.C.E Degrees
- Mojtaba Aghaei (Isfahan University of Technology)
Logic of Proofs and Provability
- S. Masih Ayat (Tarbiat Modares University & IPM)
Weak Models of Arithmetic and Diophantine Approximations
- Majid Alizadeh (IPM)
Variety of Basic Algebras
- S. Mohammad Bagheri (Tarbiat Modares University & IPM)
Model Theory of Probability Structures (II)
- Farzad Didehvar (Shahid Beheshti University & IPM)
Quantum Computing
- Mehdi Ghasemi (Tarbiat Modares University)
An Application of Non-standard Analysis
- Shahram Mohsenipour (IPM)
An Application of Galois Theory in Weak Arithmetic
- Mojtaba Moniri (Tarbiat Modares University & IPM)
Binary Coding of Rotations & Computability
- Morteza Moniri (Shahid Beheshti University & IPM)
Models of Bounded Arithmetic
- Masoud Pourmahdian (Amir Kabir University of Technology & IPM)
Model Theory of Probability Structures (I)
|
| Time Table |
| Time |
Wednesday, Jan. 4, 2006 |
| 8:30-9:00 |
Registration |
| 9:00-9:15 |
Opening (G.B. Khosrovshahi) |
| 9:15-10:00 |
M. Alizadeh |
| 10:00-10:15 |
Coffee Break |
| 10:15-11:00 |
Mojtaba Moniri |
| 11:00-11:15 |
Break |
| 11:15-12:00 |
S. M. Ayat |
| 12:00-14:00 |
Lunch |
| 14:00-14:45 |
M. Pourmahdian |
| 14:45-15:00 |
Coffee Break |
| 15:00-15:45 |
B. Afshari |
| 15:45-16:00 |
Break |
| 16:00-16:45 |
F. Didehvar |
|
| Time |
Thursday, Jan. 5, 2006 |
| 9:00-9:45 |
Sh. Mohsenipour |
| 9:45-10:00 |
Break |
| 10:00-10:45 |
M. Aghaei |
| 10:45-11:15 |
Coffee Break & Group Photo |
| 11:15-12:00 |
S. M. Bagheri |
| 12:00-12:45 |
M. Ghasemi |
| 12:45-14:00 |
Lunch |
| 14:00-14:45 |
Morteza Moniri |
| 14:45-15:00 |
Coffee Break |
| 15:00-15:45 |
Problem Session |
|
|
| |
Place
School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran |
