VCLA international studet awards 2019 – Call for nominations

The Vienna Center for Logic and Algorithms (VCLA) at TU Wien (Vienna University of Technology) seeks nominations for the annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research Theses, which recognize authors of scientific works covering a very wide range of topics on the spectrum of Logic, and Computer Science.
Extended submission deadline: 25.3.2019
More details at: https://logic-cs.at/award-call-2019/award@logic-cs.at

*Outstanding Master Thesis Award: 1200 EUR
*Outstanding Undergraduate Research (Bachelor) Award: 800 EUR
*The winners will be invited to present their work at an award ceremony in Vienna, Austria in the autumn 2019

*The degree must have been awarded between November 15th, 2017, and December 31st, 2018, (inclusive).
*Students who obtained their degree at TU Wien are excluded from the nomination.

*Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics).
*Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, and distributed algorithms.
*Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning).
*Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.

1. A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university
2. An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest
3. The CV of the nominated person, including publication list (if applicable)
4.An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be submitted to the award committee after the deadline for the submission of nominations has passed.
5. The full thesis

*Extended submission deadline: March 25, 2019 (AoE) *Notification of decision: end of June 2019
*Award ceremony: September 2019, Vienna (Austria)

The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas.

Отворен позив за пријаву на трећи Falling Walls Lab Belgrade у организацији DAAD-овог информативног центра у Београду

DAAD Информативни центар у Београду, у сарадњи са фондацијом „Konrad Adenauer“, Goethe-Институтом и Универзитетом у Београду, организује трећи по реду Falling Walls Lab у Србији, иновативну платформу за представљање истраживачких пројеката у рангу научног пробоја у свим научним дисциплинама.

Falling Walls Lab је намењен студентима свих нивоа студија истраживачима. Пријаве за учешће на Falling Walls Lab Белграде се шаљу централно преко портала на: www.falling-walls.com/lab до 12. маја 2019.

Сваки учесник има три минута у којима ће представити своју идеју или пројекат и убедити локални жири у иновативност своје замисли.

Победник београдског Falling Walls Lab-а као награду добија учешће у финалу Falling Walls Lab у Берлину 8. новембра, као и присуство на Falling Walls конференцији 9. новембра 2019.

Догађај ће се одржати у Goethe-Институту 9. јуна 2019. године. Учесници ће присуствовати ексклузивној и бесплатној радионици Science Communication пре самог Lab-а.

Више информација може се наћи на страници:

Microsoft Dynamics 365 Business Central Академија

mdcsMicrosoft жели да инвестира у наше младе и перспективне људе и зато организује бесплатну обуку – D365 Business Central Академија. Предавања су замишљена у трајању од 8 сати дневно, од 8. априла до 14. априла 2019. године, у просторијама Microsoft-а у Београду.

Предавањима ће бити обухваћене D365 Business Central области и сва предавања ће бити на српском језику:

* D365 Business Central Introduction, Deployment, Personalization and User Experience
* Trade and Inventory in D365 Business Central
* Manufacturing Management in D365 Business Central
* Inventory and Mfg. Costing in D365 Business Central
* Financial Management in D365 Business Central
* Financial and Accounting in D365 Business Central
* AL Extension Development in D365 Business Central

Заинтересовани студенти могу послати CV са пропратиним текстом на имејл: NAVAcademy@outlook.com, до 17. марта. На располагању је 15 слободних места, а очекују се пријаве дипломаца или апсолвената — економиста, менаџера, информатичара, инжењера.

Second School and Workshop on Univalent Mathematics (University of Birmingham (UK), April 1-5, 2019)

Homotopy Type Theory is an emerging field of mathematics that studies a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky’s program of Univalent Foundations, a new approach to foundations of mathematics based on ideas from homotopy theory, such as the Univalence Principle.

The UniMath library is a large repository of computer-checked mathematics, developed from the univalent viewpoint. It is based on the computer proof assistant Coq.

In this school and workshop, we aim to introduce newcomers to the ideas of Univalent Foundations and mathematics therein, and to formalizing mathematics in a computer proof assistant based on Univalent Foundations.

We will have two tracks:

–  Beginners track
–  Advanced track: suitable for participants with some experience in Univalent Foundations and the proof assistant Coq.

