22nd International Conference FOSSACS 2024: Unifying Foundations of Software Systems

The 22nd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2024) will be held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Dublin, Ireland, from April 1 to 5, 2024. FOSSACS is a major international forum for the presentation of original research on foundations of software systems, including semantics, logics, specification languages, program analysis, software verification, software testing, and programming languages.

FOSSACS 2024 will cover a wide range of topics in software foundations, including but not limited to:

• Semantics of programming languages
• Logics for software specification and verification
• Program analysis and optimization
• Software verification and testing
• Programming languages and type systems
• Concurrency and distribution
• Software security
• Formal methods in software engineering

• Abstract submission deadline: October 1, 2023
• Paper submission deadline: October 15, 2023
• Notification of acceptance: January 15, 2024
• Camera-ready deadline: March 1, 2024
• Conference dates: April 1-5, 2024

Submissions to FOSSACS 2024 should be original, unpublished work that is not currently under review for any other conference or journal. Submissions must be written in English and must be formatted according to the LNCS style. The length of submissions should be no more than 15 pages, excluding bibliography.

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2024, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11425)

by Dr Rupy Aujla

4.3 out of 5

Language	:	English
File size	:	172556 KB
Text-to-Speech	:	Enabled
Screen Reader	:	Supported
Enhanced typesetting	:	Enabled
Print length	:	940 pages

FREE

Submissions should be submitted electronically via the EasyChair submission system.

The program committee for FOSSACS 2024 is composed of leading researchers in software foundations from around the world. The full list of program committee members can be found on the conference website.

FOSSACS 2024 will be held at the Trinity College Dublin in Dublin, Ireland. Trinity College Dublin is one of the world's leading universities, and it is located in the heart of Dublin city centre.

A number of hotels are located within walking distance of the conference venue. A list of suggested hotels can be found on the conference website.

Registration for FOSSACS 2024 will open in January 2024. The registration fee will include access to all conference sessions, as well as a welcome reception and a conference dinner.

We invite you to submit your original research to FOSSACS 2024 and to participate in this exciting event. We look forward to seeing you in Dublin in April 2024!

For more information about FOSSACS 2024, please visit the conference website or contact the conference chairs:

• Michael Hofmann (University of Freiburg)
• Tomáš Vojnar (Masaryk University)

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2024, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11425)

by Dr Rupy Aujla

4.3 out of 5

Language	:	English
File size	:	172556 KB
Text-to-Speech	:	Enabled
Screen Reader	:	Supported
Enhanced typesetting	:	Enabled
Print length	:	940 pages

FREE