Наредни састанак Семинара биће одржан у уторак, 23. маја у сали 301ф Математичког института САНУ са почетком у 14.15. Састанак је могуће пратити и на даљину.
Предавач: Предраг Јаничић, Математички факултет, Универзитет у Београду
Наслов предавања: АУТОМАТСКО ДОКАЗИВАЊЕ ТЕОРЕМА КАО РЕШАВАЊЕ ПРОБЛЕМА ОГРАНИЧЕЊА
Апстракт: У излагању ће бити представљен један нов приступ аутоматском доказивању теорема. За разлику од других приступа аутоматском доказивању теорема, у којима простор претраге чине формуле и оно за чиме се трага поново је формула, у овом приступу трага се за доказом као целином. Наиме, конкретан доказ у фиксираном логичком оквиру може се кодирати низом природних бројева, а синтаксичка ограничења која везују кораке доказа могу се превести у линеарна ограничења над тим бројевима. За задати скуп аксиома, задату формулу коју треба доказати и задату дужину траженог доказа, на тај начин може се добити инстанца проблема задовољивости линеарних ограничења коју аутоматски може решити одговарајући решавач. Из тог решења онда се може реконструисати тражени доказ.
Овај приступ има неколико својстава која немају други приступи. На пример, његовим коришћењем може се добити најкраћи могући доказ, једноставно се могу добити абдукти, једноставно се могу задати фрагменти доказа који треба допунити и једноставно се могу добити машински провериви докази.
Описани приступ примењен је на кохерентну логику (која је изражајна као логика првог реда) и имплементиран у оквиру јавно доступног доказивача Ларус. Доказивач Ларус ефикаснији је од више других доказивача за логику првог реда који генеришу машински провериве доказе.
Коаутор овог рада је проф. Julien Narboux из Француске.
Напомене: Напомена: Регистрациона форма за учешће на Семинару је доступна на линку:
https://miteam.mi.sanu.ac.rs/call/wnz6oyxsQsy29LfJA/MjQ__eH607WeAL9X7IFtUI98xdQQgVkp-ljiEKPPfXr
Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/YoqHWKALRkRTbK9So
детаљније
Наредни састанак Семинара биће одржан у понедељак, 22. маја 2023. у сали 718 Математичког факултета са почетком у 18 часова.
Предавач: Josep Torrellas, University of Illinois Urbana-Champaign (UIUC); Director of the SRC/DARPA ACE Center for Evolvable Computing
Наслов предавања: CLOUD COMPUTER ARCHITECTURE OF THE NEXT DECADE
Апстракт: The Cloud of the next decade will be defined by the need to process vast swaths of data for insights in a timely manner. Minimizing data movement to curtail energy consumption and increasing computation efficiency will be the overriding constraints. The compute infrastructure will be a seamless hierarchy of compute centers from edge to geo-distributed mega-datacenters. Each compute center will contain a large number of heterogeneous hardware accelerators, and tasks of unprecedentedly small granularity will ship computation to where data is. In this talk, I will describe some of the research on computer systems that my group is performing to attain this vision. We are developing programmable accelerators organized into ensembles, heterogenous memory systems, smart network interfaces and secure hardware structures. The combination of all these technique is likely to deliver large improvements in performance and energy efficiency.
Биографија предавача:
Josep Torrellas is the Saburo Muroga Professor of Computer Science at the University of Illinois Urbana-Champaign (UIUC). He is the Director of the SRC/DARPA ACE Center for Evolvable Computing, past Co-Leader of an Intel Strategic Research Alliance (ISRA) on Computer Security, and past Director of the Illinois-Intel Parallelism Center (I2PC). His research interests are computer architectures for shared-memory multiprocessors and parallel computing. Some of his contributions include thread-level speculation (TLS) architectures, the Bulk Multiprocessor concept, deterministic record and replay mechanisms, process variation mitigation techniques, and hardware defenses against speculative execution attacks. In addition, he has contributed to several experimental multiprocessor designs such as IBM’s PERCS Multiprocessor, Intel’s Runnemede Extreme-Scale Multiprocessor, Illinois Cedar, and Stanford DASH. He has graduated 48 PhDs, who are now leaders in academia or industry.
детаљније
У оквиру Семинара Катедре за рачунарство и информатику проф. Josep Torrellas (University of Illinois Urbana-Champaign - UIUC; Director of the SRC/DARPA ACE Center for Evolvable Computing), одржаће предавање у понедељак, 22. маја 2023, у сали 718 Математичког факултета са почетком у 18 часова.
Наслов предавања: CLOUD COMPUTER ARCHITECTURE OF THE NEXT DECADE
Апстракт:
The Cloud of the next decade will be defined by the need to process vasts waths of data for insights in a timely manner. Minimizing data movement to curtail energy consumption and increasing computation efficiency will be the overriding constraints. The compute infrastructure will be a seamless hierarchy of compute centers from edge to geo-distributed mega-datacenters. Each compute center will contain a large number of heterogeneous hardware accelerators, and tasks of unprecedentedly small granularity will ship computation to where data is. In this talk, I will describe some of the research on computer systems that my group is performing to attain this vision. We are developing programmable accelerators organized into ensembles, heterogenous memory systems, smart network interfaces and secure hardware structures. The combination of all these technique is likely to deliver large improvements in performance and energy efficiency.
Биографија предавача:
Josep Torrellas is the Saburo Muroga Professor of Computer Science at the University of Illinois Urbana-Champaign (UIUC). He is the Director of the SRC/DARPA ACE Center for Evolvable Computing, past Co-Leader of an Intel Strategic Research Alliance (ISRA) on Computer Security, and past Director of the Illinois-Intel Parallelism Center (I2PC). His research interests are computer architectures for shared-memory multiprocessors and parallel computing. Some of his contributions include thread-level speculation (TLS) architectures, the Bulk Multiprocessor concept, deterministic record and replay mechanisms, process variation mitigation techniques, and hardware defenses against speculative execution attacks. In addition, he has contributed to several experimental multiprocessor designs such as IBM’s PERCS Multiprocessor, Intel’s Runnemede Extreme-Scale Multiprocessor, Illinois Cedar, and Stanford DASH. He has graduated 48 PhDs, who are now leaders in academia or industry.
детаљније
Наредни састанак Семинара биће одржан у петак, 19. маја 2023, у Центру за стручно усавршавање Ниш (улица Париске Комуне бб, просторија број 9) са почетком у 14.15. Предавање је могуће пратити и на даљину.
Предавач: Драган Ђорђевић, ПМФ, Универзитет у Нишу
Наслов предавања: DOUBLE STOCHASTIC OPERATORS ON L^1
Апстракт: We prove some results on double stochastic operators on L1 spaces. Thus, we extend some results from a discrete case to a more general settings.
Напомена: Предавања се могу пратити на даљину преко линка:
https://miteam.mi.sanu.ac.rs/call/T9XDGChhq8aDcNqmz/qw7wIwci2jv2rdg9I9CrXkm7OJhF_LB8DfjXZp4jTFV
Регистрациона форма је доступна на:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N
детаљније
Одбрана докторске дисертације Марка Царића: „Пребројавање класа еквиваленције Булових функција“, биће одржана 22.05.2023. године у 14 часова, у Рачунарској лабораторији
детаљније
Наредни састанак Семинара биће одржан у четвртак, 18. маја 2023, у сали 301ф Математичког института САНУ са почетком у 17.15.
Предавач: Иван Димитријевић, Математички факултет, Универзитет у Београду
Наслов предавања: УВОД У ОПШТУ ТЕОРИЈУ РЕЛАТИВНОСТИ (1. ДЕО)
Апстракт: Један од два полазна принципа опште теорије релативности је да је Васиона хомогена и изотропна. У овом предавању показаћемо да је метрика која произилази из овог принципа FRLW метрика. У наставку ћемо размотрити случајеве равне, затворене и отворене Васионе.
Напомене:
Семинар је могуће пратити и онлајн. Регистрација за учешће на семинару:
https://miteam.mi.sanu.ac.rs/asset/5vJy5i44YQbMdSuDZ
Уколико сте већ регистровани, предавање можете пратити на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/jJPbbrZF9BLD73r5m
Неулоговани корисници могу пратити пренос предавања на овом линку:
https://miteam.mi.sanu.ac.rs/call/cngMrxTa7WoFSKZJn/ddPssjwsP40vEFRiLjVYEt-bWXLwl-VPYEEFMQjMOG1
детаљније
Наредни састанак Семинара Катедре за вероватноћу и статистику биће одржан у уторак, 16. маја 2023, у сали 840 Математичког факултета, са почетком у 18 часова.
Предавач: др Аница Костић, London School of Economics
Наслов предавања: CHANGE-POINT IDEAS IN MULTIPLE TESTING
Апстракт:
Estimating the proportion of false null hypotheses among independently tested hypotheses is a crucial problem in the multiple testing literature. By integrating a proportion estimator, most multiple testing methods that control the false discovery rate (FDR) can be made adaptive, leading to increased power while still maintaining control over the FDR. Although many proportion estimators have been proposed in the literature, the approach by Schweder and Spjotvoll, more commonly known as Storey's estimator, is the most widely used due to its simplicity.
We present a novel approach that tunes Storey's estimator using ideas from the change-point literature. Our approach aims to identify the change-point in the slope of the p-value plot to distinguish between true and false null hypotheses. The proposed method is fast, simple, and improves on existing tuning parameters. The theoretical results for our estimator are based on strong limit theorems for quantile processes.
The simulation study shows that our method outperforms existing methods, particularly in sparse cases with a small false null proportion. Additionally, we discuss the performance of our method when the p-values are dependent or superuniform, which typically causes Storey's estimator to fail.
детаљније
Позивамо све матуранте и остале заинтересоване да посете Отворена врата Математичког факултета, која ће бити одржана 13. маја 2023. у термину од 11.00 до 14.00 часова, Студентски трг 16, IV спрат, сала 706.
За све посетиоце припремили смо три интерактивна предавања из области информатике, математике и астрономије:
- Иноформатика - проф. др Младен Николић ,,Машинско учење"
- Математика - проф. др Бојана Милошевић ,,Математика и проблеми данашњице: анализа некомплетних података"
- Астрономија и астрофизика - проф. др Бојан Арбутина ,,Астрономија гравитационих таласа"
Ученици ће моћи да постављају питања и сазнају све што их занима. На питања ће одговарати професори, асистенти, сарадници у настави и студенти.
Такође, средњошколци ће имати прилику од 14.00 часова да посете и IT&Co.@MatF –представљање компанија тренутним и будућим студентима Математичког факултета. Компаније са којима Математички факултет има остварену сарадњу представиће своје програме пракси и могућности запослења у току и након завршетка студија.
Посетите нас како би чули све о упису, студирању, студентском животу, као и о великим могућностима запослења после завршетка Математичког факултета.
детаљније
У оквиру Семинара Катедре за рачунарство и информатику проф. Ави Менделсон (CS department Technion - Israel Institute of Technology, IEEE Fellow), одржаће предавање у уторак, 16. маја 2023, у сали 718 Математичког факултета са почетком у 12.15.
Наслов предавања: THE IMPACT OF ADVANCED MACHINE LEARNING ALGORITHMS ON RESEARCH AND OUR SOCIETY
Апстракт: The use of advanced machine learning algorithms started having a tremendous impact on almost every aspect of our life, including: Politics, education, the way we conduct science, and more.
I will start my talk with a short description of some of the great opportunities the new technologies might open, with a discussion of potential dangers we may face. The rest of my talk will focus on what the academia should do and what computer scientists can contribute to reducing the probability that the new technology will harm our society.
Биографија предавача: Avi Mendelson is a Professor at the CS department Technion and an IEEE Fellow. He has industrial and academic experience in various areas, such as Computer architecture, Hardware Security, Hardware accelerators, and Architecture for machine learning. He graduated from the CS department, Technion, BSC (1979) and MSC (1982) and got his Ph.D. (1990) from the University of Massachusetts at Amherst (UMASS).
Among his industrial jobs, he worked for 11 years as a senior computer architect and principal engineer at Intel; he managed the academic-relations activities for Microsoft R&D Israel for four years, focusing on students’ innovation and research collaborations. In addition, he served as a PI in various EU projects, among them the EuroLab4HPC aiming at encouraging technology transfer between academia and startups.
Prof. Avi Mendelson has published more than 130 papers in refereed journals. And he holds more than 30 USA patents. He was a member of the ACM Europe council team and the IEEE Computer Society Board of Governors (BoG) and served as a second VP. Currently, manage the Computer Society Israeli Chapter in Israel.
детаљније
