Events Archive
Nisan-Wigderson Generators in Proof Complexity: New Lower Bounds
Speaker(s): Erfan Khaniki
Date: 2024/12/12
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Model Theory of Tame Classes of Finite Structures
Speaker(s): Anuj Dawar
Date: 2024/11/28
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Large Cardinals Beyond HOD
Speaker(s): Joan Bagaria i Pigrau
Date: 2024/11/7
Time: 14:00 - 16:00
Venue: Lecture Hall 2
On Provability Logic of Heyting Arithmetic
Speaker(s): Mojtaba Mojtahedi
Date: 2024/10/31
Time: 14:00 - 16:00
Venue: Lecture Hall 2
The Randomization of the First Order Theories and Stability Theory
Speaker(s): Karim Khanaki
Date: 2024/10/17
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Theory of Fuzzy Time Computation (TC+CON(TC^*)?P?NP)
Speaker(s): Farzad Didehvar
Date: 2024/7/10
Time: 14:00 - 16:00
Venue: Seminar Room
Theory of Fuzzy Time Computation (TC+CON(TC^*)?P?NP)
Speaker(s): Farzad Didehvar
Date: 2024/7/3
Time: 14:00 - 16:00
Venue: Seminar Room
Strong Minimal Sets in Differentially Closed Fields-Equations of Poizat and Lienard Type
Speaker(s): David Marker
Date: 2022/2/16
Time: 17:30 - 19:30
Venue: Lecture Hall 2
Corona Rigidity
Speaker(s): Ilijas Farah
Date: 2022/2/9
Time: 16:00 - 18:00
Venue: (IPM V-Meeting Software))
Higher Order Stability, 3-uniform Hyper Graphs, and Arithmetic Regularity
Speaker(s): Caroline Terry
Date: 2021/12/8
Time: 17:00 - 19:00
Venue: Lecture Hall 2
Algebraic Constructions in Models of Peano Arithmetic and its Weak Fragments
Speaker(s): Paola D'Aquino
Date: 2021/12/1
Time: 16:30 - 18:30
Venue: Lecture Hall 2
Semantics of Boolean-valued Models and their Connection and Application to the Standard Model of Set Theory
Speaker(s): Asgar Jamneshan
Date: 2021/11/24
Time: 15:30 - 17:30
Venue: Lecture Hall 2
Semantics of Boolean-valued Models and their Connection and Application to the Standard Model of Set Theory
Speaker(s): Asgar Jamneshan
Date: 2021/11/17
Time: 15:30 - 17:30
Venue: Lecture Hall 2
Strong Tree Properties, the Kurepa Hypothesis, and the Continuum
Speaker(s): Chris Lambie-Hanson
Date: 2021/11/10
Time: 17:30 - 19:30
Venue: Lecture Hall 2
Properly Ergodic Structures
Speaker(s): Alex Kruckman
Date: 2021/11/3
Time: 15:30 - 17:30
Venue: Lecture Hall 2
MS-measurability via Coordinatization
Speaker(s): Mostafa Mirabi
Date: 2021/10/27
Time: 16:30 - 18:30
Venue: (IPM V-Meeting Software))
Large Fields with Stable and Simple Theories
Speaker(s): Anand Pillay
Date: 2021/10/13
Time: 15:30 - 17:30
Venue: Lecture Hall 2
On the Reconstruction of non $\aleph_0$-Categorical Theories, and some Remarks on 8Witnesses in Continuous Logic
Speaker(s): Itai Ben Yaacov
Date: 2021/10/6
Time: 15:30 - 17:30
Venue: (IPM V-Meeting Software))
Finite Support Iteration and Small Models
Speaker(s): Martin Goldstern
Date: 2021/3/3
Time: 15:30 - 17:30
Venue: (IPM V-Meeting Software))
Partitions of Well-founded Trees and Three Connections with Model Theory
Speaker(s): Andre Villaveces
Date: 2021/2/24
Time: 15:30 - 17:30
Venue: (IPM V-Meeting Software))
A Definable Hamel Basis without Choice
Speaker(s): Ralf Schindler
Date: 2021/2/3
Time: 15:30 - 17:30
Venue: (IPM V-Meeting Software))
The Herwig--Lascar Property of Groups, Ultraextensive Structures and Vershik's Conjecture
Speaker(s): Mahmood Etedadi Aliabadi
Date: 2020/12/23
Time: 16:00 - 18:00
Venue: Lecture Hall 2
Universal Theories and Compactly Expandable Models
Speaker(s): Enrique Casanovas
Date: 2020/12/16
Time: 16:30 - 18:30
Venue: (IPM V-Meeting Software))
Linearisation in Finite-dimensional Theories
Speaker(s): Frank O. Wagner
Date: 2020/12/9
Time: 16:30 - 18:30
Venue: (IPM V-Meeting Software))
Friasse Limits of Categories of C*-algebras
Speaker(s): Saeed Ghasemi
Date: 2020/11/25
Time: 15:30 - 17:30
Venue: (IPM V-Meeting Software))
Generalized Descriptive Set Theory under I0
Speaker(s): Vincenzo Dimonte
Date: 2020/11/18
Time: 17:00 - 19:00
Venue: (IPM V-Meeting Software))
In Search of Higher Forcing Axioms; A Supplement to Veli?kovi?'s talk
Speaker(s): Rahman Mohammadpour
Date: 2020/10/28
Time: 15:30 - 17:30
Venue: (IPM V-Meeting Software))
In Search of Higher Forcing Axioms
Speaker(s): Boban Velickovic
Date: 2020/10/21
Time: 15:30 - 17:30
Venue: (IPM V-Meeting Software))
Combining Logic and Probability in the Presence of Symmetry
Speaker(s): Rehana Patel
Date: 2020/10/14
Time: 16:30 - 18:30
Venue: (IPM V-Meeting Software))
Model Theory of Adeles
Speaker(s): Jamshid Derakhshan
Date: 2020/10/7
Time: 15:30 - 17:30
Venue: (IPM V-Meeting Software))
Model Theory of Adeles
Speaker(s): Jamshid Derakhshan
Date: 2020/9/30
Time: 15:30 - 17:30
Venue: (IPM V-Meeting Software))
Stability in a Group
Speaker(s): Gabriel Conant
Date: 2020/9/23
Time: 15:30 - 17:30
Venue: (IPM V-Meeting Software))
Tameness for Set Theory
Speaker(s): Matteo Viale
Date: 2020/9/16
Time: 15:30 - 17:30
Venue: (Zoom Lecture)
Existentially Closed Closure Algebras.
Speaker(s): Philip Scowcroft
Date: 2020/9/9
Time: 15:30 - 17:30
Venue: (Online)
Cardinalities of Definable Sets in Finite Structures
Speaker(s): Dugald Macpherson
Date: 2020/7/29
Time: 15:30 - 17:30
Venue: (Online)
Purity and Model Theory of Modules
Speaker(s): Mike prest
Date: 2020/7/15
Time: 15:30 - 17:30
Venue: (Online)
Interpolative Fusions
Speaker(s): Alex Kruckman
Date: 2020/7/8
Time: 15:30 - 17:30
Venue: (Online)
Dynamic Topological Logic
Speaker(s): David Fernandez-Duque
Date: 2020/7/1
Time: 15:30 - 17:30
Venue: (Online)
Dynamic Topological Logic
Speaker(s): David Fernandez-Duque
Date: 2020/6/24
Time: 15:30 - 17:30
Venue: (Online)
Group Topologies on Automorphism Groups of First Order Structure
Speaker(s): Zaniar Ghadernezhad
Date: 2020/6/10
Time: 15:30 - 17:30
Venue: (Online)
Logical Relations on Span Categories
Speaker(s): A. R. Shir Ali Nasab
Date: 2020/2/19
Time: 15:30 - 17:30
Venue: Lecture Hall 2
${\sf MM}^{++}$ implies ($\star$)
Speaker(s): Ralf Schindler
Date: 2019/10/23
Time: 15:30 - 17:30
Venue: Lecture Hall 2
Galvins Question on Non-$\sigma$-well Ordered Lines
Speaker(s): Hossein Lamei Ramandi
Date: 2019/7/22
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Speaker(s): Fatemeh Sadat Nabavi
Date: 2019/7/18
Time: 14:00 - 16:00
Venue: Lecture Hall 2
The Convex Hull of Finitely Generable Subsets and its Predicate Transformer
Speaker(s): Mohammad Javad Davari
Date: 2019/7/11
Time: 14:00 - 16:00
Venue: Lecture Hall 2
More on Dividing Lines in Unstable Theories
Speaker(s): Karim Khanaki
Date: 2019/7/4
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Algebraic Approach to Non-monotonic Logics
Speaker(s): Esfandiar Eslami
Date: 2019/6/27
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Talking About the Sentences that Talk About Themselves!
Speaker(s): Saeed Salehi
Date: 2019/6/20
Time: 14:00 - 16:00
Venue: Lecture Hall 2
On Foreman's Maximality Principle
Speaker(s): Mohammad Golshani
Date: 2019/3/7
Time: 14:00 - 16:00
Venue: Lecture Hall 2
The (almost) Pointless Geometries
Speaker(s): Piergiorgio Odifreddi
Date: 2019/2/28
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Provability Logics of Hierarchies
Speaker(s): Amir Akbar Tabatabai
Date: 2019/2/21
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Possibility Semantics and Logics for Dynamical Systems
Speaker(s): Somayeh Chopoghloo
Date: 2018/12/27
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Subintuitionistic Logics
Speaker(s): Fatemeh Shirmohammadzade Maleki
Date: 2018/12/20
Time: 14:00 - 16:00
Venue: Lecture Hall 2
An Application of Forcing in Algebraic Topology
Speaker(s): Mohammad Hadi Hedayatzadeh
Date: 2018/12/13
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Sequent calculus systems for modal logic S5
Speaker(s): Mojtaba Aghaei
Date: 2018/12/6
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Higher Aronszajn trees
Speaker(s): Mohammad Golshani
Date: 2018/11/22
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Higher Aronszajn trees
Speaker(s): Mohammad Golshani
Date: 2018/11/15
Time: 14:00 - 16:00
Venue: Lecture Hall 2
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: Lecture Hall 2
Model Theory of Modal Probability Logic
Speaker(s): Reihane Zoghifard
Date: 2018/4/26
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Fraisse Limit Via Forcing
Speaker(s): Mohammad Golshani
Date: 2018/4/19
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Some Ramsey Properties of Cohen and Random Reals
Speaker(s): Mohammad Golshani
Date: 2018/4/12
Time: 14:00 - 16:00
Venue: Lecture Hall 2
TWS5: A temporal logic of knowledge for authentication
Speaker(s): Sharar Ahmadi
Date: 2018/2/8
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Provability Logic of Constructive Arithmetic
Speaker(s): S. Mojtaba Mojtahedi
Date: 2017/5/11
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Provability Logic of Constructive Arithmetic
Speaker(s): S. Mojtaba Mojtahedi
Date: 2017/5/4
Time: 14:00 - 16:00
Venue: Lecture Hall 2
Provability Logic of Constructive Arithmetic
Speaker(s): S. Mojtaba Mojtahedi
Date: 2017/4/27
Time: 14:00 - 16:00
Venue: Lecture Hall 2