posted by user: kristianduske || 7304 views || tracked by 14 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

FoSSaCS 2024   27th International Conference on Foundations of Software Science and Computation Structures
AIFU 2024   10th International Conference on Artificial Intelligence and Applications
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
SOFT 2024   10th International Conference on Software Engineering
ACM ICBTA 2024   ACM--2024 7th International Conference on Blockchain Technology and Applications (ICBTA 2024)
SOFT 2024   10th International Conference on Software Engineering
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
IJAIT 2024   International Journal of Advanced Information Technology
GECCO 2024   Genetic and Evolutionary Computation Conference
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)