Наредни састанак Семинара биће одржан у петак, 18. октобра 2024. године, у сали 301ф Математичког института САНУ са почетком у 14.15. У питању је заједнички састанак са Логичким семинаром.

Предавач: Станислав Сперански, Steklov Mathematical Institute of RAS

Наслов предавања: CONCERNING DOŠEN’S LOGIC N AND SOME OF ITS EXTENSIONS

Апстракт: The idea of treating negation as a modality manifests itself in various logical systems, especially in Došen’s propositional logic N, whose negation is weaker than that of Johansson’s minimal logic. Among the interesting extensions of N are the propositional logics N* and Hype; the former was proposed by Cabalar, Odintsov and Pearce as a framework for studying foundations of well-founded semantics for logic programs with negation, while the latter has recently been advocated by Leitgeb as a basic system for dealing with hyperintensional contexts, but was first described by Moisil in 1942. We shall look at predicate versions of N and N*, and talk about a simple Routley-style semantics for Leitgeb’s predicate version of Hype. The corresponding strong completeness results will be presented. Also, the disjunction property and the existential property will be discussed. In addition, we shall see what happens when we add the contraposition axiom to several important extensions of N.

Напомена: Предавање се може пратити на даљину преко линка Одељења за математику: https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r

Наредни састанак Семинара биће одржан онлајн у среду, 16. октобра 2024. године, са почетком у 19 часова.

Предавач: Michael Benedikt, Professor of Computing Science; Director of Advanced MSc in Computer Science

Наслов предавања: LOGIC AND ASYMPTOTIC COMBINATORICS OF GRAPH NEURAL NETWORKS

Апстракт: Graph neural networks (GNNs) are the predominant architectures for a variety of learning tasks on graphs. We present a new angle on the expressive power of GNNs by studying how the predictions of a GNN probabilistic classifier evolve as we apply the classifier on larger graphs drawn from some random graph model. We show that the output converges asymptotically almost surely to a constant function, which upper-bounds what these classifiers can express uniformly. Our convergence results are framed within a query language with aggregates, subsuming a very wide class of GNNs, including state of the art models, with aggregates including mean and the attention-based mechanism of graph transformers. The results apply to a broad class of random graph models, but in the talk we will focus on Erdős-Rényi model and the stochastic block model. The query language-based approach allows our results to be situated within the long line of research on convergence laws for logic.
The talk will include joint work with Sam Adam-Day, Ismail Ceylan, and Ben Finkeshtein — see https://arxiv.org/abs/2403.03880, and also joint work with Sam Adam-Day and Alberto Larrauri.

Наредни састанак Семинара биће одржан у уторак, 15. октобра 2024. године, у сали 301ф Математичког института САНУ са почетком у 14.15.

Предавач: Катица (Стевановић) Хедрих

Наслов предавања: РЕОЛОШКИ ДИНАМИЧКИ СИСТЕМИ ФРАКЦИОНОГ ТИПА СА ПИЕЗОЕЛЕКТРИЧНИМ СВОЈСТВОМ (ОСЦИЛАТОРИ ИЛИ ПУЗАТОРИ СА ТЕЧЕЊЕМ)

Апстракт: Предавањем се представљају најновији научни резултати о новим реолошким моделима фракционог типа, са пиезоелектричним својствима и нови реолошки динамички системи, фракционог типа са пиезоелектричним својствима. Биће приказани системи диференцијалних једначина фракционог реда, којима се описују динамике појединих реолошких динамичких система фракционог типа. Уводе се спољашњи и унутрашњи степени слободе кретања реолошког динамичког система, фракционог типа. Приказаће се и површи Laplace-ових трансформација независних генералисаних координата, спољашњих и унутрашњих, реолошких динамичких система типа осцилатора или пузатора, фракционог реда, а у простору Laplace-ових трансформација, одговарајућег параметра и експонента диференцирања фракционог реда.

Напомена: Регистрациона форма за учешће на Семинару је доступна на линку:
https://miteam.mi.sanu.ac.rs/call/wnz6oyxsQsy29LfJA/MjQ__eH607WeAL9X7IFtUI98xdQQgVkp-ljiEKPPfXr

Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/YoqHWKALRkRTbK9So

Наредни састанак Семинара биће одржан у петак, 11. октобра 2024. године у сали 301ф Математичког института САНУ са почетком у 12 часова.

Предавач: Stefan Shrestha, Математички факултет Универзитета у Београду

Наслов предавања: ТЕОРИЈА ИГАРА: МАТЕМАТИКА ДОНОШЕЊА ОДЛУКА У СТРАТЕШКИМ ИГРАМА

