• advanced topics in software engineering • knowledge-based systems and formal methods • languages and formal methods

9th International Conference on Software Engineering and Applications (SEAS 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Software Engineering and Applications. The goal of this Conference is to bring together researchers and practitioners from academia and industry to focus on understanding Modern software engineering concepts and establishing new collaborations in these areas.