Наредни састанак Семинара биће одржан у уторак, 23. маја 2023, у сали 809 Математичког факултета са почетком у 18 часова.

Предавач: dr Martin Leitzinger, Department for Geophysics, Astrophysics and Meteorology, Institute of Physics, University of Graz

Наслов предавања: STELLAR CORONAL MASS EJECTIONS

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

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

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

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

Описани приступ примењен је на кохерентну логику (која је изражајна као логика првог реда) и имплементиран у оквиру јавно доступног доказивача Ларус. Доказивач Ларус ефикаснији је од више других доказивача за логику првог реда који генеришу машински провериве доказе.

Коаутор овог рада је prof. 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.

Наредни састанак Семинара биће одржан у петак, 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