Апстракт: Дефинишемо неопходне појмове теорије игара; игра, играч, стратегија… Кроз пример мотивишемо коришћење мешовитих стратегија, односно коришћење случајних величина у одабиру наше стратегије. Даље, дајемо елементарни доказ историјски јако важне Minimax теореме, која је заправо и мотивисала Џон Фон Нојмана да се озбиљно посвети теорији игара. Затим, прелазимо на централни концепт предавања Нешов еквилибријум, који подразумева одредјену равнотежу у игри, где се ниједном играчу не исплати да промени стратегију. Доказујемо, користећи Брауверову теорему о фиксној тачки као главну алатку, да широки спектар игара има бар један Нешов еквилибријум. Даље разрадјујемо овај концепт и разматрамо игре са непотпуним информацијама.

Напомена: Предавања се могу пратити на даљину преко линка:
https://miteam.mi.sanu.ac.rs/call/CihYM6Nratzix7c8G/uJmcdEJs4INWQ8MEoLVzHRGxbfbBEWSBMwXBYcymVoj

Регистрациона форма је доступна на:
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73

Наредни састанак Семинара биће одржан у петак, 11. октобра 2024. године, у сали 301ф Математичког института САНУ са почетком у 16ч.

Предавач: Павле Благојевић, Математички институт САНУ

Наслов предавања: КОНВЕКСНЕ ЕКВИПАРТИЦИЈЕ ПОМОЋУ ОПЕРАДА МАЛИХ КОЦКИ

Апстракт: Пре једне деценије две групе аутора, Карасев, Хубард & Аронов и Благојевић & Циглер, су покалазале да регуларне конвексне партиције еуклидског простора на n делова дају решење хипотезе Нандакумара & Рамана-Раоа у случају када је n степен простог броја. Сада итерирамо процес регуларних конвексних партиција и делимо еуклидски простор прво на n_1 делова, па на n_2 делова, итд. На тај начин добијамо еквипартиције конвексног тела на n = n_1 … n_k делова. Користећи итериране партиције показујемо постојање нових класа решења проблема Нандакумара & Рамана-Раоа у случају када су све итерације степени истог простог броја.

Предавање је базирано на заједничком раду са Николом Садовеком (https://arxiv.org/abs/2305.10711).

Напомена: Предавање се може пратити на даљину преко линка Одељења за математику: https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r

Наредни састанак семинара Биоинформатика биће одржан онлајн у среду, 9. октобра 2024. године, са почетком у 18.15.

Предавач: dr Gary Bader, Центар за ћелијска и биомолекулска истраживања „Донели“ Универзитета у Торонту

Наслов предавања: MAPPING THE MULTISCALE HUMAN

Биографија предавача и апстракт предавања су доступни на http://bioinfo.matf.bg.ac.rs/.

Линк за онлајн пренос: https://matf.webex.com/meet/birbi

Организатори семинара Биоинформатика су Српско друштво за биоинформатику и рачунарску биологију (http://www.birbi.matf.bg.ac.rs/) и Математички факултет.

Наредни састанак Семинара биће одржан онлајн у среду, 9. октобра 2024. године, са почетком у 19 часова.

Предавач: Professor Bela Stantic, Director Big Data and Smart Analytics lab, Griffith University, Gold Coast, Australia

Наслов предавања: CREATING HARMONY: ADVANCING AI AND ITS IMPACT ON RESEARCH

Апстракт: In this talk, Professor Bela Stantic will first elaborate on diverse funded projects at the Big Data and Smart Analytics lab, at Griffith University. Many of these projects rely on pre-trained-transformers, large language models, and Generative AI, therefore, a brief introduction on what they are and how they work will be provided. The presentation will include demonstrations of several pre-trained and fine-tuned large language models and Generative AI for several domains running locally on the Griffith Big Data cluster. Prof Stantic will introduce the architecture and demonstrate DORIS (Digital Oracle for Research in Sciences), a Generative AI system that he developed and purposely trained by trusted data sources to do diverse tasks including reviewing scientific papers. The talk will conclude by elaborating on the impact that the advancing AI is making on research and how harmony can be created despite such a fast pace of AI advancement in the last couple of years.

Наредни састанак Семинара биће одржан онлајн у уторак, 8. октобра 2024. године, са почетком у 14.15.

Предавач: Лука Матијевић, Mathematical Institute SANU

Наслов предавања: GREEN VEHICLE ROUTING PROBLEM: METAHEURISTIC METHODS

Апстракт: In this lecture, we will delve into the complex vehicle routing problem characterized by soft time windows, asymmetric distances, and time-dependent speeds, utilizing a mixed fleet of internal combustion and electric vehicles. We’ll examine this challenge through the lens of multi-objective optimization. Our exploration includes the implementation of several advanced metaheuristic algorithms, such as the General Variable Neighborhood Search, Greedy Randomized Adaptive Search Procedure, Ant Colony Optimization, Bee Colony Optimization, as well as Genetic and Memetic algorithms. The results may shock you!

Напомена: Регистрациона форма за учешће на Семинару је доступна на линку:
https://miteam.mi.sanu.ac.rs/call/wnz6oyxsQsy29LfJA/MjQ__eH607WeAL9X7IFtUI98xdQQgVkp-ljiEKPPfXr

Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/YoqHWKALRkRTbK9So