Application and funding

For information on how to participate, please visit https://unimath.github.io/bham2019
Funding will be given out on a ‘first come first served’ basis.

Конференција CODEstantine у Нишу у организацији NoLimitHub-а

NoLimitHub по четврти пут организује конференцију CODEstantine која ће бити одржана 22. и 23. марта 2019.у хотелу „Tami Residence“ у Нишу. Конференција има за циљ упознавање учесника са технолошким трендовима, као и повезивање људи који се баве програмирањем и сродним областима. Конференција окупља ИТ стручњаке, предузетнике и ентузијасте.

CODEstantine конференција је највећа конференција у јужној Србији намењена искусним програмерима, будућим програмерима, као и студентима програмирања. Учесници ће добити прилику да унапреде своје вештине, упознају се са најновијим технолошким трендовима, као и да успоставе контакте са искусним програмерима и представницима водећих IT компанија. У претходна три издања, конференција је успела да окупи више од 500 учесника и преко 30 излагача.

Позивамо све заинтересоване студенте, наставнике и сараднике да се пријаве за учешће на овој конференцији. Више информације о конференцији (и пријава) на следећем линку: https://codestantine.com/.

Број места је ограничен. За студенте Mатематичког факултета организатори су обезбедили три бесплатне карте. Студенти који су заинтересовани за учешће на овој конференцији и желе да преузму ове бесплатне карте треба да се што пре (а најкасније до 20.2.2019.) пријаве путем анкете.

Након селекције, студенти којима су додељене бесплатне карте биће контактирани ради даље процедуре. Студенти који желе да учествују у раду конференције, а не добију бесплатне карте, моћи ће да се регуларно пријаве на сајту конференције и обезбеде себи карте по приступачним ценама.

Летња школа машинског учења у Петници

Microsoft развојни центар у Србији и Истраживачка станица Петница организују пету летњу школу машинског учења „Petnica Summer Institute of Machine Learning“ (PSI:ML), која ће се одржати од 3. до 13. августа 2019. године, у Петници.

Ко може да се пријави?
За летњу школу машинског учења могу се пријавити заинтересовани дипломци и студенти основних студија техничких и математичких дисциплина. Охрабрујемо и мотивисане студенте других дисциплина који желе да науче више о машинском учењу, да се пријаве, а познавање математике и програмирања сматраће се предношћу.

Рок за пријаве:
Конкурс је отворен до 28. фебруара 2019. године, а пријава се врши на: http://psiml.petnica.rs/apply.php.

Теме и предавачи:
Предавачи су инжењери Microsoft развојног центра у Србији, професори Универзитета у Београду и други реномирани предавачи из ове области. Неке од тема које ће обухватити овогодишња летња школа су: основе машинског учења, учење без надзора, конволуционе и рекурентне неуронске мреже, учење с подстицајем и друге.

За више информација погледајте страницу: http://psiml.petnica.rs.

ЦзРК пита студенте: Шта вам је потребно за успешно сналажење на тржишту рада?

Универзитетски центар за развој каријере организује истраживање које треба да одговори на питање: Шта је студентима потребно за успешно сналажење на тржишту рада?

Сви студенти позивају се да попуне УПИТНИК и при томе искажу своје мишљење и потребе у вези са сналажењем на тржишту рада, истакну проблеме, предложе решења. Рок за попуњавање је 17.фебруар 2019. у поноћ.

С обзиром на то да се ситуација на тржишту рада константно и брзо мења, Центар се труди да системским приступом прати те промене и делује у складу са њима.

На основу резултата истраживања, биће усавршени стари и конципирани нови ЦзРК програми за унапређење запошљивости. Извештај о резултатима биће објављен на сајту Центра 1.априла 2019.

Бесплатно студијско путовање у Беч у организацији града Јагодине

Скупштина града Јагодина позива студенте из Јагодине који студирају у Јагодини или неком другом граду, као и студенте из других градова који студирају у Јагодини, старости до 25 година који нису у радном односу и који до сада нису путовали у Беч у организацији града Јагодине, да се пријаве за бесплатно путовање у Беч од 4. до 6. марта 2019. године.

