Honorary Chair
Wei Li
(Beihang University, China)
Steering Committee
Hoon Hong
(North Carolina State University, USA)
Tudor Jebelean
(Johannes Kepler University, Austria)
Jens Knoop
(Vienna University of Technology, Austria)
Alexander Letichevsky
(Cybernetics National Academy of Sciences, Ukraine)
Wei Li
(Beihang University, China)
Dongming Wang
(Beihang University, China and CNRS, France)
Program Chairs
Tudor Jebelean
(Johannes Kepler University, Austria)
Dongming Wang
(Beihang University, China and CNRS, France)
Program Committee
Sandra Alves
(University of Porto, Portugal)
Alessandro Armando
(University of Genova, Italy)
Armin Biere
(Johannes Kepler University, Austria)
Xiaoyu Chen
(Beihang University, China)
Ștefan Ciobâcă
(University A. I. Cuza, Romania)
Isabela Drãmnesc
(West University of Timişoara, Romania)
Mădălina Eraşcu
(West University of Timişoara, Romania)
Mário Florido
(University of Porto, Portugal)
Martin Giese
(University of Oslo, Norway)
Fairouz Kamareddine
(Heriot-Watt University, Scotland)
Jens Knoop
(Vienna University of Technology, Austria)
Boris Konev
(University of Liverpool, England)
Laura Kovács
(Chalmers University of Technology, Sweden)
Gábor Kusper
(Eszterházy Károly College, Hungary)
Oleksandr Letychevskyi
(Glushkov Institute of Cybernetics, Ukraine)
Dorel Lucanu
(University A. I. Cuza, Romania)
Jie Luo
(Beihang University, China)
Alexander Maletzky
(Johannes Kepler University, Austria)
Mircea Marin
(West University of Timisoara, Romania)
Marius Minea
(Politehnica University of Timisoara, Romania)
Grant Passmore
(University of Cambridge, England)
Vladimir Peschanenko
(Kherson State University, Ukraine)
Judit Robu
(Babeş-Bolyai University, Romania)
Michaël Rusinowitch
(LORIA - INRIA Nancy, France)
Vlad Rusu
(INRIA, France)
Wolfgang Schreiner
(Johannes Kepler University, Austria)
Martina Seidl
(Johannes Kepler University, Austria)
Viorica Sofronie-Stokkermans
(University of Koblenz, Germany)
Kaile Su
(Griffith University, Australia)
Wolfgang Windsteiger
(Johannes Kepler University, Austria)
Naijun Zhan
(Chinese Academy of Sciences, China)
Local Arrangements
Xiaoyu Chen
(Beihang University, China)
Aishan Liu ( Beihang University, China)
Dan Song (Beihang University, China)