Skip to content

FROM 2020 (virtual): The 4th Working Formal Methods Symposium, September 4-6 , 2020

Faculty of Mathematics and Computer Science, Babes-Bolyai University
  • About The Conference
  • Topics of Interest
  • Conference Organization
    • Organization Committee
    • Software Engineering Group
    • Faculty of Mathematics and Computer Science
    • Babeș-Bolyai University
  • Program Committees
  • Invited Speakers
  • Paper Submissions
  • Conference Programme

Invited Speakers


  • Andrei Arusoaie (Alexandru Ioan Cuza University of Iasi, Romania)
  • Guangdong Bai (University of Queensland, Australia)
  • Marius Bozga ( VERIMAG, CNRS, France)
  • Corina Carstea (University of Southampton, United Kingdom)
  • Wei-Ngan Chin (National University of Singapore, Singapore)
  • Daniel David (Babes-Bolyai University, Romania)
  • Radu Grosu (Vienna University of Technology , Austria)
  • Zhenjiang Hu (Peking University, China)
  • Chao Huang (Northwestern University, US)
  • Tudor Jebelean (Johannes Kepler University, Austria)
  • Quang Loc Le (University College London, United Kingdom)
  • Yang Liu (Nanyang Technological University, Singapore)
  • Zhiming Liu (Southwest University, China)
  • Ileana Ober (Université Paul Sabatier, Toulouse, France)
  • Jun Pang (University of Luxembourg, Luxembourg)
  • Grigore Rosu (University of Illinois at Urbana-Champaign, US)
  • Sebastian Rudolph (TU Dresden, Germany)
  • Traian Serbanuta (University of Bucharest, Romania)
  • Ilya Sergey (Yale-NUS College, Singapore)
  • Jun Sun (Singapore Management University, Singapore)
  • Meng Sun (Peking University, China)
  • Hongseok Yang (KAIST, South Korea)
  • Naijun Zhan (Institute of Software, Chinese Academy of Sciences, China)

© 2023 FROM 2020 (virtual): The 4th Working Formal Methods Symposium, September 4-6 , 2020 | Designed by: Theme Freesia | Powered by: WordPress