|
Mathematical Logic Weekly Seminar
|
سمینار هفتگی منطق ریاضی
|
|
|
|
TITLE
|
TWS5: A temporal logic of knowledge for authentication
|
|
|
SPEAKER
|
|
Sharar Ahmadi
|
|
|
|
AmirKabir university
|
|
|
|
|
|
|
|
TIME
|
|
Thursday, February 8, 2018,
|
|
14:00 - 16:00
|
|
|
|
VENUE |
Lecture Hall 1, Niavaran Bldg.
|
|
|
SUMMARY |
|
|
|
تهران، ضلع جنوبی
ميدان شهيد باهنر (نياوران)، پژوهشگاه
دانشهای بنيادی، پژوهشکده رياضيات
School of
Mathematics, Institute for Research in
Fundamental Sciences (IPM), Niavaran
Bldg., Niavaran Square, Tehran
ipmmath@ipm.ir
♦ +98 21
22290928 ♦
math.ipm.ir |
|
|
|
