TIS news Ostrich wins at SMT-COMP’23 Paper accepted at ICCV’23 Three papers accepted at ATVA’23 Paper accepted at CONCUR’23 Paper accepted in I&C Paper accepted in JSS Paper accepted at TACAS’23 Paper accepted in IPL Paper accepted at VSTTE’22 Paper accepted at SEFM’22 1234>>