Events Archive

On Self-Embeddings of Models of Arithmetics and their Fixed Points
Speaker(s): Saeideh Bahrami
Date: 2018/5/10
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Model Theory of Modal Probability Logic
Speaker(s): Reihane Zoghifard
Date: 2018/4/26
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Fraisse Limit Via Forcing
Speaker(s): Mohammad Golshani
Date: 2018/4/19
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Some Ramsey Properties of Cohen and Random Reals
Speaker(s): Mohammad Golshani
Date: 2018/4/12
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

TWS5: A temporal logic of knowledge for authentication
Speaker(s): Sharar Ahmadi
Date: 2018/2/8
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Provability Logic of Constructive Arithmetic
Speaker(s): S. Mojtaba Mojtahedi
Date: 2017/5/11
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Provability Logic of Constructive Arithmetic
Speaker(s): S. Mojtaba Mojtahedi
Date: 2017/5/4
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Provability Logic of Constructive Arithmetic
Speaker(s): S. Mojtaba Mojtahedi
Date: 2017/4/27
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1