Buchumschlag

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

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 submissions. FMTea 2023 aim is to support a worldw...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	SpringerLink (Online service)
Weitere Verfasser:	Dubois, Catherine (HerausgeberIn), San Pietro, Pierluigi (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Ausgabe:	1st ed. 2023.
Schriftenreihe:	Lecture Notes in Computer Science, 13962
Schlagworte:	Mathematical logic. Logic programming. Natural language processing (Computer science). Social sciences > Data processing. Software engineering. Microprogramming . Mathematical Logic and Foundations. Logic in AI. Natural Language Processing (NLP). Computer Application in Social and Behavioral Sciences. Software Engineering. Control Structures and Microprogramming.
Online-Zugang:	https://doi.org/10.1007/978-3-031-27534-0
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

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 /
Veröffentlicht: (2025)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Veröffentlicht: (2024)

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 /
Veröffentlicht: (2023)

R-Calculus, VI: Finite Injury Priority Method
von: Li, Wei, et al.
Veröffentlicht: (2025)

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
Veröffentlicht: (2024)

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

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Veröffentlicht: (2025)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Veröffentlicht: (2023)

An Invitation to Mathematical Logic
von: Marker, David
Veröffentlicht: (2024)

Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
von: Hoffmann, Dirk W.
Veröffentlicht: (2024)

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
von: Viale, Matteo
Veröffentlicht: (2024)

Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
Veröffentlicht: (2025)

Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
von: Halbeisen, Lorenz, et al.
Veröffentlicht: (2025)

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

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /
Veröffentlicht: (2024)

Formal Analysis for Natural Language Processing: A Handbook
von: Feng, Zhiwei
Veröffentlicht: (2023)

Philosophy of Mathematics in Antiquity and in Modern Times
von: Felgner, Ulrich
Veröffentlicht: (2023)

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

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

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

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
von: Rodríguez-Consuegra, Francisco
Veröffentlicht: (2025)

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings /
Veröffentlicht: (2023)

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

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

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
Veröffentlicht: (2023)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Veröffentlicht: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
von: Hoffmann, Dirk W.
Veröffentlicht: (2025)

Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
Veröffentlicht: (2024)

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings /
Veröffentlicht: (2025)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Veröffentlicht: (2023)

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12–16, 2024, Revised Selected Papers /
Veröffentlicht: (2025)

Institution-independent Model Theory
von: Diaconescu, Răzvan
Veröffentlicht: (2025)

Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
von: Batzoglou, Serafim
Veröffentlicht: (2024)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Veröffentlicht: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Veröffentlicht: (2023)

Handbook on Natural Language Processing for Requirements Engineering
Veröffentlicht: (2025)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Veröffentlicht: (2023)