[et_pb_section fb_built=”1″ _builder_version=”4.22.2″ background_image=”https:\/\/cyprusconferences.org\/tase2025\/wp-content\/uploads\/2023\/05\/24857899916_6d7d641e3e_o-scaled-1.jpg” background_blend=”luminosity” global_colors_info=”{}”][et_pb_row _builder_version=”4.16″ global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.16″ global_colors_info=”{}”][et_pb_text _builder_version=”4.22.2″ header_font=”|800|||||||” header_text_color=”#FFFFFF” header_font_size=”35px” global_colors_info=”{}”]<\/p>\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.22.2″ background_enable_image=”off” global_colors_info=”{}”][et_pb_row _builder_version=”4.27.0″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.27.0″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.27.0″ _module_preset=”default” global_colors_info=”{}”]<\/p>\n
George A. Papadopoulos,<\/strong> University of Cyprus, Cyprus<\/p>\n <\/p>\n Philipp R\u00fcmmer, <\/strong>University of Regensburg, Germany<\/p>\n Zhilin Wu<\/strong>, Institute of Software, Chinese Academy of Sciences, China<\/p>\n <\/strong><\/p>\n [\/et_pb_text][et_pb_text _builder_version=”4.27.3″ _module_preset=”default” global_colors_info=”{}”]<\/p>\n QinXiang Cao<\/strong>, Shanghai Jiaotong University, China<\/p>\n [\/et_pb_text][et_pb_text _builder_version=”4.27.3″ _module_preset=”default” global_colors_info=”{}”]<\/p>\n Jie An,<\/strong> Institute of Software, Chinese Academy of Sciences, China <\/strong><\/p>\n [\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":" CommitteesGeneral Chair George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs\u00a0 Philipp R\u00fcmmer, University of Regensburg, Germany Zhilin Wu, Institute of Software, Chinese Academy of Sciences, China Publicity Chair QinXiang Cao, Shanghai Jiaotong University, ChinaProgram Committee Jie An, Institute of Software, Chinese Academy of Sciences, ChinaPeter Backeman, M\u00e4lardalen University, SwedenGuangdong Bai, The University of Queensland, AustraliaNikolaj Bj\u00f8rner, Microsoft, USAMarcello Bonsangue, Leiden University, NeitherlandsJulie Cailler, Loria University of Lorraine, FranceMingshuai Chen, Zhejiang University, ChinaLucas Cordeiro, The University of Manchester, UKMohammed Erradi, ENSIAS Rabat, MoroccoGrigory Fedyukovich, Florida State University, USAMarc Frappier, Universit\u00e9 de Sherbrooke, CanadaHongfei Fu, Shanghai Jiao Tong University, ChinaZolt\u00e1n Horv\u00e1th, Eotvos Lorand University, Budapest, HungaryZhe Hou, School of Information and Communication Technology (ICT), Griffith Univerity, AustraliaAndreas Katis, KBR Inc. at NASA Ames Research Center, USAJyun-Ao Lin, National Taipei University of Technology, Taiwan, ChinaWanwei Liu, School of Computer Science, National University of Defense Technology, ChinaShaoying Liu, Hiroshima University, JapanEric Mercer, Brigham Young University, USADominique Mery, Loria Universit\u00e9 de Lorraine, FranceMizuhito Ogawa, NPO “Old Teachers Network”, JapanJun Pang, University of Luxembourg, LuxembourgAndrei Paskevich, Universit\u00e9 Paris-Sud, LRI, FranceAnna Philippou, University of Cyprus, CyprusKristin Yvonne Rozier, Iowa State University, USADaniel Stan, LRDE, Epita Paris, FranceJun Sun, Singapore Management University, SingaporeRamanathan Thinniyam Srinivasan, Uppsala […]<\/p>\n","protected":false},"author":8,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"_links":{"self":[{"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/pages\/243901"}],"collection":[{"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/comments?post=243901"}],"version-history":[{"count":16,"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/pages\/243901\/revisions"}],"predecessor-version":[{"id":244261,"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/pages\/243901\/revisions\/244261"}],"wp:attachment":[{"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/media?parent=243901"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Program Chairs\u00a0<\/h3>\n
Publicity Chair<\/h3>\n
Program Committee<\/h3>\n
Peter Backeman<\/strong>, M\u00e4lardalen University, Sweden
Guangdong Bai<\/strong>, The University of Queensland, Australia
Nikolaj Bj\u00f8rner<\/strong>, Microsoft, USA
Marcello Bonsangue<\/strong>, Leiden University, Neitherlands
Julie Cailler<\/strong>, Loria University of Lorraine, France
Mingshuai Chen<\/strong>, Zhejiang University, China
Lucas Cordeiro<\/strong>, The University of Manchester, UK
Mohammed Erradi<\/strong>, ENSIAS Rabat, Morocco
Grigory Fedyukovich<\/strong>, Florida State University, USA
Marc Frappier,<\/strong> Universit\u00e9 de Sherbrooke, Canada
Hongfei Fu<\/strong>, Shanghai Jiao Tong University, China
Zolt\u00e1n Horv\u00e1th<\/strong>, Eotvos Lorand University, Budapest, Hungary
Zhe Hou<\/strong>, School of Information and Communication Technology (ICT), Griffith Univerity, Australia
Andreas Katis<\/strong>, KBR Inc. at NASA Ames Research Center, USA
Jyun-Ao Lin<\/strong>, National Taipei University of Technology, Taiwan, China
Wanwei Liu<\/strong>, School of Computer Science, National University of Defense Technology, China
Shaoying Liu<\/strong>, Hiroshima University, Japan
Eric Mercer<\/strong>, Brigham Young University, USA
Dominique Mery,<\/strong> Loria Universit\u00e9 de Lorraine, France
Mizuhito Ogawa<\/strong>, NPO “Old Teachers Network”, Japan
Jun Pang,<\/strong> University of Luxembourg, Luxembourg
Andrei Paskevich<\/strong>, Universit\u00e9 Paris-Sud, LRI, France
Anna Philippou<\/strong>, University of Cyprus, Cyprus
Kristin Yvonne Rozier<\/strong>, Iowa State University, USA
Daniel Stan<\/strong>, LRDE, Epita Paris, France
Jun Sun<\/strong>, Singapore Management University, Singapore
Ramanathan Thinniyam Srinivasan<\/strong>, Uppsala University, Sweden
Aaron Tomb<\/strong>, Amazon Web Services, USA
Zhiwu Xu<\/strong>, Shenzhen University, China
Zhenya Zhang<\/strong>, Kyushu University, Japan
Yedi Zhang,<\/strong> National University of Singapore, Singapore<\/p>\n