Azala

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Barbosa, Haniel (Argitaratzailea), Zohar, Yoni (Argitaratzailea)
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	ingelesa
Argitaratua:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edizioa:	1st ed. 2024.
Saila:	Lecture Notes in Computer Science, 14414
Gaiak:	Software engineering. Natural language processing (Computer science). Logic programming. Computer science. Computers, Special purpose. Computer networks . Software Engineering. Natural Language Processing (NLP). Logic in AI. Theory of Computation. Special Purpose and Application-Based Systems. Computer Communication Networks.
Sarrera elektronikoa:	https://doi.org/10.1007/978-3-031-49342-3
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings /
Argitaratua: (2025)

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
Argitaratua: (2023)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
Argitaratua: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /
Argitaratua: (2025)

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings /
Argitaratua: (2023)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Argitaratua: (2024)

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /
Argitaratua: (2024)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Argitaratua: (2023)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Argitaratua: (2025)

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Argitaratua: (2023)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Argitaratua: (2023)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Argitaratua: (2024)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II /
Argitaratua: (2024)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I /
Argitaratua: (2024)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Argitaratua: (2023)

Mobile Networks and Management 13th EAI International Conference, MONAMI 2023, Yingtan, China, October 27-29, 2023, Proceedings /
Argitaratua: (2024)

Chinese Computational Linguistics 22nd China National Conference, CCL 2023, Harbin, China, August 3–5, 2023, Proceedings /
Argitaratua: (2023)

Formal Analysis for Natural Language Processing: A Handbook
nork: Feng, Zhiwei
Argitaratua: (2023)

Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2–3, 2023, Proceedings, Part I /
Argitaratua: (2024)

Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2–3, 2023, Proceedings, Part II /
Argitaratua: (2024)

Handbook on Natural Language Processing for Requirements Engineering
Argitaratua: (2025)

Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10–11, 2023, Revised Selected Papers /
Argitaratua: (2024)

End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16–18, 2025, Proceedings /
Argitaratua: (2025)

IoT as a Service 9th EAI International Conference, IoTaaS 2023, Nanjing, China, October 27-29, 2023, Proceedings /
Argitaratua: (2025)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 17th International Conference, NooJ 2023, Zadar, Croatia, May 31–June 2, 2023, Revised Selected Papers /
Argitaratua: (2024)

Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6–8, 2024, Proceedings /
Argitaratua: (2025)

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6–8, 2024, Proceedings /
Argitaratua: (2025)

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
Argitaratua: (2023)

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
Argitaratua: (2025)

Advances in Computing 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17–21, 2022, Revised Selected Papers /
Argitaratua: (2023)

Distributed Computing and Intelligent Technology 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18–22, 2023, Proceedings /
Argitaratua: (2023)

Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings /
Argitaratua: (2025)

Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 – December 1, 2023, Revised Selected Papers /
Argitaratua: (2024)

Dependable Computing – EDCC 2024 Workshops SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings /
Argitaratua: (2024)

Explainable and Transparent AI and Multi-Agent Systems 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers /
Argitaratua: (2023)

Smart Business Technologies 20th International Conference, ICSBT 2023, Rome, Italy, July 11–13, 2023, Revised Selected Papers /
Argitaratua: (2024)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 18th International Conference, NooJ 2024, Bergamo, Italy, June 5–7, 2024, Revised Selected Papers /
Argitaratua: (2025)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Argitaratua: (2024)

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings /
Argitaratua: (2024)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V /
Argitaratua: (2025)