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

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

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

GALA conf 2019 : Games and Learning Alliance conference

Deadline :
Fri 14 Jun 2019
Nov 27, 2019 - Nov 29, 2019 - Athens
Greece

CoopIS 2019 : 27th International Conference on COOPERATIVE INFORMATION SYSTEMS

Deadline :
Mon 15 Jul 2019
Oct 23, 2019 - Oct 25, 2019 - Rhodes
Greece