Open Science Research Excellence

ICCAPFP 2021 : International Conference on Computer-Assisted Proof and Functional Programming

London, United Kingdom
February 14 - 15, 2021

International Scientific Committee

Mohamed Arezki Mellal   Muhamed Bougara University, DZ
Elhadj Benkhelifa   Staffordshire University, UK
C. Suheyl Ozveren   University of Abertay Dundee, UK
Vishal Barot   Loughborough University, UK
Djamila Ouelhadj   University of Nottingham, UK
Mahdieh Zabihimayvan   Wright State University, US
Faezehossadat Khademi   Illinois Institute of Technology, US
Naga Usha Gayathri Lokala   Wright State University, US
Fan Wang   Microsoft Corporation, US
Guoxiang Liu   University of North Dakota, US
Suresh Kamath   Metlife Inc, US
Ashish Chawla   University of Texas at Arlington, US
Henry Hexmoor   Southern Illinois University, US
Konstantinos Domdouzis   University of Illinois at Urbana - Champaign, US
Waleed Zaghloul   Health Language Inc., US
Adel El Shahat   Ohio State University, US
Huanjing Wang   Western Kentucky University, US
Mariofanna Milanova   University of Arkansas at Little Rock, US
Yanhui Guo   Utah State University, US
Feng Niu   Automated Precision Inc., US
Kasthurirangan Gopalakrishnan   Iowa State University, US
Walid Saba   American Institutes for Research, US
Anandan R   Vels Institute of Science, Technology and Advanced Studies, IN
Omar El Farissi   Ensa | Université Ibn Zohr, MA
Leticia Cervantes   Iberoamerican University of Tijuana, MX
Iman Shafieenejad   Aerospace Research Institute of Iran, IR
Matteo Calabrese   Accenture Spa, IT
Carol Anne Hargreaves   National University of Singapore, SG
Karthigayan Muthukaruppan   Manipal International University, MY
Manolo Dulva Hina   Ece Paris School of Engineering, FR
Bogdan Constantin Neagu   Gheorghe Asachi Technical University of Iasi, RO
Melih İnal   Kocaeli University, TR
Vishnu Kumar Kaliappan   Kpr Institute of Engineering and Technology, IN
Monika Hadaś-Dyduch   University of Economics in Katowice, PL
Aydin Azizi   German University of Technology, OM
Lois Onyejere Nwobodo   Enugu State University of Science and Technology, NG
Balakrishnan S   Sri Krishna College of Engineering and Technology,
Omaima Al-Allaf   Al-zaytoonah University of Jordan, JO