Utorak, 10.03.2015. u 14:15, soba 301f, MI SANU:
Marija Ivanović, Matematički fakultet, Univerzitet u Beogradu
PROBLEM ALOKACIJE PODATAKA U MEMORIJU
Rezime: Pametni telefoni, laptopovi, tableti postali su deo našeg svakodnevnog života. Kompanije koje se bave proizvodnjom pametnih uređaja takmiče se u tome da naprave najbrži uređaj kome rad sa velikom količinom memorije neće predstavljati problem. Problem alokacije podataka u memoriju može se definisati kao problem raspoređivanja podataka na određene memorijske lokacije tako da njihovo učitavanje i izvršavanje bude minimalno. Za dati problem u literaturi postoje MILP formulacija. Na BALCOR-u 2013. data je ILP formulacija o kojoj će biti reči.
U prilogu: plan rada seminara za mart 2015.
detaljnije
ADVANCES IN HOMOTOPY THEORY
- a conference in honour of Hans-Werner Henn on the occasion of his 60th birthday -
The conference will be held in Strasbourg (France), from June 29 (10:00) to July 1st (13:00) 2015.
For registration, suggested accommodation and further information, visit the conference web-page:
https://indico.math.cnrs.fr/event/hwh2015
Limited financial support is available for PhD students and young postdocs (requests must be submitted before April 30th by e-mail to the organizers).
Invited speakers:
- Mark Behrens (Notre Dame)
- Paul Goerss (Northwestern)
- John Greenlees (Sheffield)
- Jean Lannes (Paris 7)
- Gerd Laures (Bochum)
- Niko Naumann (Regensburg)
- Bob Oliver (Paris 13)
- Charles Rezk (Illinois at Urbana-Champaign)
- Lionel Schwartz (Paris 13)
- Vesna Stojanoska (MPIM Bonn)
- Peter Symonds (Manchester)
- Christine Vespa (Strasbourg)
Looking forward to seeing you in Strasbourg, the organizers:
Christian Ausoni (Paris 13)
Gaël Collinet (Strasbourg)
Pierre Guillot (Strasbourg)
Geoffrey Powell (Angers)
Stefan Schwede (Bonn)
detaljnije
LAP 2015 CONFERENCE ANNOUNCEMENT
LOGIC AND APPLICATIONS - LAP 2015
September 21-25, 2015, Dubrovnik, Croatia
http://imft.ftn.uns.ac.rs/math/cms/LAP2015
The conference brings together researchers from various fields of logic with applications in computer science.
Topics of interest include, but are not restricted to:
- Formal systems of classical and non-classical logic;
- Category theory;
- Proof theory;
- Lambda calculus;
- Type theory
- Process algebras and calculi;
- Behavioural types;
- Systems of reasoning in the presence of incomplete, imprecise and/or contradictory information;
- Computational complexity;
- Interactive theorem provers.
Student sessions will be organized.
The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012.
LAP 2013 was held in Dubrovnik, September 16-20, 2013
LAP 2014 was held in Dubrovnik, September 22-26, 2014
IMPORTANT DATES
Abstract Submission: June 1, 2015
Author Notification: June 25, 2015
Final version: July 5, 2015
SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three pages, to
vlp@mi.sanu.ac.rs
(with the subject "LAP 2015").
LOCATION:
IUC - Inter University Center Dubrovnik
COURSE DIRECTORS
- Zvonimir Šikić, University of Zagreb
- Andre Scedrov, University of Pennsylvania
- Silvia Ghilezan, University of Novi Sad
- Zoran Ognjanović, Mathematical Institute SANU, Belgrade
detaljnije
Naredni sastanak seminara održaće se u utorak 10. marta 2015, od 14 do 16 sati, u sali 844 na Matematičkom fakultetu u Beogradu.
Predavač: Đorđe Baralić
Naslov predavanja: Lebegova dimenzija, prosti politopi i kvazitorusne mnogostrukosti
Apstrakt:
Pokazaćemo kako se klasične teoreme Lebega (o pokrivanju kocke) i Knastera-Kuratovskog-Mazurkieviča (o pokrivanju simpleksa) generališu na široke klase prostih politopa.
Izlaganje je bazirano na članku, Colorful versions of the Lebesgue, KKM, and Hex theorem http://arxiv.org/abs/1412.8621
detaljnije
Ambasada Indije poziva Vas na interaktivnu prezentaciju Birada Radžarama Jadžnika o Mahatmi Gandiju.
Kroz interaktivni medijalni razgovor omogućiće se globalnim gradjanima da u današnjem vremenu poistovete svoje živote sa životom Gandija. Daće im inspiraciju da krenu putem Mira, Istine i Ahimse.
Na prezentaciji će biti podeljena sećanja o Gandiju vodećih svetskih državnika i uticajnih ličnosti današnjice kao dokaz da je Gandi još uvek prisutan medju nama.
Više o predavanju na veb-sajtu Centra Sava
detaljnije
Naredni sastanak Seminara iz astronomije i astrofizike održaće se u utorak 10. marta 2015. godine, u 18 sati, u učionici 809.
Predavač: dr Branislav Vukotić (naučni saradnik Astronomske opservatorije)
Naslov predavanja: "Modeli Galaktičke nastanjivosti"
detaljnije
Knjiga „Nestandardna analiza”, u izdanju Matematičkog fakulteta, autora Žarka Mijajlovića, Miodraga Raškovića, Radosava Đorđevića i pokojnog Dragoljuba Aranđelovića može se kupiti u knjižari na Studentskom trgu.
detaljnije
Matematički fakultet će se i ove godine predstaviti potencijalnim budućim studentima i njihovim roditeljima na 12. Međunarodnom sajmu obrazovanja u petak 6. marta i subotu 7. marta 2015.
Na zajedničkom štandu Univerziteta u Beogradu zainteresovani će moći da dobiju besplatni štampani materijal, a za odgovore na pitanja posetilaca biće zaduženi naši predstavnici.
Dešavanje: http://www.edufair.rs/
Mesto: Hotel Kraun Plaza (Crowne Plaza, bivši Kontinental) Novi Beograd
Datum: petak 6. i subota 7. mart 2015.
Vreme: 10 - 18 sati
Posetite nas i informišite se o studijskim programima Matematičkog fakulteta na zajedničkom štandu Univerziteta u Beogradu na Međunarodnom sajmu obrazovanja.
Fotografije sa prethodnih sajmova
2009.
2010.
2012.
2013.
detaljnije
Seminar Bioinformatika nastavlja sa radom u ovom semestru sa namerom da uključi veći broj i širi spektar institucija i učesnika koji se bave srodnim temama. Planirano je da se seminar održava svake druge srede od 18 časova u sali 718/IV na Matematičkom fakultetu, a prvi sastanak u ovom semestru biće u sredu, 4. marta 2015. Tema prvog sastanka je uvodnog karaktera, "Bioinformatika na Matematičkom fakultetu", predavač profesor dr Nenad Mitić.
Organizatori seminara su prof. dr Gordana Pavlović-Lažetić, prof. dr Branko Dragović i prof. dr Nenad Mitić, rukovodilac.
detaljnije
