Всесвітній День Логіки (World Logic Day) - анонс (announcement)


Перший Всесвітній День Логіки (1st World Logic Day)



14.01.2019 р. пройде Перший Всесвітній День Логіки (1st World Logic Day).

Кафедра теорії та технології програмування, разом з групою Logic in Informatics та Українським підрозділом ACM, організовують зустріч-семінар, присвячену Першому Всесвітньому Дню Логіки під егідою Асоціації Універсальної Логіки.

Запрошуємо вас долучитись до події 14.01.2019 о 10:30 в ауд.01 факультету комп’ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка (за адресою Україна, м.Київ, проспект Академіка Глушкова, 4-Д, ст.метро “Виставковий центр”).

План заходу:

  • заснування Українського Співтовариства Логіки (Ukrainian Logic Society)
  • семінар “Логіка та її застосування” (Logic and its Applications)

Учасники семінару запрошуються виступити з доповіддю (тези до 1 стор., 12pt, англійською, надсилайте до 11.01.2019 за адресою: ukrainianlogicalsociety@gmail.com).

Також можлива віддалена участь по Skype.

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

http://www.logica-universalis.org/wld




1st World Logic Day



We invite you to take part in a meeting devoted to the World Logic Day (http://www.logica-universalis.org/wld).

The meeting will be held on January 14, 2019, 10:30, Room 01, Faculty of Computer Science and Cybernetics of the Taras Shevchenko National University of Kyiv, Ukraine (Address: Ukraine, 03680, Kyiv, Hlushkova Avenue, 4d).

The agenda of the meeting:

  • Establishing of the Ukrainian Logical Society
  • Workshop “Logic and its Applications”

The participants of the workshop are invited to submit an abstract (up to one page, 12pt, in English, until January 11, 2019) to ukrainianlogicalsociety@gmail.com

Online participation via SKYPE can be possible.

Details can be found at:

Other links:

Co-organizers:

Новини
Дошка оголошень
Цікаві факти