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 https://www.etaps.org/2020/fossacs
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 285
Category Rankings
Software Engineering & Programming 87
Computational Theory and Mathematics 36

Google Scholar H5-index:
18

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

ICC 2020 : IEEE International Conference on Communications

Deadline :
Mon 14 Oct 2019
Jun 7, 2020 - Jun 11, 2020 - Dublin
Ireland

ESOP 2020 : European Symposium on Programming

Deadline :
Thu 24 Oct 2019
Apr 25, 2020 - May 1, 2020 - Dublin
Ireland

FASE 2020 : International Conference on Fundamental Approaches to Software Engineering

Deadline :
Thu 24 Oct 2019
Apr 25, 2020 - May 1, 2020 - Dublin
Ireland

ICMR 2020 : ACM International Conference on Multimedia Retrieval

Deadline :
Sat 11 Jan 2020
Jun 8, 2020 - Jun 11, 2020 - Dublin
Ireland