posted by user: kristianduske || 6835 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

ESEC/FSE 2023   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
SOFT 2023   9th International Conference on Software Engineering
CVIPPR 2023   2023 Asia Conference on Computer Vision, Image Processing and Pattern Recognition (CVIPPR 2023)
SEA 2023   12th International Conference on Software Engineering and Applications
SOMET 2023   SOMET 2023 : The 22nd International Conference on Intelligent Software Methodologies, Tools, and Techniques
ICAII 2023   2023 the 4th International Conference on Artificial Intelligence Innovation (ICAII 2023)
ICAI 2023   12th International Conference on Applied Informatics
SPIN 2023   29th International Symposium on Model Checking of Software
CVIE--EI 2023   2023 The 3rd International Conference on Computer Vision and Information Engineering (CVIE 2023)
IEEE RE 2023   31st IEEE International Requirements Engineering 2023 conference