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

  in Conferences   Posted on September 1, 2020

Conference Information

Submission Deadline Thursday 15 Oct 2020 Proceedings indexed by :
Conference Dates Mar 27, 2021 - Apr 1, 2021
Conference Address Luxembourg, Luxembourg
Conference & Submission Link https://etaps.org/2021/fossacs
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 225
Category Rankings
Software Engineering & Programming 60
Computational Theory and Mathematics 26
Number of Editions: 24
CORE 2018 Rating: A

Google Scholar H5-index:
21

Conference Call for Papers

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 Luxembourg

ESOP 2021 : 30th European Symposium on Programming

Deadline :
Thu 15 Oct 2020
Mar 27, 2021 - Apr 1, 2021 - Luxembourg
Luxembourg

FUZZ 2021 : IEEE International Conference on Fuzzy Systems

Deadline :
Wed 10 Feb 2021
Jul 11, 2021 - Jul 14, 2021 - Luxembourg
Luxembourg