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

  in Conferences   Posted on August 21, 2017

Conference Information

Submission Deadline Friday 13 Oct 2017 Proceedings indexed by :
Conference Dates Apr 14, 2018 - Apr 21, 2018
Conference Address Thessaloniki, Greece
Conference & Submission Link https://www.etaps.org/index.php/2018/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

21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)

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 Greece

FSE 2019 : Fast Software Encryption (FSE)

Deadline :
Sun 01 Sep 2019
Mar 22, 2019 - Mar 26, 2019 - Athens
Greece

EuroSys 2020 : ACM European Conference on Computer Systems

Deadline :
Mon 04 Nov 2019
Apr 27, 2020 - Apr 30, 2020 - Crete
Greece

ISSAC 2020 : International Symposium on Symbolic and Algebraic Computation

Deadline :
to be confirmed
Jul 20, 2020 - Jul 23, 2020 - Kalamata
Greece

ESWC 2020 : Extended Semantic Web Conference

Deadline :
to be confirmed
May 31, 2020 - Jun 4, 2020 - Heraklion
Greece