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

UNILOG 2021 - The 7th World Congress and School on Universal Logic

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

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

7th World Congress on the Square of Opposition

Організатори 7-го Всесвітнього конгресу з логічного квадрата мають великий оптимізм, плануючи провести конгрес 16-20 вересня цього, 2020-го, року в Леувені (Бельгія). Зважаючи на нинішній розвиток короновірусної пандемії та недостатність карантинних заходів у багатьох країнах світу, немає впевненості в тому, що у вересні проводити масові заходи буде можливо і безпечно. Тим не менше, наводимо офіційне повідомлення від організаторів:

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

International Workshop "Rigorous Methods in Software Engineering and Blockchain Technologies" (RMSEBT2020)

Dear Colleagues,

It is a great pleasure to invite you to the forthcoming

International Workshop

Rigorous Methods in Software Engineering and Blockchain Technologies

(RMSEBT2020)

Kharkiv, Ukraine, June 2020

http://icteri.org/icteri-2020

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

International Conference on Mathematical Foundations of Informatics (MFOI-2020)

Dear Colleagues,

It is a great pleasure to invite you to the forthcoming

International Conference on Mathematical Foundations of Informatics

(MFOI-2020)

Kyiv, Ukraine, July 1–5, 2020

In view of the outbreak of the Coronavirus disease
(COVID-19) the MFOI-2020 conference is postponed to

January 12–16, 2021.

http://mfoi2020.inf.ua/index.html

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

2nd World Logic Day in Kyiv

On January 14, 2020 Ukrainian logicians celebrated the Second World Logic Day at the Taras Shevchenko National Kyiv University. The main scientific institutions of Ukraine were represented.

Two events took place:

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

Другий семінар, присвячений Всесвітньому дню логіки

Маємо приємність повідомити колегам, що, оскільки міжнародне відзначення Всесвітнього дня логіки отримало офіційне визнання ЮНЕСКО, Українське логічне товариство започатковує традицію проводити 14 січня кожного року, у Всесвітній логічний день, теоретичний семінар з логіки та її застосувань.

Перший такий семінар ми провели цього року. Другий семінар з логіки та її застосувань відбудеться 14 січня вже наступного 2020 року.

Місце проведення: Київський національний університет імені Тараса Шевченка, факультет комп'ютерних наук та кібернетики, пр-т Академіка Глушкова, корп. 4Д, ауд. 01 (з холу прямо вниз сходами).

Початок семінару: 10:30.

Прохання до всіх зацікавлених подавати тези (1 стор.) на адресу logicukraine@gmail.com до 12 січня 2020 року.

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

Всесвітній день логіки отримав визнання з боку ЮНЕСКО

Нині маємо чудовий привід привітати всю логічну спільноту: тепер ми офіційно маємо професійне свято. Всесвітній день логіки, який ми святкували цього року по всьому світу в рамках внутрішньої ініціативи у середовищі логіків, офіційно визнано ЮНЕСКО.

На 40-ій сесії Загальної конференції ЮНЕСКО, що проходила цього листопада у Парижі, день 14 січня офіційно оголошено Всесвітнім днем логіки, з приводу чого видано окрему прокламацію.

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

UCLA'2019

