{"word_count": 46, "character_count": 517}
Website:&#160;: &#160;https://lc18.uniud.it/data/booklet.pdfSélection de résumés :&#160; p. 33 : King&#160;Meng Ng,&#160;A randomness-free characterization of strong jump traceability (joint work with Michael&#160;McInnerney) &#160;; &#160;p. 57-58 : Amanda Vidal&#160;«&#160;&#160;Many-valued modal logics: axiomatizability issues&#160;»&#160;; &#160;p. 87-88 : Darn&#160;Wang&#160;«&#160;&#160;Statistical Model-Checking Uncertain Responses written in LTL with Con&#160;dance&#160;(joint work with Wen-Hong Chiang).