Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II
Will be published approx. on 18. June 2026
Book
Paperback/Softback
XXII, 733 pages
978-3-032-26219-6 (ISBN)
Description
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18-22, 2026.
The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. The contributions were organized in topical sections as follows:
Part I: Invited Papers; and Main Track (1)
Part II: Main Track (2); Tests and Proofs Track (TAP); Tutorial Track; and Industry Day Track
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
168 farbige Abbildungen
XXII, 733 p. 233 illus., 197 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 41 mm
Weight
1124 gr
ISBN-13
978-3-032-26219-6 (9783032262196)
DOI
10.1007/978-3-032-26220-2
Schweitzer Classification