Research

Google Scholar, DBLP, WRAP

FoCS group, DIMAP centre, EATCS, ACM SIGLOG

LICS '22, Highlights, CONCUR '21, LICS '21, FoSSaCS '21, FSTTCS '20, GandALF '20, CONCUR '20, Autoboz, ICALP '20, TACAS '20, STACS '20, FSTTCS '19, STOC '19, LICS '19, Dynamical Systems and Computation, SODA '19, GandALF '18, MFCS '18, Autoboz '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

Information Processing Letters

R.S.Lazic@warwick.ac.uk

+44 (0)24 765 73782

CS2.15