Пријаву можете преузети са сајта www.jagodina.org.rs и заједно са потребном документацијом послати скенирано на мејл studenti.jagodina@gmail.com, или донети лично у канцеларију бр. 21 у Скупштини града Јагодине. Све информације можете добити на телефон: 035/244-763.

Поред пријаве потребно је доставити уверење о студирању, фотокопију индекса, личне карте и прве стране пасоша, као и фотографију. Рок за подношење пријаве је до 20. фебруара 2019. године до 15 часова.

Конкурс Математичког института САНУ за доделу награда и похвала за најбољи научно-истраживачки рад студената

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

Основне студије:

Мастер студије:

Докторске студије:

Пријаве на конкурс подносе сами кандидати. Рок за подношење пријавa је 22.3.2019.

Каријерно ћаскање у Научно-технолошком парку Београд

ntpark-bigУниверзитет у Београду – Универзитетски центар за развој каријере и саветовање студената организује каријерно ћаскање у Научно-технолошком парку у петак, 22.фебруара 2019.године са почетком у 17 часова.

Ако имате жељу да се, у опуштеној атмосфери – уз кафу, упознате са представницима компанија чланица Научно-технолошког парка које развијају иновације у области информационих технологија и других сродних области, пријавите се за учешће на Каријерном ћаскању које организујемо у петак, 22.фебруара од 17 до 19 часова у Бизнис Кафеу Научно-технолошког парка Београд на Звездари.

Биће то сјајна прилика да завирите у просторије НТПа, да се информишете и чујете савете од запослених у различитим компанијама, да разјасните неке недоумице, да сазнате какве су могућности и услови за праксу, запослење или сарадњу на пројектима.

Пријављивање студената за Каријерно ћаскање отворено је до поноћи 19.фебруара на линку: https://goo.gl/forms/2P4uQjo9he5AntRE2. Учешће је бесплатно. Број места је ограничен, зато пожурите и резервишите своје место!

Више информација на: http://www.razvojkarijere.bg.ac.rs/node/1004.

Конкурс УБ за доделу награда за најбољи научноистраживачки и стручни рад студената у 2018. години

Универзитет у Београду сваке године награђује по један најбољи научноистраживачки и стручни рад студената из сваке групације факултета, израђен у претходној календарској години. На седници Сената 16. јануара 2019, донета је одлука о расписивању Конкурса за доделу награда за најбољи научноистраживачки и стручни рад студената у 2018. години.

Текст конкурса

Правилник о награђивању студената може се наћи овде.

Рок за пријаву радова је је утврђен Конкурсом (15. март 2019), а рок за достављање пријављених радова Универзитету је 30. март 2019. Напомињемо да су рокови измењени на прошлогодишњој седници Сената у односу на рокове из Правилника.

Писмени, дипломски, семинарски и други студентски радови који представљају наставну обавезу, не могу се подносити на конкурс. Награђени радови се штампају у посебном зборнику, чији је уредник проректор за науку и објављују се на интернет страници Универзитета.

Молимо заинтересоване студенте да радове, у штампаном и електронском облику, доставе проф. др Зорици Станимировић и проф. др Драгани Илић најкасније до 10. марта 2019.

Позивамо студенте Математичког факултета да се пријаве на овај Конкурс. Подсећамо да је награду за најбољи за најбољи научноистраживачки и стручни рад студената за 2017. годину у групацији природно-математичких наука добио наш студент Андрија Костић.

Евентуална питања у вези са Конкурсом могу се послати на: zoricast@matf.bg.ac.rs и dilic@matf.bg.ac.rs.

Отворене пријаве за прво IMAGINE IF! такмичење у Србији

ntpark-bigОтворене су пријаве за прво IMAGINE IF! такмичење у Србији, које у сарадњи са Научно-технолошким парком Београд (платинасти партнер) и Health Tech Labom (сребрни партнер) реализује Innovation Forum Cambridge.

Такмичење је отворено искључиво за стартапе из здравственог сектора и предстваља одличну прилику за добијање менторске подршке, бесплатних савета локалних и иностраних стручњака из индустрије и академије, умрежавање са 10.000 иноватора преко глобалне платформе Иновационог Форума, као и могућност да обезбеде финансирање и лабораторијски простор. Победник локалног такмичења у Србији имаће могућност да представља своју земљу и на финалном такмичењу у Кембриџу. Рок за пријаве је 15. јануар 2019 на: https://inno-forum.org/accelerator/apply/ .

