Presentations |
1. Nonmonotonic Reasoning: Default Logic, Defeasible Logic, |
2. A Common Trick of Godel and Tarski, Saeed Salehi, 11 AM |
3. Medieval Muslim Philosophers on Future Contingent Propositions
|
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 |
Farzad Didehvar |
Ali Sadegh Daghighi |
Nazanin Roshandel Tavana |
Mahdi Haghshenas |
---|
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 |
Alireza Bayat |
Farzad Didehvar |
---|---|
Kiarash Gharayeli |
Zahra Golpayegani |
Mohammad Husseyn Yeke |
Vahid Mahzoon |
Iman Malekiyaan |
Fargol Nasiri |
Meysam Oskouei |