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

TPNC 2012: запит на наочні презентації

Організатори Першої міжнародної конференції з теорії та практики природних обчислень (TPNC) запрошують охочих присилати наочні презентації (poster presentations) своїх доповідей. Докладніше:

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

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

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 року. Можливо, комусь не вистачало якраз цього місяця на написання, тож тепер цілком можна встигнути.

RSS-матеріал


by Dr. Radut