Українські учасники UNILOG'2013

На сайті міжнародного логічного конгресу UNILOG опубліковано список доповідей (C-Speakers) учасників майбутнього UNILOG'2013, що пройде в бразильському Ріо-де-Жанейро наступного року. Україну представляють чотири учасники з чотирма доповідями на трьох секціях:

Олексій Білик з Харкова, Ярослав Кохан, Микола Нікітченко та Степан Шкільняк з Києва.

Доповіді:

• Olexiy Billyk
  Kharkiv National Karazin University, Ukraine
  "Models in constructions of scientific knowledge?"
  Session Philosophy
• Yaroslav Kokhan
  Institute of Philosophy - Ukraine
  "Predicate Logic is not Universal"
  Session Tools
• Mykola S.Nikitchenko
  Taras Shevchenko National University of Kyiv, Ukraine
  "Constructing Logics oriented on Computing: Philosophical and Mathematical Aspects"
  Session Tools
• Stepan S. Shkilnyak and Mykola S.Nikitchenko
  Taras Shevchenko National University of Kyiv, Ukraine
  "Composition-Nominative Logics of Partial Quasiary Functions and Predicates"
  Session Class

Питається тільки, чи ж хтось справді поїде в Бразилію...