Telegram Group & Telegram Channel
سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ
: دوشنبه 25 فروردین 1404، ساعت 16 الی 18

عنوان: "S
_min : یک منطق فراسازگار در زبان موجهاتی"

سخنران
: جاوید جعفری (فارغ‌التحصیل دکترای منطق فلسفی - دانشگاه تربیت مدرس)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده سخنرانی: اینجا کلیک کنید.

————————————————

@IranLogic



tg-me.com/Research_Int_AUTMathCS/248
Create:
Last Update:

سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ
: دوشنبه 25 فروردین 1404، ساعت 16 الی 18

عنوان: "S
_min : یک منطق فراسازگار در زبان موجهاتی"

سخنران
: جاوید جعفری (فارغ‌التحصیل دکترای منطق فلسفی - دانشگاه تربیت مدرس)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده سخنرانی: اینجا کلیک کنید.

————————————————

@IranLogic

BY Research_Int_MathCS_AUT




Share with your friend now:
tg-me.com/Research_Int_AUTMathCS/248

View MORE
Open in Telegram


telegram Telegram | DID YOU KNOW?

Date: |

NEWS: Telegram supports Facetime video calls NOW!

Secure video calling is in high demand. As an alternative to Zoom, many people are using end-to-end encrypted apps such as WhatsApp, FaceTime or Signal to speak to friends and family face-to-face since coronavirus lockdowns started to take place across the world. There’s another option—secure communications app Telegram just added video calling to its feature set, available on both iOS and Android. The new feature is also super secure—like Signal and WhatsApp and unlike Zoom (yet), video calls will be end-to-end encrypted.

Pinterest (PINS) Stock Sinks As Market Gains

Pinterest (PINS) closed at $71.75 in the latest trading session, marking a -0.18% move from the prior day. This change lagged the S&P 500's daily gain of 0.1%. Meanwhile, the Dow gained 0.9%, and the Nasdaq, a tech-heavy index, lost 0.59%. Heading into today, shares of the digital pinboard and shopping tool company had lost 17.41% over the past month, lagging the Computer and Technology sector's loss of 5.38% and the S&P 500's gain of 0.71% in that time. Investors will be hoping for strength from PINS as it approaches its next earnings release. The company is expected to report EPS of $0.07, up 170% from the prior-year quarter. Our most recent consensus estimate is calling for quarterly revenue of $467.87 million, up 72.05% from the year-ago period.

telegram from us


Telegram Research_Int_MathCS_AUT
FROM USA