Skip to Content
Зображення користувача Ярослав Кохан.

SSNC 2012: INTERNATIONAL SPRING SCHOOL IN NATURAL COMPUTING

Тематика сезонних логіко-математичних шкіл, що проходять в іспанській Тарргоні, постійно розширюється. Цього року там відбудеться Міжнародна весняна школа з природних обчислень. Повідомлення від організаторів:

Зображення користувача Ярослав Кохан.

IV конференція «Логіка і право»

11 травня цього року у Харкові на базі Юридичної академії України імені Ярослава Мудрого відбудеться IV науково-практична конференція «Логіка і право». Повідомлення від організаторів:

Зображення користувача Ярослав Кохан.

ОРФіК–2012: ще трохи часу до дедлайну

Якщо ви не встигли надіслати тези на Російсько-фінський колоквіум, що відбудеться цього року в Санкт-Петербурзі, то у вас є ще трохи часу: сьогодні було підтверджено, що тези можна надсилати до 20 січня.

Зображення користувача Ярослав Кохан.

SSFLA 2012

Цього року так само, як і минулого, в іспанській Таррагоні проводитиметься Міжнародна весняна школа з формальних мов та їх застосувань. Повідомлення від організаторів:

Зображення користувача Ярослав Кохан.

Square of Opposition III: продовження строків реєстрації

Організатори ІІІ Світового конгресу з логічного квадрату, про який є анонс і на нашому сайті, повідомляють, що строк прийому тез продовжено до 21 січня 2012 року. Можливо, комусь не вистачало якраз цього місяця на написання, тож тепер цілком можна встигнути.

Зображення користувача Ярослав Кохан.

Конференція в Київському університеті

У травні 2012 року в Київському національному університеті імені Тараса Шевченка відбудеться вже п’ята за рахунком конференція з проблем викладання логіки. Маємо інформацію від організаторів:

Зображення користувача Ярослав Кохан.

Російсько-фінський колоквіум та школа з логіки у Петербурзі

Наступного року в Санкт-Петербурзі, в Росії відбудеться одразу два заходи: Відкритий російсько-фінський колоквіум та Третя школа з логіки. Маємо повідомлення від організаторів:



Санкт-Петербургский государственный университет
Университет Хельсинки (Финляндия)
Санкт-Петербургское философское общество
Ассоциация логиков Санкт-Петербурга

Зображення користувача Ярослав Кохан.

Червоний день в логічному календарі

Сьогодні, 8 листопада, — день народження найбільшої постаті в історії логіки: 163 роки тому на світ з’явився основоположник символічної логіки Фрідріх Людвіґ Ґотлоб Фреґе, який перетворив логіку із периферійного і маргінального розділу філософії на потужну наукову дисципліну.

І хоча офіційним основоположником логіки як окремої галузі знання залишається Арістотель, вклад Фреґе в цю науку наразі є найбільшим серед усіх теоретиків, що дозволяє говорити про нього як про логіка № 1 в історії.

Зображення користувача Ярослав Кохан.

Square of Opposition III - Beirut 2012

Наступного року проводитиметься вже третя конференція з такого вузького і спеціального питання, як логічний квадрат. Перша така конференція відбулася в Монтеро (Швейцарія) в 2007 році, друга — в Корте, на Корсиці, в 2010 році. Третя конференція відбудеться наступного 2012 року в Бейруті (Ліван) 26-29 червня.

Зображення користувача Ярослав Кохан.

WSLST 2012: 1st announcement

Окрім літньої школи з мовленнєвих технологій, в Іспанії проводиться також зимова школа. Маємо повідомлення від організаторів:

Зображення користувача Ярослав Кохан.

AiML-2012

Ініціатива «Успіхи модальної логіки» (Advances in Modal Logic Initiative) проводитиме наступного року 9-ту за рахунком однойменну конференцію. Місце і час проведення — Данія, Копенгаген, 22–25 серпня.

Зображення користувача Ярослав Кохан.

Про логічний семінар у рамках цьогорічних Таврійських читань

7–10 вересня ць. р. на західному узбережжі Криму в селищі Береговому відбулися Сьомі Таврійські читання «Анахарсіс» , а в їхніх рамках — теоретичний семінар з логіки на тему «Вчення про означення». Попри невелику кількість учасників (переважно були присутні 7–12 чоловік) засідання семінару зайняло два неповні дні. Це було зумовлено тим, що на одну доповідь виділялолися 20 хв., що дозволяло учасникам достатньо висвітлити теми їхніх доповідей.

Список виголошених доповідей (в алфавітному порядку за прізвищами авторів):

Зображення користувача Ярослав Кохан.

SSLST 2011: call for participation

Іспанці розгорнули бурхливу діяльність на полі матлінгвістики. Надійшло повідомлення про ще одну літню школу — Міжнародну літню школу з мови та голосових (speech) технологій. Надійшло, щоправда, запізно: строки реєстрації давно минули. Розміщую інформацію на майбутнє та для тих, хто, можливо, перебуватиме на час школи в Іспанії. Повідомлення від організаторів:

Зображення користувача Ярослав Кохан.

LATA 2012: 1st call for papers

Знову маємо повідомлення про щорічну конференцію в Іспанії з матлінгвістики та теорії автоматів. На цей раз про ту, що буде в наступному році.

Зображення користувача Ярослав Кохан.

Онлайн-бібліотеки

Вирішив скласти список інтернет-ресурсів, з яких можна завантажувати скани книжок і статей. По можливості, список оновлюватиметься. На даний момент мені доводилося користуватися такими ресурсами:

RSS-матеріал


by Dr. Radut