Wednesday, 19 January
10:00 - Opening (Speech by the IAL president)
10:15 - Description of the IAL election program and candidacy
10:30 - Mehdi Azimi (Invited): The concept of logic in Avicenna (chair: Ziya Movahed)
11:30 - Short Break
12:00 - Hassan Hamtaii: Zalta à la Clark (chair: Ziya Movahed)
12:30 - Fateme Sadat Nabavi: Preferential structures in deontic logic and nonmonotonic logic (chair: Ziya Movahed)
13:00 - Long Break
15:00 - Mohammad Golshani: Extensions of the Keisler-Shelah Isomorphism Theorem (chair: Saeed Salehi)
15:30 - Karim Khanaki: New results in “pure" model theory (chair: Saeed Salehi)
16:00 - Seyyed Ahmad Mirsanei: Non-standard completeness of first-order MTL's extension using the single-chain method (chair: Saeed Salehi)
16:30 - Melvin Fitting (Invited): Why Can’t Quantifier Domains Be Empty? (chair: Saeed Salehi)
Thursday, 20 January
10:30 - Shohreh Tabatabaei Seifi: Translation of DRT discourse language into Z descriptive language (chair: Morteza Moniri)
11:00 - Nazanin Roshandel Tavana: Complexity in Computable Analysis (chair: Morteza Moniri)
11:30 - Sara Negri (Invited): Modal embeddings revisited proof-theoretically (chair: Morteza Moniri)
12:30 - Long Break
14:30 - Presenting a report on the activities of the IAL in 2021
15:00 - Amirreza Shiralinasab: Language of a Topos as a Quotient of Category of Spans (chair: Mohammad Ardeshir)
15:30 - Mark van Atten (Invited): Intuitionistic induction (chair: Mohammad Ardeshir)
16:30 - Free discussion session with IAL board members