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: 225
Category Rankings
Software Engineering & Programming 60
Computational Theory and Mathematics 26

Google Scholar H5-index:
21

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

DS 2020 : 23rd International Conference on Discovery Science

Deadline :
Wed 10 Jun 2020
Oct 19, 2020 - Oct 21, 2020 - Thessaloniki
Greece

ICADIWT : The 10th International Conference on the Applications of Digital Information & Web Technologies

Deadline :
Mon 29 Jun 2020
Nov 9, 2020 - Nov 11, 2020 - Grand Hotel Palace
Greece

MIKE : The 8th International Conference on Mining Intelligence & Knowledge Exploration

Deadline :
Mon 29 Jun 2020
Nov 9, 2020 - Nov 11, 2020 - Grang Hotel Palace
Greece

MIKE 2020 : The 8th International Conference on Mining Intelligence & Knowledge Exploration

Deadline :
Mon 29 Jun 2020
Nov 9, 2020 - Nov 11, 2020 - Grand Hotel Palace
Greece