Огласи за студенте
Математички факултет, Универзитет у Београду
Сви огласи
Computational Logic Autumn Summit (CLAS 2022)
Summit is held in Tbilisi on 19-30 September 2022, Georgia
The Computational Logic Autumn Summit brings together eight conferences and four schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.
For more information see: http://viam.science.tsu.ge/clas2022/.
# Schools
- Summer School of the International Colloquium on Theoretical Aspects of Computing
- International School on Rewriting
- International Tbilisi Summer School in Logic and Language
- Logic, Language, Artificial Intelligence
# Conferences
- International Colloquium on Theoretical Aspects of Computing (ICTAC)
- Conference on Intelligent Computer Mathematics (CICM)
- International Symposium on Principles and Practice of Declarative Programming (PPDP)
- International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
- International Conference on Mathematics of Program Construction (MPC)
- International Conference on Runtime Verification (RV)
- International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
- International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)
Четврто такмичење младих из енглеског језика
Академија уметности Нови Сад организује у сарадњи са партнерима из Кине другу годину за редом такмичење младих на енглеском језику.
Такмичење Појас и пут и Чајна дејли међународно такмичење из енглеског језика 21st Century Cup отворени су за пријаву ђака и студената српског држављанства (средње школе, факултети и академије) старости од 16 до 27 година.
Рок за пријаве је 6. јун 2022.
Све детаље и услове пријаве можете наћи на документима на српском и енглеском језику.
Selerant – Junior Software Developer
We are part of Selerant Corporation, a leading global provider of processed-based Product Lifecycle Management software and consulting services within three core manufacturing segments: Food & Beverages, Personal Care/Pharmaceutical and Specialty Chemicals.
Currently, we’re looking for Junior Software Developers to join us. As a SELERANT Junior Software Developer, you’ll use the latest tools and technologies available to deliver state-of-the-art software.
You can find all relevant details regarding the role via this link . If you don’t meet all the stated requirements don’t worry. We would still love to hear from you, if you are passionate about software design and development, and eager to learn. We look forward to receiving your application to e-mail address: hr-serbia@selerant.com.
Generali оглашава отворене позиције
Generali Osiguranje Srbija те чека! Искористи прилику да постанеш JUNIOR IT SECURITY ANALYST, SUPPORT или JUNIOR DEVELOPER.
Више информација можеш наћи у документима овде и овде.
Пријавни формулар се налази на овом линку.
SnapOne – плаћена пракса
Тражимо два практиканта за плаћену праксу у трајању од месец дана на позицији Java Developer-а.
Детаљније информације о огласу налазе се овде.
Студентски семинар, 27. мај 2022.
Наредни састанак Семинара биће одржан онлајн у петак, 27.маја 2022, са почетком у 12 часова.
Предавач: Јелена Вицановић, Технолошко-металуршки факултет Универзитета у Београду
Наслов предавања: НЕОПХОДНИ УСЛОВИ ЕКСТРЕМУМА ЗА ЈЕДНУ КЛАСУ ПРОБЛЕМА ОПТИМИЗАЦИЈЕ СА НЕПРЕКИДНИМ ВРЕМЕНОМ
Апстракт: Разматрамо конвексни проблем оптимизације са непрекидним временом, без претпоставке о диференцијабилности. Неопходне услове добијамо применом нове теореме алтернативе након субдиференцијалне апроксимације проблема.
Линк за приступ предавању је:
https://miteam.mi.sanu.ac.rs/call/CihYM6Nratzix7c8G/uJmcdEJs4INWQ8MEoLVzHRGxbfbBEWSBMwXBYcymVoj
Линк за регистрацију корисника групе Студентски семинар је:
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73
IT@MatF на Математичком факултету
У суботу 28. маја, са почетком у 12 часова, одржавамо већ традиционални догађај IT@MatF, који ће ове године бити организован путем webex платформе.
На овом догађају 23 компаније, пријатељи Катедре за рачунарство и инфоматику, имаће прилику да се представе и пруже увид у студентске праксе, стипендије, могућности запослења и стипендирања, као и друге видове сарадње за које верујемо да ће студентима бити занимљиве и пре свега корисне.
Линк за приступ догађају, компаније које ће учествовати и друге информације могу се наћи на страници: www.it.matf.bg.ac.rs
Видимо се у што већем броју!
Семинар Катедре за рачунарство и информатику, 26. мај 2022.
Наредни састанак Семинара биће одржан у четвртак, 26. маја 2022, у учионици 718 Математичког факултета са почетком у 18 часова.
Предавач: Андрија Новаковић
Наслов предавања: DEMYSTIFYING SUCCINCT ARGUMENTS OF KNOWLEWDGE (SNARKs)
Семинар Катедре за алгебру и математичку логику, 27. мај 2022.
Наредни састанак Семинара биће одржан онлајн у петак, 27.маја 2022, са почетком у 12 часова.
Предавач: Матеј Милићевић
Наслов предавања: ЕНДОМОРФИЗМИ КОХОМОЛОГИЈА КОМПЛЕКСНИХ МНОГОСТРУКОСТИ ЗАСТАВА
Линк за приступ:
https://matf.webex.com/meet/tanjas
Семинар за рачунарство и примењену математику, 24. мај 2022.
Наредни састанак Семинара биће одржан у уторак, 24. маја 2022, у сали 301ф са почетком у 14.15 часова. Састанак семинара је могуће пратити и на даљину.
Предавач: Мирко Леповић
Наслов предавања: ON INTEGRAL GRAPHS WHICH BELONG TO THE CLASS $\overline {\alpha G_a\cup \beta G_b}$ WHERE $G_a$ AND $G_b$ ARE TWO REGULAR INTEGRAL GRAPHS
Апстракт: Let G be a simple graph and let $\overline G$ denotes its complement. We say that G is integral if its spectrum consists entirely of integers. Let $G_a$ and $G_b$ be two regular integral graphs of order p and q and degree a and b, respectively. In this work we establish a characterization of integral graphs which belong to the class $\overline {\alpha G_a \cup\beta G_b}$, where mG denotes the m-fold union of the graph G. In particular,
(i) we demonstrate that there exists no integral graph from the class $\overline {\alpha G_a \cup\beta G_{a-1}}$ for $\alpha, \beta,a,p,q\in \mathbb N$ and
(ii) we demonstrate that if\enspace $\overline {\alpha G_a \cup \beta G_b}$ is integral with b=a-2 then it belongs to the class of integral graphs $\overline{\big(x_0 + qz\big)G_{2a} \cup\big(y_0 + pz\big)G_{2a-2}}$, where
- $a,p,q\in\mathbb N$ so that 2a <= p-1, 2a-2 <= q-1 and (p,q)=1;
- $(x_0,y_0)$ is a particular solution of the linear Diophantine equation px – qy = 1 and
- $z\ge z_0$ where $z_0$ is the least integer such that $\big(x_0 + qz_0\big)\ge 1$ and $\big(y_0 + pz_0\big)\ge 1$.
Напомена: Састанак Семинара се може пратити на даљину преко линка:
https://miteam.mi.sanu.ac.rs/asset/YoqHWKALRkRTbK9So
За активно учешће неопходна је регистрација преко линка:
https://miteam.mi.sanu.ac.rs/asset/xzGqvSp7aWbg8WpYX
Партнери Математичког факултета
