Conference Information
FoSSaCS 2017 : International Conference on Foundations of Software Science and Computation Structures
http://www.etaps.org/index.php/2017/fossacs
Submission Date:
2016-10-14
Notification Date:
2016-12-22
Conference Date:
2017-04-22
Location:
Uppsala, Sweden
Years:
20
CORE: b   QUALIS: a2   Viewed: 5698   Tracked: 5   Attend: 0

Conference Location
Advertisment
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:

    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
Last updated by Dou Sun in 2016-07-02
Related Publications
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
2015932830.1%
20141062826.4%
20131092825.7%
20121002929%
20111003030%
2010862529.1%
20091023029.4%
20081032524.3%
20071032524.3%
20061072826.2%
20051083027.8%
20041303426.2%
2003962627.1%
2002672841.8%
2001632539.7%
2000682536.8%
1999401845%
Best Papers
YearBest Papers
2001Axioms for Recursion in Call-by-Value
Advertisment
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICISSPInternational Conference on Information Systems Security and Privacy2015-10-212015-11-262016-02-19
ESMSEInternational Conference Embedded System and Mobile Software Engineering2017-03-202017-04-052017-01-07
aa2BPMInternational Conference on Business Process Management2015-03-082015-05-152015-08-31
bb1PADLInternational Symposium on Practical Aspects of Declarative Languages2012-09-192012-10-282013-01-21
bb4GRAPPInternational Conference on Computer Graphics Theory and Applications2016-10-062016-11-162017-02-27
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2016-12-012017-03-012017-06-19
CloudCompInternational Conference on Cloud Computing2015-08-152015-09-062015-10-28
bICISCInternational Conference on Information Security and Cryptology2015-09-072015-10-192015-11-25
CTSEInternational Conference on Computer Technology and Software Engineering2016-04-29 2016-05-13
DiVAIInternational Scientific Conference on Distance Learning in Applied Informatics2014-02-282014-03-152014-05-05
Related Journals
CCFFull NameImpact FactorPublisherISSN
International Journal of Computer Science, Engineering and Applications AIRCC2231-0088
Personalized Medicine Universe ELSEVIER2186-4950
bEvolutionary Computation1.061MIT Press1063-6560
bIEEE Transactions on Evolutionary Computation3.341IEEE1089-778X
Journal of Management Information Systems2.662Myron E. Sharpe0742-1222
cInformation Management & Computer Security Emerald0968-5227
ACM Transactions on Parallel ComputingACM2329-4949
bJournal of Software: Evolution and Process0.606John Wiley & Sons, Ltd2047-7481
Smart Learning Environments Springer2196-7091
bThe Computer Journal1Oxford University Press0010-4620
Recommendation