Conference Information
FoSSaCS 2020: International Conference on Foundations of Software Science and Computation Structures
http://www.etaps.org/2020/fossacs
Submission Date:
2019-10-24
Notification Date:
2019-12-23
Conference Date:
2020-04-25
Location:
Dublin, Ireland
Years:
23
CORE: a   QUALIS: a2   Viewed: 8021   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 2019-06-27
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20171013231.7%
2016853136.5%
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
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICISSPInternational Conference on Information Systems Security and Privacy2019-10-042019-12-032020-02-25
ESMSEInternational Conference Embedded System and Mobile Software Engineering2017-11-15 2017-01-07
aa2BPMInternational Conference on Business Process Management2019-03-012019-05-102019-09-01
bb1PADLInternational Symposium on Practical Aspects of Declarative Languages2017-09-032017-10-092018-01-08
KDIRInternational Conference on Knowledge Discovery and Information Retrieval2019-05-202019-06-282019-09-17
bb4GRAPPInternational Conference on Computer Graphics Theory and Applications2019-10-042019-12-032020-02-27
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2018-12-072019-03-062019-06-17
SPIESInternational Conference on Smart Power & Internet Energy Systems 2019-03-052019-03-202019-04-25
CloudCompInternational Conference on Cloud Computing2019-07-152019-08-022019-12-04
bICISCInternational Conference on Information Security and Cryptology2015-09-072015-10-192015-11-25
Recommendation