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

Предавач: Michael Benedikt, Oxford University

Наслов предавања: DECIDABILITY OF ARITHMETIC

Апстракт: This talk will be about algorithms for deciding whether a formula in first-order logic with arithmetic operators holds in the integers. In particular, we focus on addition, inequality, and exponentiation with base 2, known to be decidable from work of Semenov several decades ago. The seminar will be mostly based on a paper at ICALP 2023, joint with Dmitry Chistikov and Alessio Mansutti, which provides the first complexity bounds for this theory:
https://drops.dagstuhl.de/opus/volltexte/2023/18164/

I will include some background on decision procedures, and I am hoping to make the talk accessible to people who know nothing about this area. If time permits, I may also say a few words about related decidability results and periodic spectra for counting logics with arithmetic, joint work with Tony Tan and Egor Kostylev: https://arxiv.org/html/2006.01193v2

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

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

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

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

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

Апстракт: Расподела простих бројева је директно условљена расподелом нула, а посредно и расподелом величине Дирихлеових L-функција на критичној линији. Зато је проучавање момената ових функција, тј. њихових средњих вредности у неким добро дефинисаним фамилијама један од кључних циљева аналитичке теорије бројева. Изузев првих неколико, моменти су и даље отворено питање повезано са уопштеном Линделефовом и уопштеном Римановом хипотезом. Са друге стране, помоћу теорије случајних матрица (која је оригинално развијена за потребе физике) су тек у последњој деценији XX века изведене хипотезе за асимптотику момената L-функција када тзв. кондуктор L-функције расте.

На овом предавању ћемо размотрити аналогна питања над рационалним функцијским пољима. Представићемо асимптотску формулу за шести момент Дирихлеових L-функција над овим пољима са додатним усредњењем које је мотивисано Теоремом Бомбијери-Виноградова. Добијени резултат је сагласан са хипотезама из теорије случајних матрица и представља аналог резултата Конри-Ивањец-Саударараџана над пољем рационалних бројева.

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

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

Универзитет у Београду је 25. јуна 2024. године отворио позив за пријављивање за реализацију индивидуалне мобилности студената у оквиру Кључне акције 131 Еразмус + програма мобилности студената за пролећни семестар 2024/2025. године. Пријаве се врше искључиво преко онлајн платформе Универзитета у Београду MobiON https://mobion.bg.ac.rs/. Рок за пријаву је 22. септембар у 23:59 часова.

Преглед мобилности за које су отворени позиви за пријаву можете пронаћи на следећем линку:
https://mobion.bg.ac.rs/erasmus+/open-calls

Конкурсна документација се налази на страници:
https://mobion.bg.ac.rs/erasmus+/erasmus-pages/ub-students-and-staff/application-procedure-and-documents

Више информација се може наћи на:
https://mobion.bg.ac.rs/erasmus+/erasmus-pages/ub-students-and-staff/outgoing-mobility-types-and-eligibility

Напомињемо да су отворени и позиви у оквиру Кључне акције 171 (сарадња са партнерима ЕУ) за одлазне мобилности према до сада потписаним интер институционалним уговорима. Више информација може се наћи у оквиру секције „Отворени позиви“ на MobiON платформи, селектовањем опције „КА171“ у делу „Програм“.

Охрабрујемо све заинтересоване студенте да се пријаве на отворене позиве.

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

Предавач: Jeffrey Bergfalk, University of Vienna

Наслов предавања: CONDENSED MATHEMATICS AND INFINITARY COMBINATORICS

Апстракт: Around 2019, Dustin Clausen and Peter Scholze undertook the systematic development of an approach to „doing algebra with objects carrying a topology“ which they term condensed mathematics, work which actively continues today. After a brief introduction to this approach, we survey some of its connections to infinitary combinatorics, both via derived functor computations and set theoretic forcing. Connecting these two prongs in turn is an analysis of Whitehead’s problem (does Ext(A,Z)=0 imply that A is free?) in the setting of condensed abelian groups. This work is joint with Chris Lambie-Hanson and Jan Saroch.

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

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

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

Предавач: Смиљана Антонијевић Убоа, Институт за технологију Илиноиса, Чикаго, САД, Српска подружница Римског клуба, Београд, Србија

Наслов предавања: ОДРЖИВИ И ПАРТИЦИПАТИВНИ РАЗВОЈ ВЕШТАЧКЕ ИНТЕЛИГЕНЦИЈЕ

