Ranko Lazic
Teaching
Research
FoCS group, DIMAP centre, EATCS
Machine Learning & Theory, NeurIPS '23, MFCS '23, NeurIPS '22, LICS '22, Highlights, CONCUR '21, LICS '21, FoSSaCS '21, FSTTCS '20, GandALF '20, CONCUR '20, ICALP '20, TACAS '20, STACS '20, FSTTCS '19, Autoboz '19, STOC '19, LICS '19, Dynamical Systems and Computation, SODA '19, GandALF '18, MFCS '18, ICALP '18, INFINITY '18, LICS '18, HALG, FSTTCS '17, FaceTAV, GandALF '17, RP '17, ICALP '17, Gregynog 71717, LICS '17, LSV's 20th, C,S&P, AlgLogStr, ESSLLI '16, ICALP '16, LICS '16, FoSSaCS '16, ATI workshop LFDS, RP '15, ICALP '15, DIMAP Logic Day, AutoMathA '15, ISS '15, INFINITY '14, Dagstuhl 14141