20th International Conference on Foundations of Software Science and Computation Structures
(FoSSaCS)
22-29 April 2017
Uppsala, Sweden

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:

• categorical models and logics;
  
• language theory, automata, and games;
  
• modal, spatial, and temporal logics;
  
• type theory and proof theory;
  
• concurrency theory and process calculi;
  
• rewriting theory;
  
• semantics of programming languages;
  
• program analysis, correctness, transformation, and verification;
  
• logics of programming;
  
• software specification and refinement;
  
• models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems;
  
• emerging models of computation;
  
• logical aspects of computational complexity;
  
• models of software security;
  
• logical foundations of data bases

Important dates:

• Abstracts due : 14 October 2016 23:59 AoE (=GMT-12)
  
• Papers due: 21 October 2016 23:59 AoE (=GMT-12)
  
• Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016
  
• Author notification: 22 December 2016
  
• Camera-ready versions: 20 January 2017

User Name : shaun
Posted 13-10-2016 on 16:56:21 AEDT

Related CFPs

DMAP 2026   12th International Conference on Data Mining and Applications
IJMPICT   International Journal of Managing Public Sector Information and Communication Technologies
WeST 2025   17th International Conference on Web services & Semantic Technology
IJSCAI   International Journal on Soft Computing, Artificial Intelligence and Applications