Апстракт: У промишљању вештачке интелигенције (AI) и других нових технологија, јавни дискурс често се креће у оквирима дихотомије технофобија/технофилија и то обавијено велом корпоративних и/или војних тајни с једне стране и сензационалистичких медијско-холивудских наратива с друге стране. Дебате и одлуке о развоју, коришћењу и контроли AI, слично томе, најчешће се одвијају у оквиру уског круга админстративних, корпоративних и политичких актера, иако те одлуке дотичу све сегменте друштва.
Како се таква ситуација може променити?

У овом предавању биће речи о механизмима којима се развој, управљање и употреба AI могу демократизовати и учинити свеобухватнијим, праведнијим и систематским. На почетку предавања биће дат кратак приказ теоријско-методолошког оквира формулисаног на постулатима одрживог развоја, антропологије технологија у настајању и партиципативног дизајна који приказују како се могу дестабилизовати тренутно устаљени обрасци промишљања AI. У наставку предавања ауторка ће размотрати примену овог теоријско-методолошког оквира у пракси, приказујући најпре резултате свог антрополошког рада у мултидисциплинарном тиму задуженом за развој AI у софтверској компанији у Силиконској долини, а потом и резултате прве Народне скупштине формиране у САД с циљем јавне дискусије и гласања о високоризичној AI.

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

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

Наредни састанак Семинара биће одржан онлајн у уторак, 25. јуна 2024. са почетком у 14.15. У питању је Заједнички састанак са семинаром Вештачку интелигенцију.

Предавач: Angelo Sifaleras, Department of Applied Informatics, University of Macedonia, Thessaloniki, Greece

Наслов предавања: REINFORCEMENT LEARNING ENHANCED METAHEURISTICS: A CASE STUDY WITH VARIABLE NEIGHBORHOOD SEARCH

Апстракт: This presentation introduces a new hyperheuristic approach which combines Reinforcement Learning and Variable Neighborhood Search (VNS) and it is called Bandit VNS, in order to improve solutions for the Capacitated Vehicle Routing Problem (CVRP). The Multi-Armed Bandit framework, refined by the UCB algorithm, dynamically selects the most promising neighborhood structures, addressing the challenge of identifying the optimal sequence of local search operators. Adaptive Windowing enhances the system’s responsiveness to the evolving optimization landscape. Our comprehensive analysis includes evaluating various UCB algorithm modifications and incorporating parallel computing paradigms that augment Bandit VNS. Empirical validations conducted on benchmark CVRP instances highlight a 25% enhancement in solution quality when compared to the conventional General Variable Neighborhood Search method using standard library instances of medium and large size. Our research sets a precedent for future explorations into AI-driven metaheuristics, promising advancements in optimization theory and practice.

This is a joint work by: Panagiotis Kalatzantonakis, Angelo Sifaleras, and Nikolaos Samaras, all from the Department of Applied Informatics, of the University of Macedonia, Thessaloniki, Greece. The talk will mainly summarize the findings of the paper: [Kalatzantonakis P., Sifaleras A., and Samaras N., „A reinforcement learning – variable neighborhood search method for the capacitated vehicle routing problem“, Expert Systems with Applications, Elsevier, Vol. 213, Article ID 118812, 2023.], but will also discuss about potential future work.

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

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

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

Предавач: dr Maria Alessandra Montenegro, Факултет организационих наука

Наслов предавања: МОДЕЛ УПРАВЉАЊА РЕЗИЛИЈЕНТНОШЋУ ПРОЈЕКТА

Апстракт: Бројни поремећаји који су задесили свет последњих неколико година, попут Covid-19 пандемије, довели су до бројних оштећења организација широм света. Велики проблем уочава се у ситуацијама када у окружењу дође до појаве поремећаја кога није било могуће предвидети. За суочавање са оваквим изазовима, новија литература предлаже коришћење приступа управљање резилијентносћу пројекта. Предмет истраживања докторске дисертације је развој модела управљања резилијентношћу пројекта који представља свеобухватно решење за ефикасније управљање пројектима у ситуацијама појаве непредвидивих поремећаја. Евалуација развијеног модела рађена је кроз две фазе. Резултати истраживања су потврдили да постоји статистички значајна разлика између група испитаника на чијим су пројектима примењивани елементи предложеног модела у односу на групу испитаника на чијим пројектима исти нису примењивани. Као главни резултати истраживања наводе се да модел управљања резилијентносћу пројекта обухвата све елементе концепта управљања резилијентносћу прилагођене концепту управљања пројектом, да модел садржи методе за планирање и имплементацију одговора на непредвидиве поремећаје и методе за опоравак пројекта од дејства непредвидивих поремећаја, да модел подразумева примену у различитим доменима резилијентности пројекта и да као такавом огућава организацијама ефикасније управљање пројектима упркос појави непредвидивих поремећаја.

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

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