Mathematical Foundations of Informatics (MFOI-2020), Kyiv, Ukraine, July 1–5, 2020

March 11, 2020
  • Seminars and conferences

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.

The 2020 edition of the annual Conference on Mathematical Foundations of Informatics is intended to add synergy to the efforts of the researchers working on the development of the mathematical foundations for Computer Science, also known as Informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation.

Conference Topics

Any original contributions are welcome, including but not limited to:

  • data science;
  • theory of computing;
  • theoretical issues in artificial intelligence;
  • theoretical issues in automated reasoning;
  • theoretical aspects of software system development;
  • logics in informatics, databases, and artificial intelligence;
  • data mining and knowledge discovery;
  • knowledge representation;
  • semantic technologies;
  • natural language processing;
  • formal languages and automata;
  • cryptography and security;
  • neural networks;
  • natural computing;
  • soft computing.

Important Dates

  • Paper Submission Deadline: April 20, 2020.
  • Acceptance notification: May 21, 2020.
  • Camera ready: June 1, 2020.
  • Registration Deadline: June 1, 2020.
  • Conference: July 1-5, 2020.

Conference language: English

More information about conference at http://mfoi2020.inf.ua/index.html.

Тренінг-семінар «Публікаційна стратегія молодого науковця. Ресурси Web of Science Group»

Feb. 27, 2020
  • Seminars and conferences
  • Information for students
  • Announcements

Рада молодих вчених Київського національного університету імені Тараса Шевченка запрошує на тренінг-семінар «Публікаційна стратегія молодого науковця. Ресурси Web of Science Group» (спікер: Тихонкова І.О. - PhDClarivate Analytics), який відбудеться 4 березня 2020 року о 14.30 в аудиторії 204 Головного навчального корпусу Київського національного університету імені Тараса Шевченка.

Запрошуються студенти, аспіранти, молоді науковці!


Відкрита лекція Бертрана Меєра

Jan. 23, 2020
  • Seminars and conferences
  • Announcements

Шановні студенти, аспіранти та викладачі, кафедра інтелектуальних програмних систем запрошує вас відвідати відкриту лекцію Object Structure Analysis: Everything You Always Wanted to Know About Your Program, яку прочитає професор Бертран Меєр — французький академік, консультант в галузі комп'ютерних мов, розробник мови програмування Eiffel.

Лекція відбудеться 24.01.2020 (п'ятниця) о 12:00 в аудиторії № 01 навчального корпусу факультету комп'ютерних наук та кібернетики. Детальніше.


СЕМІНАР «ЛОГІКА ТА ЇЇ ЗАСТОСУВАННЯ» ПРИСВЯЧЕНИЙ ВСЕСВІТНЬОМУ ДНЮ ЛОГІКИ

Dec. 26, 2019
  • Seminars and conferences

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

Засідання відбудуться 14 січня 2020, початок о 10:30, аудиторія 01, факультет комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка, Київ, Україна (03680, м. Київ, проспект Глушкова, 4д).

Детальніше.