posted by user: kristianduske || 5942 views || tracked by 15 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Foundations of Software Science and Computation Structure
 
Link: http://www.etaps.org/2013/fossacs13
 
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

PAKDD 2021   Pacific-Asia Conference on Knowledge Discovery and Data Mining
CLSB 2021   2nd International Conference on Cloud Computing, Security and Blockchain
WADS 2021   Algorithms and Data Structures Symposium
CMC 2021   7th International Conference on Control, Modeling and Computing
ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
QEST 2021   International Conference on Quantitative Evaluation of SysTems
ECCSIT 2021   2021 European Conference on Computer Science and Information Technology (ECCSIT 2021)
SMACD 2021   International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
CEC 2021   IEEE Congress on Evolutionary Computation
WSEA--Ei, Scopus 2021   2021 International Workshop on Software Engineering and Applications (WSEA 2021)--Ei Compendex, Scopus