انجمن منطق ایران اولین جایزه سال منطق (جایزه ابنسینا) را در سال ۱۴۰۴ اهدا میکند. برگزیده این جایزه به عنوان نماینده ایران در سومین جایزه بینالمللی منطق که در سال ۲۰۲۵ اهدا میشود شرکت خواهد نمود. برای شرکت در این جایزه پژوهشگران حوزه منطق در داخل ایران میتوانند یک مقاله کامل انگلیسی در فرمت مجله Logica Universalis تا تاریخ ۳۱ فروردین ۱۴۰۴ به ایمیل دبیرخانه انجمن ([email protected]) ارسال نمایند. این مقاله نباید در هیچ رویدادی ارایه یا در مجلهای منتشر شده باشد. مقاله برگزیده که توسط هیات داوران جایزه ابنسینا در شهریور ۱۴۰۴ انتخاب خواهد شد، در ویژهنامه مجله Logica Universalis منتشر شده و برای شرکت در جایزه بینالمللی منطق ۲۰۲۵ که توسط Logica Universalis Association برگزار میشود به صورت حضوری شرکت خواهد نمود.
انجمن منطق ایران اولین جایزه سال منطق (جایزه ابنسینا) را در سال ۱۴۰۴ اهدا میکند. برگزیده این جایزه به عنوان نماینده ایران در سومین جایزه بینالمللی منطق که در سال ۲۰۲۵ اهدا میشود شرکت خواهد نمود. برای شرکت در این جایزه پژوهشگران حوزه منطق در داخل ایران میتوانند یک مقاله کامل انگلیسی در فرمت مجله Logica Universalis تا تاریخ ۳۱ فروردین ۱۴۰۴ به ایمیل دبیرخانه انجمن ([email protected]) ارسال نمایند. این مقاله نباید در هیچ رویدادی ارایه یا در مجلهای منتشر شده باشد. مقاله برگزیده که توسط هیات داوران جایزه ابنسینا در شهریور ۱۴۰۴ انتخاب خواهد شد، در ویژهنامه مجله Logica Universalis منتشر شده و برای شرکت در جایزه بینالمللی منطق ۲۰۲۵ که توسط Logica Universalis Association برگزار میشود به صورت حضوری شرکت خواهد نمود.
In a statement, the regulator said the search and seizure operation was carried out against seven individuals and one corporate entity at multiple locations in Ahmedabad and Bhavnagar in Gujarat, Neemuch in Madhya Pradesh, Delhi, and Mumbai. You may recall that, back when Facebook started changing WhatsApp’s terms of service, a number of news outlets reported on, and even recommended, switching to Telegram. Pavel Durov even said that users should delete WhatsApp “unless you are cool with all of your photos and messages becoming public one day.” But Telegram can’t be described as a more-secure version of WhatsApp. Telegram does offer end-to-end encrypted communications through Secret Chats, but this is not the default setting. Standard conversations use the MTProto method, enabling server-client encryption but with them stored on the server for ease-of-access. This makes using Telegram across multiple devices simple, but also means that the regular Telegram chats you’re having with folks are not as secure as you may believe. During the operations, Sebi officials seized various records and documents, including 34 mobile phones, six laptops, four desktops, four tablets, two hard drive disks and one pen drive from the custody of these persons. Either way, Durov says that he withdrew his resignation but that he was ousted from his company anyway. Subsequently, control of the company was reportedly handed to oligarchs Alisher Usmanov and Igor Sechin, both allegedly close associates of Russian leader Vladimir Putin.
from jp