School of Computer Science and Engineering, under the aegis of Lovely Professional University, pays homage to the great programmer of all times Kathleen Hylda Valerie Booth, by hosting BOOTH1006th International Conference on Computing Sciences....Lasīt vairāk
The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in...Lasīt vairāk
The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in...Lasīt vairāk
This first book of conference proceedings contains selected papers presented at ICGEC 2023, the 15th International Conference on Genetic and Evolutionary Computing, held on October 68, 2023, in Kaohsiung, Taiwan. The conference is intended as an...Lasīt vairāk
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, b...Lasīt vairāk
This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 1012, 2024.The 10 full papers included in this book were carefu...Lasīt vairāk
This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 2529, 2024. The 21 full papers presented here were carefully re...Lasīt vairāk
This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held...Lasīt vairāk
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2024, held in Groningen, The Netherlands, in June 2024, as part of the 19th International Federated C...Lasīt vairāk
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.The 15 papers presented in this volume were carefully reviewed and selected from...Lasīt vairāk
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2024, held as part of EvoStar 2024, in Aberystwyth, UK, April 35, 2024.The 17 full pa...Lasīt vairāk
This book constitutes the refereed proceedings of the 27th European Conference on Genetic Programming, EuroGP 2024, held in Aberystwyth, UK, April 35, 2024 and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EvoApplications....Lasīt vairāk
This volume LNCS 14361 and 14362 constitutes the refereed proceedings of the, 16th International Symposium, ISVC 2023, in October 2023, held at Lake Tahoe, NV, USA.The 42 full papers and 13 poster papers were carefully reviewed and selected...Lasīt vairāk
This volume LNCS 14361 and 14362 constitutes the refereed proceedings of the, 16th International Symposium, ISVC 2023, in October 2023, held at Lake Tahoe, NV, USA.The 42 full papers and 13 poster papers were carefully reviewed and selected...Lasīt vairāk
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019. The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected....Lasīt vairāk
This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 1820, 2023. The 13 full papers and 3 short papers included in these proce...Lasīt vairāk
This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 1215, 2023.The 6 full papers presented in this volume were carefully...Lasīt vairāk
This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 1315, 2023.The 15 full papers presented in this book were carefully reviewed and sel...Lasīt vairāk
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference...Lasīt vairāk
This book constitutes the proceedings of the Workshop on Asynchronous Many-Task Systems and Applications 2023 in Baton Rouge, LA, USA, February 2023. The workshop present the advantages and challenges of task-based programming on modern and future H...Lasīt vairāk
