-
This book constitutes selected revised papers of the 16th International Conference on Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities, NooJ 2022, held in Rosario, Argentina, in June 2022. Due to COVID-19 pandemic the conference was held virtually. NooJ is a linguistic development environment that provides tools for linguists to construct ling…
In learning listening skills, students may face several challenges and they need appropriate learning strategies to have a good proficiency. The challenges students face and strategies they apply may caused a huge impact on their listening comprehension. The aims of this study are; (1) to find out the challenges students face and the strategies they apply by the students, (2) to describe the ch…
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issue…
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT…