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

Logica Universalis Webinar

На хвилі пандемії Covid-19 набувають популярності заходи, організовані винятково у віртуальному режимі. Серед інших маємо й низку заходів від проекту Logica Universalis, об'єдниних під спільною назвою «Logica Universalis Webinar» («вебінар» — невдала, проте поширена назва для семінару, проведеного он-лайн; невдалість полягає в тому, що такі семінари проводяться не у web, а за допомогою окремих програм для організації відеоконференцій та потокового мовлення).

Самі організатори пишуть наступне:

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

TABLEAUX 2021

TABLEAUX 2021

30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Birmingham, UK
6-9 September 2021
https://tableaux2021.org/

The main information:

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

7th World Congress on the Square of Opposition

Two weeks ago we had a celebration on the Square of Opposition for the 3rd edition of the World Logic Day.
On the page of the event you can find slides and papers:

We would like to remember that the 7th edition of the World Congress on the Square of Opposition should take place in Leuven, Belgium Sept 7-11, 2021:

and that the deadline to submit an abstract is April 21, 2021.

Due to coronavirus the event has been postponed from September 2020 to September 2021. All initially accepted abstracts are automatically approved for presentation in September 2021, and do not have to be resubmitted. If you did not submit an abstract for the cancelled 2020 edition, you can submit a contribution for the 2021 edition by sending a one page abstract before April 21, 2021 to: leuven2020@square-of-opposition.org.

For additional information see the site of the congress above.

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

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 січня офіційно оголошено Всесвітнім днем логіки, з приводу чого видано окрему прокламацію.

RSS-матеріал


by Dr. Radut