This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed a…
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed …
This book constitutes the proceedings of the 18th Russian Conference on Artificial Intelligence, RCAI 2020, held in Moscow, Russia, in October 2020. The 27 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 140 submissions. The conf…
This book constitutes the proceedings of the 18th Russian Conference on Artificial Intelligence, RCAI 2020, held in Moscow, Russia, in October 2020. The 27 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 140 submissions. The conf…
This book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held in Hainan, China, in October/November 2020. The 32 full and 2 short papers presented in this volume were carefully reviewed and selected from 99 submissions. …
This book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held in Hainan, China, in October/November 2020. The 32 full and 2 short papers presented in this volume were carefully reviewed and selected from 99 submissions. …
This book constitutes the refereed proceedings of the 22nd International Conference on Asia-Pacific Digital Libraries, ICADL 2020, which was planned to be held in Kyoto, Japan, in November/December 2020, but it was held virtually due to the COVID-19 pandemic. The 10 full, 15 sho…
This book constitutes the refereed proceedings of the 22nd International Conference on Asia-Pacific Digital Libraries, ICADL 2020, which was planned to be held in Kyoto, Japan, in November/December 2020, but it was held virtually due to the COVID-19 pandemic. The 10 full, 15 sho…
This book constitutes the refereed proceedings of the 22nd International Conference on Asia-Pacific Digital Libraries, ICADL 2020, which was planned to be held in Kyoto, Japan, in November/December 2020, but it was held virtually due to the COVID-19 pandemic. The 10 full, 15 sho…
This two-volume set LNCS 11437 and 11438 constitutes the refereed proceedings of the 41st European Conference on IR Research, ECIR 2019, held in Cologne, Germany, in April 2019. The 48 full papers presented together with 2 keynote papers, 44 short papers, 8 demonstration papers,…
This two-volume set LNCS 11437 and 11438 constitutes the refereed proceedings of the 41st European Conference on IR Research, ECIR 2019, held in Cologne, Germany, in April 2019. The 48 full papers presented together with 2 keynote papers, 44 short papers, 8 demonstration papers,…
This two-volume set LNCS 11437 and 11438 constitutes the refereed proceedings of the 41st European Conference on IR Research, ECIR 2019, held in Cologne, Germany, in April 2019. The 48 full papers presented together with 2 keynote papers, 44 short papers, 8 demonstration papers,…
This two-volume set LNCS 11437 and 11438 constitutes the refereed proceedings of the 41st European Conference on IR Research, ECIR 2019, held in Cologne, Germany, in April 2019. The 48 full papers presented together with 2 keynote papers, 44 short papers, 8 demonstration papers,…
