posted by user: kristianduske || 5467 views || tracked by 16 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

FSCD 2020   Fifth International Conference on Formal Structures for Computation and Deduction
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
InWeS 2020   11th International Conference on Internet Engineering & Web Services
ESEC/FSE 2020   ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
AMLA 2020   International Conference on Advanced Machine Learning
FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
ISPR 2020   6th International Conference on Image and Signal Processing
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus