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

Results of Ukrainian Logic Society Prize – 2021

Results of Ukrainian Logic Society Prize – 2021

Four papers were submitted for the Prize:

  • Dr. Andrii Kryvolap. Investigating Separation Logic as Logic of Quasiary Predicates;
  • Dr. Ievgen Ivanov. On Induction Principles for Partial Orders;
  • PhD students Maksym Poltorackiy and Yuliia Tarasich. Formation of Requirements for the Verification System of Formal Models of Programs;
  • PhD student Tohrul Mamedov. Application of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition.
Зображення користувача Ярослав Кохан.

3-ій Всесвітній день логіки

[en] Congratulations on our professional holiday—World Logic Day—to colleagues and everyone involved! And we wish you professional achievements! Further, we remind you that this year the celebration of the World Logic Day in Ukraine takes place online as part of the MFOI conference (for links, see the conference program).

We also would like to remind you that numerous events are being held at the international level to commemorate the 3rd World Logic Day (see here), in particular, at 17:00-17:20 (Kyiv time) there will be a live broadcast of the International Welcome Ceremony of the World Logic Day on YouTube.

We encourage colleagues to join the celebration!

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

Також нагадуємо, що на міжнародному рівні проводяться численні заходи з відзначення вже 3-го Всесвітнього дня логіки (див. тут), зокрема, в 17:00-17:20 за Києвом відбудеться пряма трансляція урочистої церемонії з цього приводу на платформі YouTube.

Закликаємо колег долучатися до відзначення!

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

MFOI-2020

We would remind that in view of the outbreak of the Coronavirus disease (COVID-19), VI International Conference on Mathematical Foundations of Informatics (MFOI-2020) will be run in the online mode.

MFOI-2020 is postponed to January 12–16, 2021.

During MFOI, January 14, 2021 is devoted to the World Logic Day.

The collocated events on January 14, 2021 are

Program of the MFOI-2020 is in the attached PDF file.

Ukrainian Logic Society Prize-2021

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

UKRAINIAN LOGIC SOCIETY PRIZE – 2021

The Ukrainian Logic Society announces the contest for young scientists.

1) The Prize will be awarded every three years.

2) Contestants should submit an unpublished paper (between 10 and 30 pages) in any area of logic, written in English. The paper should have at most two authors (both young scientists).

3) The jury cosists of Ukrainian researchers from different regions of the country who represent various areas of logic.

4) The prize, besides being an honor, will support the winner's participation in the World Congress of Universal Logic and the publication of the paper in the Logica Universalis journal, Birkhauser. The prize is a part of the project A PRIZE OF LOGIC IN EVERY COUNTRY.

5) Contestants must be from 18 to 35 years old. Contestants should live in Ukraine and be affiliated with a university (or other educational institution) in Ukraine.

6) Jury of the logic contest:

  • Prof. Dr. Anatoliy Petravchuk – Taras Shevchenko National University of Kyiv (Chairman)
  • Prof. Dr. Ihor Dutsyak – Lviv Polytechnic National University
  • Dr. Yaroslav Kokhan – Skovoroda Institute of Philosophy of the National
    Academy of Sciences of Ukraine
  • Prof. Dr. Michael Lvov – Kherson State University
  • Prof. Dr. Mykola Nikitchenko – Taras Shevchenko National University of Kyiv
  • Prof. Dr. Grygoriy Zholtkevych – V. N. Karazin Kharkiv National University

7) It is expected that the papers should be presented at the Third World Logic Day in Ukraine on January 14, 2021.

8) Deadline for paper submission: December 28, 2020. The paper and the author’s CV with a list of publications should be sent to logicukraine@gmail.com

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

Ukrainian Logic Society Prize – 2020

Ukrainian Logic Society Prize – 2020

logicukraine@gmail.com

The Ukrainian Logic Society announces the contest for young scientists.

1) The Prize will be awarded every two years.

2) Contestants should submit an unpublished paper (between 10 and 30 pages) in any area of logic, written in English. The paper should have at most two authors (both young scientists).

3) The jury consists of Ukrainian researchers from different regions of the country who represent various areas of logic.

4) The prize, besides being an honor, will support the winner's participation in the World Congress of Universal Logic and the publication of the paper in the Logica Universalis journal, Birkhauser. The prize is a part of the project A PRIZE OF LOGIC IN EVERY COUNTRY.

5) Contestants must be from 18 to 35 years old. Contestants should live in Ukraine and be affiliated with a university (or other educational institution) in Ukraine.

6) Jury of the logic contest:

  • Prof. Dr. Anatoliy Petravchuk – Taras Shevchenko National University of Kyiv (Chairman)
  • Prof. Dr. Ihor Dutsyak – Lviv Polytechnic National University
  • Dr. Yaroslav Kokhan – Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine
  • Prof. Dr. Michael Lvov – Kherson State University
  • Prof. Dr. Mykola Nikitchenko – Taras Shevchenko National University of Kyiv
  • Prof. Dr. Grygoriy Zholtkevych – V. N. Karazin Kharkiv National University

7) Deadline for paper submission: November 01, 2020. The paper and the author’s CV with a list of publications should be sent to logicukraine@gmail.com

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

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 виступів, у тому числі два віддалених, в режимі телеконференції (з Молдови та Австралії). Зведену збірку тез та тем виступів, здійснених на семінарі, можна знайти в долученому до цієї сторінки файлі.

RSS-матеріал


by Dr. Radut