26–28 листопада цього, 2019, року на базі Київського національного університету імені Тараса Шевченка було проведено Першу українську конференцію «Логіка та її застосування» (UCLA'2019—The First Ukrainian Conference “Logic and Its Applications”). Конференція задумана та організована Українським логічним товариством за співучасті КНУ імені Тараса Шевченка, Києво-Могилянської академії та Львівської політехніки.

Конференція зібрала 25 учасників, які представляли 2 академічні інститути НАН України та 5 вишів з Києва, Харкова і Львова. Було здійснено 23 доповіді, які стосувалися філософських та математичних аспектів логіки. Тематично доповіді стосувалися логічного синтаксису, семантики, алгебри в логіці, логіки розв'язання, логічних методів в інформатиці та теоретичному програмуванні, логічної пропедевтики, а також окремих філософських проблем і навіть питань латиномовної термінології.

За підсумками UCLA'2019 видано друковані Праці Першої Української конференції «Логіка та її застосування» (PDF, 10,4 МБ).

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

Українське логічне товариство

14 січня цього року, в 1-ий Всесвітній День логіки в Києві ініціативною групою логіків було утворено Українське логічне товариство (УЛТ) як неформальне об'єднання логіків України.

На даний момент Товариство є неформальною спільнотою, тобто, не має статусу юридичної особи. Приєднатися можуть всі охочі фахівці: учені, філософи, інженери — професійна робота або особисті інтереси яких лежать в області логіки та суміжних дисциплін (як з боку математики, так і з боків філософії, інформаційних технологій, мовознавства та психології). Вступ до УЛТ не накладає ніяких зобов'язань.

Головою УЛТ обрано Нікітченка Миколу Степановича, доктора фізико-математичних наук, професора, завідувача кафедри теорії та технології програмування факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шеченка.

Електронна адреса Товариства: UkrainianLogicSociety@gmail.com

Звертаємо увагу на те, що адреса змінилася з часу утворення (тези для участі в семінарі «Логіка та її застосування» надсилалися на скриньку з дещо іншою назвою). Це пов'язано з вибором англомовної версії назви Товариства. Після нещодавнього нетривалого обговорення було погоджено, що офіційна назва УЛТ англійською має бути такою: Ukrainian Logic Society (ULS) [а не «Logical», як було запропоновано попередньо].

Запрошуємо долучатися до Товариства всіх охочих фахівців. Найближчим часом буде оголошено про майбутні заходи УЛТ.

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

Workshop “Logic and its Applications”

[en] As we planned, the theoretical workshop “Logic and its Applications” was organized in Taras Shevchenko National University of Kyiv at the Faculty of Computer Science and Cybernetics on January 14 within the framework of the celebration of the 1st World Logic Day.

The workshop had 15 talks, including two remote ones, made in a teleconference mode (from Moldova and Australia). A summary of abstracts and the topics presented at the workshop can be found in the file attached to this page.


[uk] Як і було заплановано, 14 січня цього року в рамках відзначення 1-го Всесвітнього Дня логіки в Київському національному університеті імені Тараса Шевченка на факультеті комп'ютерних наук та кібернетики було проведено теоретичний семінар «Логіка та її застосування».

На семінарі було 15 виступів, у тому числі два віддалених, в режимі телеконференції (з Молдови та Австралії). Зведену збірку тез та тем виступів, здійснених на семінарі, можна знайти в долученому до цієї сторінки файлі.

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

Всесвітній День логіки

Нагадуємо всім колегам, що нещодавно запропоновано відзначати 14 січня як Всесвітній День логіки. Ініціатива належить дослідникам з Logica Universalis Association.

Дата 14 січня прив'язана до двох символічних подій у світі логіки: народження Альфреда Тарського та смерті Курта Ґьоделя.

На даний момент до ініціативи відзначення долучилися професійні осередки у 34 країнах світу. Причому, в країнах з потужними науковими школами відзначення відбуватиметься в багатьох місцях одразу. Так, у Польщі заявлені заходи у 8 різних закладах, розташованих у 7 містах цієї країни.

Офіційна сторінка 1-го (цьогорічного) Всесвітнього Дня логіки в Інтернеті (з переліком усіх, хто долучається до відзначення):

В Україні зголосилися відзначати поки тільки в Київському національному університеті імені Тараса Шевченка на факультеті комп'ютерних наук та кібернетики. Як вказано у попередній новині, заплановано провести науковий семінар (з можливістю дистанційного відеопідключення) та установчі збори Українського логічного товариства.

Якщо ви бажаєте долучитися, або паралельно провести якісь заходи, присвячені Всесвітньому Дню логіки, у своєму навчальному чи науковому закладі та місті, сповістіть, будь ласка, організаторів, написавши на ел. адресу, вказану в попередній новині.

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

Організаційне оформлення логічної спільноти України

В Україні є логіки, але не існує єдиної логічної спільноти. Допомогти утворенню такої спільноти могла б відповідна організація як об'єднання учених. Наразі маємо ініціативну групу в Київському університеті на факультеті комп'ютерних наук та кібернетики, яка збирається вже найближчим часом втілити ідею створення української логічної організації в життя. Повідомлення від організаторів (увага: змінено адресу ел. пошти!):

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

Запрошуємо вас взяти участь у засіданні, присвяченому Всесвітньому Дню Логіки

Засідання відбудеться 14 січня 2019 року, у 10:30, в аудиторії 01, на факультеті комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка (Київ, Україна).

Адреса проведення:

03680, м. Київ, проспект Глушкова, 4д.

Порядок денний засідання:

1. Створення Українського логічного товариства.

2. Семінар «Логіка та її застосування».

Учасникам семінару пропонується подати реферат (до однієї сторінки англійською мовою) на адресу ukrainianlogicalsociety@gmail.com

Можлива SKYPE-презентація.

Щиро Ваш,

Голова оргкомітету
Проф. Микола Нікітченко

(http://www.cyb.univ.kiev.ua/departments.ttp.nikitchenko.html)

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

Дедлайн конгресу в Празі відсунувся на січень 2019 року

5–10 серпня наступного 2019 року в Празі відбудеться 16-ий за ліком Міжнародний конгрес із логіки, методології та філософії науки й технологій. Останній строк подачі матеріалів перенесено на 9 січня 2019 року. Трохи офіційних даних про конгрес:

16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY

PRAGUE
5–10 August 2019

CLMPST 2019 calls for contributed papers and contributed symposia in 20 thematic sections:

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

Круглий стіл «Співвідношення психології та логіки в історико-філософському контексті»

У Львові час від часу проводяться філософські круглі столи пам'яті засновника Львівсько-Варшавської школи Казимира Твардовського. 11 лютого наступного 2019 року у Львівській політехніці відбудеться черговий такий круглий стіл — цього разу на тему «Співвідношення психології та логіки в історико-філософському контексті». Строк подачі заявок — 1 лютого 2019 року. Повідомлення від організаторів (стилістику й лексику анотації збережено):

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

1st Logic Prizes Contest : Papers of all the Winners now on-line

Цього року за ініціативою групи логіків, що гуртуються довкола журналу «Logica Universalis», в багатьох країнах було проведено національні конкурси на найкраще дослідження з логіки. Нині вже підбито підсумки всіх конкурсів, оголошено переможців і вручено призи, а самі переможні дослідження опубліковано у спеціальному номері «Logica Universalis».

Як повідомив Жан-Ів Безьйо, нині цей спеціальний номер з премійованими статтями викладено у відкритий доступ. Оригінал повідомлення:

RSS-матеріал


by Dr. Radut