posted by user: kristianduske || 4558 views || tracked by 17 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

ESEC/FSE 2019   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
SCSSS 2018   6th Scandinavian Conference System and Software Safety
XP 2019   20th International Conference on Agile Software and Systems Development
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ADON 2018   International Workshop on Anomaly Detection ON the Cloud and the Internet of Things
RASS 2018   Special issue on Recent Advances in Software Security - EURASIP Journal on Information Security
GECCO 2019   Genetic and Evolutionary Computation Conference
DMA 2019   5th International Conference on Data Mining and Applications