★ 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