• Symbolic computation for software science
  • September 8–10, 2021
  • Virtual
  • RISC, JKU Linz, Austria

General Chairs

Adel Bouhoula (Arabian Gulf University, Bahrain)

Tetsuo Ida (University of Tsukuba, Japan)


Program Chair

Temur Kutsia (Johannes Kepler University Linz, Austria)


Program Committee

David Cerna (Czech Academy of Sciences, Czech Republic, and Johannes Kepler University Linz, Austria)

Changbo Chen (Chinese Academy of Sciences, China)

Rachid Echahed (CNRS, Grenoble, France)

Seyed Hossein Haeri (UC Louvain, Belgium)

Mohamed-Bécha Kaâniche (Sup'Com, Carthage University, Tunisia)

Cezary Kaliszyk (University of Innsbruck, Austria)

Yukiyoshi Kameyama (University of Tsukuba, Japan)

Michael Kohlhase (University of Erlangen-Nuremberg, Germany)

Laura Kovacs (Vienna University of Technology, Austria)

Temur Kutsia (Johannes Kepler University Linz, Austria) (Chair)

Zied Lachiri (ENIT, University of Tunis El Manar, Tunisia)

Christopher Lynch (Clarkson University, USA)

Mircea Marin (West University of Timisoara, Romania)

Yasuhiko Minamide (Tokyo Institute of Technology, Japan)

Yoshihiro Mizoguchi (Kyushu University, Japan)

Julien Narboux (Strasbourg University, France)

Michaël Rusinowitch (INRIA, France)

Wolfgang Schreiner (Johannes Kepler University Linz, Austria)

Sofiane Tahar (Concordia University, Canada)

Dongming Wang (CNRS, Paris, France)


Organization

Temur Kutsia

Cleo Pau

Werner Danielczyk-Landerl

Ralf Wahner