Homotopska teorija tipov je nova veja matematike, ki na presenetljiv način združuje različna matematična področja. Zasnovana je na nedavno odkriti zvezi med homotopsko teorijo in teorij tipov. Dotika se tako različnih področij matematike kot so homotopske grupe sfer, algoritmi za preverjanje tipov, in defincija šibkih ∞-grupoidov. Homotopska teorija tipov omogoča nove “univalentne” osnove matematike, v katerih ima osrednjo vlogo aksiom o univalentnosti Voevodskega ter višji homotopski tipi. Pričujoča knjiga je mišljena kot prva sistematična ekspozicija univalentnih osnov, in zbirka primerov tega novega načina matematičnega razmišljanja, pri čemer od bralca ne zahteva poznavanja formalne logike in uporabe dokazovalnih pomočnikov. Verjamemo, da bodo univlanetne osnove sčasoma postale možna alternativa teoriji množic kot “implicitnim temelj” vsakdanje neformalizirane matematike.
C.07 Drugo uredništvo
COBISS.SI-ID: 16749657Ars mathematica contemporanea. Pisanski, Tomaž (glavni in odgovorni urednik 2008). [Tiskana izd.]. Ljubljana: Društvo matematikov, fizikov in astronomov, 2008. ISSN 1855-3966. http://amc-journal.eu/index.php/amc. [COBISS.SIID 239049984]
C.04 Uredništvo mednarodne revije
Na XXXIII International Sunbelt Social Network Conference sta V. Bataglej in A. Mrvar prejela INSNA's William D. Richards Jr., Software Award, 2013 za program Pajek. Gre za nagrado za življensko delo namenjeno posameznikom, ki so ustvarili javno dostopno programsko opremo, brez katere bi bilo nemogoče preučevati socialna omrežja.
E.02 Mednarodne nagrade
Konfiguracije, ki jih lahko preučujemo iz vidika teorije grafov preko Levijevih grafov, ležijo v preseku teorije grafov, grup, ploskev in geometrije, ki predstavljajo zelo aktivna področja matematičnih raziskav. V knjigi oblikovani kot zaključena celota je algebraična teorija grafov uporabljena za predstavitev grup, topološka teorija grafov je uporabljena za preučevanje ploskev, geometrična teorija grafov pa nam olajša razumevanje incidenčnih geometrij. Po pregledu konfiguracij v 1. poglavju predstavimo v 2. poglavju teorijo grafov, v 3. poglavju pa podamo geometrično orientiran uvod v teorijo grup. V 4. poglavju predstavimo kombinatorično obravnavo zemljevidov in ploskev. V 5. poglavju predstavimo koncept incidenčne strukture preko po točkah obarvanih grafov. Tu tudi podamo kombinatorične vidike klasičnih konfiguracij. V zadnjem poglavju za klasične konfiguracije podamo nekaj zanimivih geometričnih lastnosti, zgodovinskih opomb, referenc in aplikacij. S preko 200 ilustracijami, nalogami in obsežno bibliografijo na koncih poglavij ter množico podanih odprtih problemov predstavlja knjiga dobro osnovo za podiplomski tečaj iz teorije grafov, napreden dodiplomski seminar kot tudi celovito referenco za matematike in raziskovalce.
D.11 Drugo
COBISS.SI-ID: 16418137Tomaž Pisanski, Klavdija Kutnar, Alen Orbanić - člani organizacijskega odbora, http://csasc2013.upr.si/, Skupna matematična konferenca matematičnih društev Katalonije, Slovenije, Avstrije, Slovaške in Češke.
B.01 Organizator znanstvenega srečanja
COBISS.SI-ID: 267243264