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
Conference & Submission Link https://www.etaps.org/index.php/2018/fossacs
Conference Dates Apr 14, 2018 - Apr 21, 2018
Conference Address Thessaloniki, Greece
Proceedings indexed by
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Google Scholar H5-index: 18
CORE 2017 Rating: A
Guide2Research Overall Ranking: 269
Category Rankings
Software Engineering & Programming 70
Computational Theory and Mathematics 30

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

IMBSA 2019 : 6th International Symposium on Model-Based Safety and Assessment

Deadline :
Fri 03 May 2019
Oct 16, 2019 - Oct 18, 2019 - THESSALONIKI
Greece

WI 2019 : IEEE/WIC/ACM International Conference on Web Intelligence

Deadline :
Sun 12 May 2019
Oct 14, 2019 - Oct 17, 2019 - Thessaloniki
Greece

WI 2019 : IEEE/WIC/ACM International Conference on Web Intelligence (main conference CfPs)

Deadline :
Sun 12 May 2019
Oct 14, 2019 - Oct 17, 2019 - Thessaloniki
Greece

DLS 2019 : 15th Dynamic Languages Symposium, co-located with SPLASH 2019

Deadline :
Wed 05 Jun 2019
Oct 20, 2019 - Oct 25, 2019 - Athens
Greece