FOSSACS 2020 : International Conference on Foundations of Software Science and Computation Structures

  in Conferences   Posted on July 1, 2019

Conference Information

Submission Deadline Thursday 24 Oct 2019 Proceedings indexed by :
Conference Dates Apr 25, 2020 - May 1, 2020
Conference Address Dublin, Ireland
Conference & Submission Link
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 227
Category Rankings
Software Engineering & Programming 61
Computational Theory and Mathematics 26

Google Scholar H5-index:

Conference Call for Papers

23rd International Conference on Foundations of Software Science and Computation Structures

FoSSaCS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. The specific topics covered by the conference include, but are not limited to, the following:

categorical models and logics;
language theory, automata, and games;
modal, spatial, and temporal logics;
type theory and proof theory;
concurrency theory and process calculi;
rewriting theory;
semantics of programming languages;
program analysis, correctness, transformation, and verification;
logics of programming;
software specification and refinement;
models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems;
emerging models of computation;
logical aspects of computational complexity;
models of software security;
logical foundations of data bases

Other Conferences in Ireland

Symplatform 2020 : Symplatform: a symposium on digital platforms

Deadline :
Sun 19 Jan 2020
Apr 16, 2020 - Apr 17, 2020 - Dublin

VPT 2020 : Eighth International Workshop on Verification and Program Transformation

Deadline :
Mon 20 Jan 2020
Apr 25, 2020 - Apr 26, 2020 - Dublin