Formal methods 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings Part II Augusto Sampaio, Marielle Stoelinga, editors

Format:

Book

Conference/Event

Contributor:

Sampaio, Augusto, editor.

Stoelinga, Mariëlle, editor.

Conference Name:

International Symposium of Formal Methods Europe (27th : 2026 : Tokyo, Japan)

Series:

Lecture notes in computer science ; 1611-3349 16557

Lecture notes in computer science 1611-3349 16557

Language:

English

Subjects (All):

Formal methods (Computer science)--Congresses.

Formal methods (Computer science).

Physical Description:

1 online resource

illustration

Other Title:

FM 2026

Place of Publication:

Cham Springer 2026

Summary:

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

Notes:

Includes author index

Online resource; title from PDF title page (SpringerLink, viewed June 4, 2026)

ISBN:

9783032262202

3032262208

OCLC:

1593827701

Access Restriction:

Restricted for use by site license