This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 1418, 2025.The 27...Lasīt vairāk
This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 35, 2025. Four out the five invited talks are included in this book. Out of the...Lasīt vairāk
This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the Internat...Lasīt vairāk
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, Chin...Lasīt vairāk
This book constitutes the proceedings of the Third International Conference on Human and Artificial Rationalities, HAR 2024, which took place in Paris, France, in September 2024. The 19 full papers and 4 short papers included in this book w...Lasīt vairāk
Alfredo Ferros impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems. After first studying Mathematics at the University of Catania, he received a Ph.D. in...Lasīt vairāk
The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during December 68, 2024. The 56 full papers prese...Lasīt vairāk
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these proceedings were carefully reviewed an...Lasīt vairāk
This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.The 10 papers included in these proc...Lasīt vairāk
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024....Lasīt vairāk
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024....Lasīt vairāk
This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September 2023. The 18 full and 5 short papers included in this book were careful...Lasīt vairāk
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLķ 2023, held in Tbilisi, Georgia, during September 1516, 2023. They deal with new trends and applications in the ar...Lasīt vairāk
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, which was held virtual...Lasīt vairāk
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10...Lasīt vairāk
Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.Besides 6 invited papers presen...Lasīt vairāk
This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLķ 2022, held in Haifa, Israel, in July/August 2022. The 8 full papers presented in this volume were carefully reviewed...Lasīt vairāk
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the Europea...Lasīt vairāk
This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers prese...Lasīt vairāk
(Izdošanas datums: 31-Dec-2019, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662606698)
Parameterized Complexity in the Polynomial Hierarchy was co-recipient of the E.W. Beth Dissertation Prize 2017 for outstanding dissertations in the fields of logic, language, and information. This work extends the theory of parameterized complexit...Lasīt vairāk
