Theoretical Aspects of Computing – ICTAC 2023

Theoretical Aspects of Computing – ICTAC 2023 PDF

Author: Erika Ábrahám

Publisher: Springer Nature

Published: 2023-12-24

Total Pages: 451

ISBN-13: 3031479637

DOWNLOAD EBOOK →

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.

Theoretical Aspects of Computing – ICTAC 2022

Theoretical Aspects of Computing – ICTAC 2022 PDF

Author: Helmut Seidl

Publisher: Springer Nature

Published: 2022-10-02

Total Pages: 494

ISBN-13: 3031177150

DOWNLOAD EBOOK →

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022. The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Formal Aspects of Component Software

Formal Aspects of Component Software PDF

Author: Javier Cámara

Publisher: Springer Nature

Published: 2024-02-13

Total Pages: 243

ISBN-13: 3031521838

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023. The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

Theoretical Aspects of Computing – ICTAC 2021

Theoretical Aspects of Computing – ICTAC 2021 PDF

Author: Antonio Cerone

Publisher: Springer Nature

Published: 2021-08-19

Total Pages: 405

ISBN-13: 3030853152

DOWNLOAD EBOOK →

This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. The 20 full papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers cover a wide variety of topics, including: getting the best price for selling your personal data; attacking Bitcoin; optimizing various forms of model checking; synthesizing and learning algorithms; formalizing and verifying contracts, languages, and compilers; analyzing the correctness and complexity of programs and distributed systems; and finding connections from proofs in propositional logic to quantum programming languages.

ECAI 2023

ECAI 2023 PDF

Author: K. Gal

Publisher: IOS Press

Published: 2023-10-18

Total Pages: 3328

ISBN-13: 164368437X

DOWNLOAD EBOOK →

Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.

Theoretical Aspects of Computing – ICTAC 2020

Theoretical Aspects of Computing – ICTAC 2020 PDF

Author: Violet Ka I Pun

Publisher: Springer

Published: 2020-11-25

Total Pages: 317

ISBN-13: 9783030642754

DOWNLOAD EBOOK →

This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

iFM 2023

iFM 2023 PDF

Author: Paula Herber

Publisher: Springer Nature

Published: 2023-11-10

Total Pages: 406

ISBN-13: 3031477057

DOWNLOAD EBOOK →

This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

Lanterna Rally - Theme by Grace Themes