World Logic Day

★ The Third LOGIC DAY ★

(January 14, 2021)

(25 / dey / 1399)



Presentations

1. Nonmonotonic Reasoning: Default Logic, Defeasible Logic,
‌ Zeynab Ayatollahi, 10 AM


2. A Common Trick of Godel and Tarski, Saeed Salehi, 11 AM


3. Medieval Muslim Philosophers on Future Contingent Propositions
and God's Knowledge of Them, Mohammad Saleh Zarepour, 12 PM


4. Computable and Punctual Algebras, Iskander Kalimullin, 1 PM


5. Twelve Portraits of Infinity, Piergiorgio Odifreddi, 2 PM


6. Indeterminateness and The Universe of Sets, Neil Barton, 3 PM



Click Here to Participate





Organizers:

Farzad Didehvar

Ali Sadegh Daghighi

Nazanin Roshandel Tavana

Mahdi Haghshenas



★ The Second LOGIC DAY ★

(January 14, 2020)

(24 / dey / 1398)





★ The First LOGIC DAY ★

(January 14, 2019)

(24 / dey / 1397)


Presentations

1. From Gödel to Tarski, Masoud Pourmahdian


2. A Survey on Computable Analysis, Nazanin Roshandel Tavana


3. Logic in Mathematics: From Dynamical Systems to Mathematical Puzzles, Alireza Mofidi


4. A Short History of Theory of Computation, Farzad Didehvar



Toward a logical world




Logicians :





Middleeastern logicians :



Some rebellions :




organizers :

Alireza Bayat

Farzad Didehvar

Kiarash Gharayeli

Zahra Golpayegani

Mohammad Husseyn Yeke

Vahid Mahzoon

Iman Malekiyaan

Fargol Nasiri

Meysam Oskouei