TwoDay Seminar on Mathematical LogicSchool of Mathematics, IPM Tehran, Iran December 3031, 2009 (Dey 910, 1388) 

School of Mathematics, IPM Tehran, Iran December 3031, 2009 (Dey 910, 1388) 
Objective
There will be a special session in Mathematical Logic at the School of Mathematics in IPM on
December 3031, 2009 (Dey 910, 1388). 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.


Organizer

Registration
In order to register for the seminar, please contact (021)22290928.


Confirmed Speakers
 S. Mohammad Bagheri (Tarbiat Modarres University & IPM)
Linear Fragment of Metric Model Theory
 Farzad Didehvar (Amirkabir University of Technology & IPM)
Relation between the Usual Order and the Enumeration Orders of Elements of r.e. Sets
 Abbas Edalat (Imperial College, UK)
TBA
 Jafar Sadegh Eivazloo (University of Tabriz)
Valuational and Nonvaluational Definable Gaps in some Ordered Structures
 Morteza Moniri (Shahid Beheshti University & IPM)
A New Hierarchy of Subsystems of Heyting Arithmetic
 Rasool Ramezanian (Sharif University of Technology)
TBA
 Saeed Salehipourmehr (University of Tabriz)
Logarithmic Witnesses in Bounded Induction
 Mostafa Zaare (Damghan University of Basic Sciences)
Preservation Theorems for Kripke Models


TimeTable 
Time 
Wednesday, December 30 
Thursday, December 31 
9:0010:00 
Registration & Opening 
Massoud Pourmahdian (9:009:45) 
10:0010:45 
Morteza Moniri 
Abbas Edalat 
10:4511:15 
Coffee Break 
Coffee Break 
11:1512:00 
Saeed Salehipourmehr 
Jafar Sadegh Eivazloo 
12:0014:00 
Lunch 
Lunch 
14:0014:45 
Mostafa Zaare 
S. Mohammad Bagheri 
15:0015:45 
Rasool Ramezanian

Farzad Didehvar

* 
The lunch fee, which is 25,000 Rials per day, will be due at the time of registration.



Place
School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran 




 