Organization

GENERAL CHAIR

• Bernd Fischer (Stellenbosch University, ZA)

PROGRAM COMMITTEE

• June Andronick (Data61, AU) [DBLP]
• Éric Badouel (IRISA, FR) [DBLP]
• Eduardo Bonelli (Universidad Nacional de Quilmes, AR) [DBLP]
• Ana Cavalcanti (University of York, UK) [DBLP]
• Dang Van Hung (VNU University of Engineering and Technology, VN) [DBLP]
• Uli Fahrenberg (LIX, FR) [DBLP]
• Anna Lisa Ferrara (University of Southampton, UK) [DBLP]
• Bernd Fischer (Stellenbosch University, ZA) [DBLP] (co-chair)
• Adrian Francalanza (University of Malta, MT) [DBLP]
• Edward Hermann Haeusler (Pontifícia Universidade Católica do Rio de Janeiro, BR) [DBLP]
• Ross Horne (Nanyang Technological University, SG) [DBLP]
• Atsushi Igarashi (Kyoto University, JP) [DBLP]
• Jan Kretinsky (Technische Universität München, DE) [DBLP]
• Martin Leucker (Universität zu Lübeck, DE) [DBLP]
• Zhiming Liu (Southwest University, CN) [DBLP]
• Radu Mardare (Aalborg Universitet, DK) [DBLP]
• Tobias Nipkow (Technische Universität München, DE) [DBLP]
• Maciej Piróg (University of Wrocław, PL) [DBLP]
• Sanjiva Prasad (IIT Delhi, IN) [DBLP]
• Murali Krishna Ramanathan (Uber, US) [DBLP]
• Camilo Rueda (Pontificia Universidad Javeriana Cali, CO) [DBLP]
• Augusto Sampaio (Universidade Federal de Pernambuco, BR) [DBLP]
• Ina Schaefer (Technische Universität Braunschweig, DE) [DBLP]
• Natarajan Shankar (SRI International, US) [DBLP]
• Georg Struth (University of Sheffield, UK) [DBLP]
• Cong Tian (Xidian University, CN) [DBLP]
• Tarmo Uustalu (Reykjavik University, IS / TalTech University, EE) [DBLP] (co-chair)
• Lynette van Zijl (Stellenbosch University, ZA) [DBLP]

STEERING COMMITTEE

• Ana Cavalcanti (University of York, UK) (chair)
• Martin Leucker (Universität zu Lübeck, DE)
• Zhiming Liu (Southwest University, CN)
• Tobias Nipkow (Technische Universität München, DE)
• Augusto Sampaio (Universidade Federal de Pernambuco, BR)
• Natarajan Shankar (SRI International, US)