Више информација на сајтовима:
НТП Београд и http://inno-forum.org/accelerator/.

15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Sept 2019, Belgrade

The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together.

Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

For ECSQARU 2019 we invite submissions of original papers on topics which include but are not limited to:
– Algorithms for uncertain inference
– Applications of uncertain systems
– Argumentation systems
– Automated planning and acting under uncertainty
– Belief functions
– Belief change & merging
– Classification & clustering
– Decision theory & decision graphs
– Default reasoning
– Description logics with uncertainty
– Foundations of reasoning under uncertainty
– Fuzzy sets & fuzzy logic
– Game theory
– Hybrid reasoning
– Imprecise probabilities
– Inconsistency handling
– Information fusion – Learning for uncertainty formalisms
– Learning for uncertainty formalisms
– Logics for reasoning under uncertainty
– Markov decision processes
– Possibility theory & possibilistic logic
– Preferences
– Probabilistic graphical models
– Probabilistic logics
– Qualitative uncertainty models
– Rough sets
– Uncertainty & data

Important dates:

May 3, 2019: Abstract submission deadline
May 10, 2019: Paper submission deadline
June 11, 2019: Author notification
Sept 18-20, 2019: ECSQARU 2019

More info

The 7th Heidelberg Laureate Forum, from November 15, 2018, until February 15, 2019

Calling outstanding young researchers in mathematics and computer science!

The application process for the 7th Heidelberg Laureate Forum has begun

Young researchers in computer science and mathematics, from all over the world, can apply for one of the 200 coveted spots to participate in the Heidelberg Laureate Forum (HLF), an annual networking event. The HLF offers all accepted young researchers the great opportunity to personally interact with the laureates of the most prestigious prizes in the fields of mathematics and computer science. For one week, the recipients of the Abel Prize, the ACM A.M. Turing Award, the ACM Prize in Computing, the Fields Medal, and the Nevanlinna Prize engage in a cross-generational scientific dialogue with young researchers in Heidelberg, Germany.

The application period for the 7th HLF runs from November 15, 2018, until February 15, 2019. Young researchers at all phases of their careers (undergraduate/pre-master, graduate PhD or postdoc) are encouraged to complete and submit their applications by February 15 (midnight at the dateline) via the following link: http://application.heidelberg-laureate-forum.org

The 7th HLF will take place from September 22 to 27, 2019 (with young researcher registration on September 21). This prominent, versatile event combines scientific, social and outreach activities in a unique atmosphere, fueled by comprehensive exchange and scientific inspiration. Laureate lectures, young researcher workshops and a structure welcoming unfettered discussions are the elements that compose the Forum’s platform.

All applications that are completed and submitted by the deadline are meticulously reviewed by an international committee of experts to ensure that only the most qualified candidates are invited. There are 100 spaces available for each discipline of mathematics and computer science. All applicants will be notified by the end of April 2019 whether or not they will be invited.

For questions regarding requirements and the application process, please contact Young Researchers Relations at: yr@heidelberg-laureate-forum.org

For more information, please visit:

НЦД Преглед – други позив за слање радова за децембарски број, до 1.12.2018.

Позивамо вас да на адресу ncd@matf.bg.ac.rs пошаљете радове. Радови који прођу поступак рецензије биће штампани у децембарском броју часописа Преглед Националног центра за дигитализацију.

Рок за слање радова је 1. децембар 2018. године.

Као наслов поруке наведите: НЦД Преглед, пријава рада за децембарски број.

Упутство за писање рада.

Радови морају бити написани на енглеском језику.

Срдачан поздрав,
Уредниство часописа „Преглед НЦД“

Едукативни камп „SkillsLab“

Француска компанија Schneider Electric, уз подршку Француске привредне коморе, први пут организује едукативни камп за студенте „SkillsLab“.

Студенти ће бити у прилици да посете четири компаније: Schneider Electric, Schneider Electric DMS, Atos и Ubisoft и да из прве руке добију корисна знања и увид у пословање у корпоративном окружењу.

