posted by user: kristianduske || 4192 views || tracked by 17 users: [display]

FOSSACS 2013 : 16th International Conference on Foundations of Software Science and Computation Structures


Conference Series : Foundations of Software Science and Computation Structure
When Mar 16, 2013 - Mar 24, 2013
Where Rome, Italy
Abstract Registration Due Oct 7, 2012
Submission Deadline Oct 14, 2012
Notification Due Dec 14, 2012
Final Version Due Jan 8, 2013
Categories    software   verification   analysis   synthesis

Call For Papers

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:

Automata and language theory;
Behavioural equivalences;
Categorical models;
Infinite state systems;
Modal, spatial, and temporal logics;
Models of concurrent, reactive, distributed, hybrid, and mobile systems;
Process algebras and calculi;
Semantics of programming languages;
Software specification and refinement;
Type systems and type theory;
Fundamentals of security;
Semi-structured data;
Program correctness and verification.

Related Resources

ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
CONCUR 2018   29th International Conference on Concurrency Theory
ICESS 2018   The Fourth International Conference on Electronics and Software Science
IJESA 2018   International Journal of Embedded Systems and Applications
icaase 2018   International Conference on Advanced Aspects of Software Engineering
IJITMC 2018   The International Journal of Information Technology, Modeling and Computing
GECCO 2018   Genetic and Evolutionary Computation Conference
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
WCCI 2018   World Congress on Computational Intelligence
SCSSS 2018   6th Scandinavian Conference System and Software Safety