The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.
This book constitutes the refereed proceedings of the International Joint Conference on Rough Sets, IJCRS 2023, held in Krakow, Poland, during October 5-8, 2023.
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.
This volume contains the proceedings of the 16th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2023, which took place in Heraklion, Crete during September 6-7, 2023.
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe.
This book constitutes the refereed proceedings of the 20th International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2024, which was held in Bhubaneswar, India, during January 17-20, 2024.
This book constitutes the refereed proceedings of the 20th International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2024, which was held in Bhubaneswar, India, during January 17-20, 2024.
This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2023, which was held in Nanjing, China, during November 11-13, 2023.
This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2023, which was held in Nanjing, China, during November 11-13, 2023.
This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17-19, 2024.
This 2-volume set constitutes the post-conference proceedings of the 4th EAI International Conference on Cognitive Computing and Cyber Physical Systems, IC4S 2023, Bhimavaram, Andhra Pradesh, India, during August 4-6, 2023.
The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.
The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.
This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17-19, 2024.
This 2-volume set constitutes the post-conference proceedings of the 4th EAI International Conference on Cognitive Computing and Cyber Physical Systems, IC4S 2023, Bhimavaram, Andhra Pradesh, India, during August 4-6, 2023.
This book constitutes revised papers from the International Workshops held at the 21st International Conference on Business Process Management, BPM 2023, in Utrecht, The Netherlands, during September 2023.
The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.
The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.
This 2-volume set constitutes the post-conference proceedings of the 4th International Conference on Cognitive Computing and Cyber Physical Systems, IC4S 2023, held in Bhimavaram, Andhra Pradesh, India, during August 4-6, 2023.
This 2-volume set constitutes the post-conference proceedings of the 4th International Conference on Cognitive Computing and Cyber Physical Systems, IC4S 2023, held in Bhimavaram, Andhra Pradesh, India, during August 4-6, 2023.
This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023.
This book constitutes revised selected papers from the 8th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2023, held in Amsterdam, The Netherlands, on September 5, 2023.
This book constitutes revised selected papers from the 8th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2023, held in Amsterdam, The Netherlands, on September 5, 2023.
This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023.
This book constitutes the refereed proceedings of the 27th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2023, held in London, UK, on May 29, 2023 (co-located with 22nd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)).
This book constitutes the refereed proceedings of the 7th International Conference on Intelligent Transport Systems, INTSYS 2023, held in Molde, Norway, during September 6-7, 2023.
This book constitutes the proceedings of the First International Conference, CINS 2023, held in Dubai, United Arab Emirates, from October 18 to 20, 2023.
This book constitutes the refereed proceedings of the 7th International Conference on Intelligent Transport Systems, INTSYS 2023, held in Molde, Norway, during September 6-7, 2023.
This book constitutes the proceedings of the First International Conference, CINS 2023, held in Dubai, United Arab Emirates, from October 18 to 20, 2023.
This book constitutes the refereed proceedings of the 27th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2023, held in London, UK, on May 29, 2023 (co-located with 22nd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)).
This book constitutes the proceedings of the 11th International Conference on Big Data and Artificial Intelligence, BDA 2023, held in Delhi, India, during December 7-9, 2023.
This book constitutes the proceedings of the 21st Australasian Conference on Data Science and Machine Learning, AusDM 2023, held in Auckland, New Zealand, during December 11-13, 2023.
This book constitutes the proceedings of the 21st Australasian Conference on Data Science and Machine Learning, AusDM 2023, held in Auckland, New Zealand, during December 11-13, 2023.
This book constitutes the proceedings of the 11th International Conference on Big Data and Artificial Intelligence, BDA 2023, held in Delhi, India, during December 7-9, 2023.
This book constitutes the refereed post-conference proceedings of the 9th International Conference on Nature of Computation and Communication, ICTCC 2023, held in Ho Chi Minh City, Vietnam, in October 2023.
This book constitutes the proceedings of the 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023, held in Evora, Portugal, during November 22-24, 2023.
This book contains the proceedings of ICTRS 2023, the 12th International Conference on Telecommunications and Remote Sensing, held in a hybrid format in Rhodes, Greece, in September 2023.
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023.
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023.
This book constitutes the refereed post proceedings of the 17th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2023, held in Venice, Italy, during September 6-8, 2023.