Циљ је да се будућим експертима, кроз конкретне примере, интерактивне радионице и практичне савете приближи свет бизниса и вештине које су им потребне. Камп ће бити одржан у Београду, уз једну организовану посету Schneider Electric DMS NS развојном центру у Новом Саду, у току трајања Француске недеље од 16.11. до 23.11. а сви заинтересовани могу да се пријаве на следећем линку:

Студенти ће добити прилику да се такмиче у тимовима а стручни жири ће изабрати победнички тим 23.11. који ће освојити вредне награде. Тема задатка биће задата на отварању кампа.

Више информација на локацији:

ASW Инжењеринг Академија

ASW Инжењеринг од 2016. године организује Академију, центар за обуку младих инжењера који се оспособљавају и сертификују за рад у информатичкој сфери.

Програм обуке обухвата:

* Овладавање садржајима у складу са исходима дефинисаним у плановима и програмима рада у АSW-у

* Оспособљавање за рад са савременим програмским језицима и методологијама развоја

* Оспособљавање за инсталацију и подршку АSW системима

* Теоријска обука са применом на конкретним пројектима

* Упознавање са архитектуром АSW система

По завршетку Академије сви полазници пролазе тестирање. Полагање тестова се завршава доделом сертификата одговарајућих нивоа усвојених знања и након тога полазници прелазе у тимове за развој или имплементацију где се уже специјализују и напредују у оквиру радног места.

Све информације можете пронаћи на http://www.asw.eu/karijera/

Пошаљите нам CV на office@asw.eu

Девети симпозијум Математика и примене, 30.11. и 1.12.2018.

IX симпозијум “Математика и примене”, национални скуп са међународним учешћем, одржаће се 30. новембра и 1. децембра 2018. у организацији Математичког факултета Универзитета у Београду.

Скуп је ове године посвећен обележавању 150 година од рођења Михаила Петровића (6. мај 1868 – 8. јун 1943), великог српског математичара и оснивача српске математичке школе.

Свечано отварање скупа је у петак 30. новембра у свечаној сали Општине Стари град (Македонска 42), док ће се у суботу 1. децембра предавања одржавати у просторијама Математичког факултета, Студентски трг 16/IV.

Са задовољством Вас позивамо да учествујете у раду  IX  Симпозијума „Математика и примене“.

Рок за слање апстраката је 25. новембар 2018.

Deveti simpozijum Matematika i primene

Ruby on Rails радионица за 100 учесница

У новембру ће у Београду бити организована још једна бесплатна радионица увода у веб програмирање уз коришћење Ruby on Rails технологије за чак 100 учесница.

Прошле године у децембру организована је највећа до тад Rails Girls Београд радионица за 100 учесница, која је једна од највећих у овом делу Европе. Последња радионица у Београду ове године заказана је за 17. и 18. новембар у ICT Hub-у.

На радионицу, као и до сад, могу да се пријаве жене и девојке са или без претходног искуства у програмирању које желе да се упознају са основним концептима веб програмирања користећи Ruby програмски језик и Rails framework. Пријаве за учешће на другој #RGB100 радионици ће бити отворене до 8.новембра. Формулар за учешће се налази на RGB сајту, као и све додатне информације. Учешће на радионици је бесплатно, потребно је само да учеснице понесу свој лаптоп.

За више информација ту су и друштвене мреже FB, Tw и IG.

Бесплатна блокчејн радионица у организацији Научно-технолошког парка

ntpark-bigНаучно-технолошки парк Београд, у оквиру конференије „Reinventing the world – The power of industry 4.0“, организује бесплатну радионицу за студенте на тему „Откључај своју перспективу – како блокчејн системи редефинишу поверење и улогу посредника“.

Кроз ову радионицу водиће нас Александар Матановић који се криптовалутама и блокчејн технологијом бави већ 6 година, оснивач је online сервиса за купопродају криптовалута ecd.rs, а такође је и покретач франшизе Cointelegraph-а за Србију.

Радионица ће се одржати 6. новембра у НТП Београд са почетком у 11:30ч. Пријаве су обавезне на event@ntpark.rs , до 1. новембра а више о самој конференцији можете наћи на: http://ntpark-conf.rs/ .