Upcoming Events

Targeted Attacks on Coin Tossing Protocols and Applications
Speaker(s): Mohmmad Mahmoody
Date: 2022/1/30
Time: 16:00 - 17:00
Venue: (IPM V-Meeting Software))


M. Ghari, A note on fixed points in quantified logic of proofs and the surprise test paradox (In Persian) Logical Studies (to appear) More Info
M. Ghari, Linear temporal justifiCation logics with past and future time modalities Log. J. IGPL (to appear) More Info
K. Khanaki, $\Aleph_0$-categorical Banach spaces contain $\Ell_P$ or $C_0$ Math. Logic Quart. (to appear) More Info
S. Tari, Strong cell decomposition property in o-minimal traces Arch. Math. Logic (2020), DOI: 10.1007/s00153-020-00739-2  More Info
Sh. Mohsenipour, Discrete orderings in the real spectrum J. Algebra 560(2020), 1-16  More Info