#kievfprog

Sixth International Conference on Analytic Number Theory and Spatial Tessellations

The conference is devoted to the 150th anniversary of the world-famous Ukrainian mathematician Georgy Voronoï (1868–1908). The main aim of the conference is exchange of ideas among different fields of science and engineering related to the topics studied by Voronoï.

#kievfprog 2017.1

З кожним днем наше суспільство стає більш залежним від комп'ютерних систем, які використовуються у всіх галузях від обслуговування критичних аспектів економіки, оборони до урядування та ін. При цьому коректність та надійність програмного забезпечення набуває вирішального значення.

З іншого боку сучасна широта розвитку математичних понять та глибина абстрацій росте такими темпами, що ключового значення починає набувати автоматизоване формальне доведення теорем. Такий підхід не тільки спрощує комунікацію ідей та перевірку коректності доведень, але і дає можливість застосовувати розвинути абстрактні математичні теорії на практиці.

Ця конференція має на меті стати майданчиком для спілкування між фахівцями різних облатей знань, як математичних так і суто прикладних, спрямованих на IT-технології та  надати учасникам можливість поділитися своїми знаннями та доторкнутись основних ідей і методів функціонального програмування, теорії мов програмування, поняття теорем як типів, теорії категорій як бази архітектури та алгоритмів тощо.

Планується, що цей одноденний воркшоп дасть поштовх для започаткування в Інституті математики НАН України спільного міждисциплінарного наукового семінару на цю тематику, який дасть можливість зблизити фундаментальні математичні методи і теорії із практичними запитами, що виникають в реальних сферах сертифікованого програмування.