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

Помер Авенір Уйомов

29 травня в Одесі на 85-ому році життя помер Авенір Іванович Уйомов — надзвичайно оригінальний логік і філософ сучасності.

Авенір Уйомов відомий перш за все тим, що запропонував альтернативу для предикатних мов символічної логіки — т. зв. Мову тернарного опису — і створив Параметричну загальну теорію систем.

Джерело повідомлення і біографічна довідка.
Сторінка, присвячена Уйомову, на сайті ОНУ ім. І. І.Мечникова

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

FSFLA 2012

Услід за Весняною школою з формальних мов та їхніх застосувань (SSFLA) в іспанській Таррагоні вже планується й відповідна чергова Осіння школа (FSFLA). Повідомлення від організаторів:

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

Logic and Relativity: István Németi's 70th birthday conference

Прийшло ось таке повідомлення на пошту:

Call for Papers
First International Conference on Logic and Relativity:
honoring István Németi's 70th birthday
September 8 - 12, 2012, Budapest
http://www.renyi.hu/conferences/nemeti70/

Якщо піти за вказаною адресою, можна взнати все про конференцію. Одне тільки не вельми тішить:

Deadline for abstract/paper submission: Sunday 3 June, 2012.

Ось так: до дедлайна лишилося вже менше, ніж два тижні, а організатори тільки заворушилися. Ну, вже як є.

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

Восьмі Таврійські читання «Анахарсіс»

На вересень нинішнього року в Криму заплановано проведення чергових Таврійських читань «Анахарсіс». Цього разу, всупереч назві, в рамках конференції відбудеться не логічний, а методологічний семінар.

Подаємо офіційне повідомлення від організаторів про конференцію і (нижче) звернення до учасників, що бажають взяти участь саме в логічному/методологічному семінарі (в тексті він навіть названий секцією, що, судячи з минулорічного досвіду, відповідатиме дійсності):

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

TPNC 2012: submission deadline extended

Організатори 1-ої Міжнародної конференції з теорії та практики природних обчислень (TPNC 2012) повідомляють, що останній строк надсилання заявок на участь у конференції продовжено до 8 травня (було 1 травня). Отже, у охочих взяти участь з’явився ще тиждень часу.

Оновлення. Організатори знову відсунули дедлайн — тепер надсилати заявки можна до 21 травня (до 23:59 за середньоєвропейським часом). Обіцяють, що це вже точно останнє продовження строків.

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

SSLST 2012

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

Зображення користувача Андрій Васильченко.

Аналітична філософія - Call for Papers

Шановні колеги!

Дякуємо всім, хто взяв участь в "аналітичному" випуску журнала "Філософська думка" (ФД №3, 2011).
Запрошуємо взяти участь у наступному "аналітичному" випуску, який ми плануємо зібрати найближчим часом.

Оскільки аналітичний випуск 2011 р. мав потужну історико-філософську компоненту, у випуску 2012 р. ми плануємо надати перевагу методологічним і предметним статтям.

Отже, чекаємо від вас статей, в яких здійснюється аналіз певної філософської проблеми із застосуванням аналітичного методу, а також статей, в яких висвітлюється одна з наступних тем:

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

ProofWiki

На просторах інтернету з’явився цікавий сайт ProofWiki, задуманий як колекція математичних теоретичних фактів: теорем, доведень, означень, логічних законів.

В категорії «Логіка», на перший погляд, поки доволі мало статей, але якщо набрати в пошуку який-небудь термін або просто піти в статті підкатегорій, можна натрапити там на відверто більшу кількість статей.

Особливо ж приємно, що сайт підтримує синтаксис у стилі LateX, що дозволяє писати формули просто у статтях.

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

1st INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING

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

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

SSNC 2012: INTERNATIONAL SPRING SCHOOL IN NATURAL COMPUTING

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

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

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

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

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

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

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

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

SSFLA 2012

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

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

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

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

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

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

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

RSS-матеріал


by Dr. Radut