1.JPG

Mailing List

Fill in this form to get notifications of upcomming events:
Written by S. Mojtaba Mojtahedi
Hits: 8207
Print

74.  Provability Interpretation of Propositional and Modal Logics, By Amirhossein Akbar Tabatabai, Sunday, September 11,  2016 (Shahrivar 21, 1395).

73.  What Computers Cannot Do, Two approaches, By Kai Hauser , Tuesday, March 3,  2015 (Esfand 12, 1393).

72.  Nonuniformity and Uniformity in Proof Complexity, By Kaveh Ghasemloo , Tuesday, September 23,  2014 (Mehr 1, 1393).

71.  Reverse Mathematics: An Overview, By Amir Khamseh, Tuesday, May 20,  2014 (Ordibehesht 30, 1393). (Presentation)

70.  Predicate Glivenko theorems and substructural aspects of negative translations, By Hadi Farahani, Tuesday, April 29, 2014 (Ordibehesht 9, 1393). (Presentation)

69. The Power Set Function: Global Behaviour, By Mohammad Golshani, Tuesday, April 15, 2014 (Farvardin 26, 1393).

68. Automatic Verification of Cryptographic Protocols: A Logic Programming Approach, By Mostafa Zaare, Tuesday, March 4, 2014 (Esfand 13, 1392). (Presentation)

67. نقاط ثابت در منطق‌های موجّهات و توجیه, By Meghdad Ghari, Tuesday, February 4, 2014 (Bahman 15, 1392).(Presentation)

66. کانونی بودن، مقدّماتی بودن و گراف‌هایِ اردوش, By Masoud Memarzadeh, Tuesday, December 3, 2013 (Azar 12, 1392).

65. Effective metric model theory, By Nazanin Roshandel Tavana, Tuesday, November 19, 2013 (Aban 28, 1392). (Presentation)

64. نگاشتِ بستار در آنالیز ساختیBy Zahra Ghafouri, Tuesday, November 5, 2013 (Aban 14, 1392). (Presentation)

63. همه‌نادانیِ مشترک, By Rahim Ramezanian, Tuesday, October 22, 2013 (Mehr 30, 1392).

62. Model theory, Shelah's Stability theory  and applications, By Alireza Mofidi, Tuesday, October 8, 2013 (Mehr 16, 1392).

61. A new approach to the Surprise Examination Paradox, By Vahid Vaezian, Sunday, May 5,  2013 (Ordibehesht 15, 1392).

60. Boolean Algebras in Visser Algebras, By Majid Alizadeh, Sunday, April 21,  2013 (Ordibehesht 1, 1392).

59. قضایای لوونهایم-اسکولم برای منطق موستوفسکی با سورهای تعمیم‌یافته، By Shahram Mohsenipour, Sunday, February 17, 2013 (Bahman 29, 1391).

58. An intuitionistic Epistemic Public Announcement Logic، By Rasool Ramezanian;  Thursday, February 03, 2013 (Bahman 15, 1391).

57. نظریّه‌ی مدل‌ها برای مفهوم برهان، By AmirHossein AkbarTabatabayi;  Thursday, March 03, 2012 (Esfand 13, 1391).

56. Epistemic Protocols, By Rahim Ramezanian; Tuesday, November 13, 2012 (Aban 23, 1391).

55. مبانی شهودگرایی, By Mohammad Ardeshir; October 28, 2012 (Aban 7, 1391).

54. مفهوم حقیقت (صدق) در شهودگرایی, By Mohammad Ardeshir; May 29, 2012 (Khordad 9, 1391).

53. Modal Basic propositional logic,  By Majid Alizadeh, Tuesday, May 8, 2012 (Ordibehesht 19, 1391).

52. A Solution to the Surprise Exam Paradox in Constructive Mathematics, By Rasool Ramezanian, Tuesday, April 24, 2012 (Ordibehesht 5, 1391).

51. Mathematics and Underdetermination: A Defence of Anti-Realism, By Mohammd Saleh Zarepour, Tuesday, April 10, 2012 (Farvardin 22, 1391).

50. Preserving full communication through public announcement, By Rahim Ramezanian, Tuesday, March 6, 2012 (Esfand 16, 1390).

49. Reviewing The Evolution of Principia Mathematica, By Seyed N. Mousavian, Tuesday, February 21, 2012 (Esfand 2, 1390).

48. گسترش ساختی برای سیستم‌های احتمالاتی, By Hassan Haghighi, Tuesday, December 20, 2011 (Azar 29, 1390).

47. Provability Logic of Constructive Arithmetics, By S.Mojtaba Mojtahedi, Tuesday, November 22, 2011 (Azar 1, 1390).

46. Some Rectified Gödelian Ontological Arguments, By Mahdi Ranaee, Tuesday, October 25, 2011 (Aban 3, 1390).

45. حدس شنوئل، مساله ي تارسكي و مباني حساب , By Shahram Mohseni Pour, Monday, July 11, 2011 (Tir 20,1390).

44. پارادكس آزمون غيرمنتظره , By Mohammad Saleh Zarepour; Monday, June 20, 2011( Khordad 30, 1390).

43. منطق دسترس پذيري, By Amir Tabatabayi; Monday, June 6,2011 (Khordad 16,1390).

42. Integral logic and applications, By Seyed Mohammad BagheriMonday, May 23, 2011 (Khordad 2, 1390).

41. When proof doesn't show a truth, By Farzad Didehvar, Monday, May 9, 2011 (Ordibehesht 19, 1390).

Last Updated on 07 September 2016 Read more: WSLP Full Story