Збірки тез

2019

Workshop “Logic and its Applications”. Book of Abstracts.

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

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

2020

World Logic Day Workshop 2020-Book of Abstracts

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:

1. The Winter meeting of the board of the Ukrainian Logic Society: results of 2019, plans for 2020.

2. The workshop “Logic and its Applications” (14 presentations).

The talks were of the following directions:

  • Philosophical Logic (3 presentations);
  • Mathematical Logic (3 presentations);
  • Logic in Computer Science (5 presentations);
  • Logic and Education (3 presentations).

Discussions were devoted to inductive definitions over special domains and consequence relations for epistemic logics.

The book of abstracts (partly in English) was prepared to summarize the results of the workshop.

World Logic Day Workshop 2020-Book of Abstracts.pdf (328 KB)