Events Archive

On Foreman's Maximality Principle
Speaker(s): Mohammad Golshani
Date: 2019/3/7
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

The (almost) Pointless Geometries
Speaker(s): Piergiorgio Odifreddi
Date: 2019/2/28
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Provability Logics of Hierarchies
Speaker(s): Amir Akbar Tabatabai
Date: 2019/2/21
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Possibility Semantics and Logics for Dynamical Systems
Speaker(s): Somayeh Chopoghloo
Date: 2018/12/27
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Subintuitionistic Logics
Speaker(s): Fatemeh Shirmohammadzade Maleki
Date: 2018/12/20
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

An Application of Forcing in Algebraic Topology
Speaker(s): Mohammad Hadi Hedayatzadeh
Date: 2018/12/13
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Sequent calculus systems for modal logic S5
Speaker(s): Mojtaba Aghaei
Date: 2018/12/6
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Higher Aronszajn trees
Speaker(s): Mohammad Golshani
Date: 2018/11/22
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Higher Aronszajn trees
Speaker(s): Mohammad Golshani
Date: 2018/11/15
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

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