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

ICB 2019 : International Conference on Biometrics

Deadline :
Sat 15 Dec 2018
Jun 4, 2019 - Jun 7, 2019 - Crete
Greece

ICB 2019 : International Conference on Biometrics

Deadline :
Sat 15 Dec 2018
Jun 4, 2019 - Jun 7, 2019 - Crete
Greece

DCOSS 2019 : 15th International Conference on Distributed Computing in Sensor Systems

Deadline :
Fri 18 Jan 2019
May 29, 2019 - May 31, 2019 - Santorini Island
Greece

ICNS 2019 : The Fifteenth International Conference on Networking and Services

Deadline :
Sun 20 Jan 2019
Jun 2, 2019 - Jun 6, 2019 - Athens
Greece

ICAS 2019 : The Fifteenth International Conference on Autonomic and Autonomous Systems

Deadline :
Sun 20 Jan 2019
Jun 2, 2019 - Jun 6, 2019 - Athens
Greece