Información de la conferencia
FoSSaCS 2023: International Conference on Foundations of Software Science and Computation Structures
https://etaps.org/2023/fossacs
Día de Entrega:
2022-10-13
Fecha de Notificación:
2022-12-22
Fecha de Conferencia:
2023-04-22
Ubicación:
Paris, France
Años:
26
CORE: a   QUALIS: a2   Vistas: 16406   Seguidores: 7   Asistentes: 0

Solicitud de Artículos
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
Última Actualización Por Dou Sun en 2022-08-21
Coeficiente de Aceptación
AñoEnviadosAceptadosAceptados(%)
2021882831.8%
2020983131.6%
2019852934.1%
20181033130.1%
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%
Los Mejores Artículos
AñoLos Mejores Artículos
2001Axioms for Recursion in Call-by-Value
Conferencias Relacionadas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
DSDISIEEE International Conference on Data Science and Data Intensive Systems2015-08-252015-09-252015-12-11
HLDVTInternational High-Level Design, Validation, and Test Workshop2016-07-242016-08-152016-10-07
b3ICWMCInternational Conference on Wireless and Mobile Communications2022-02-202022-03-202022-05-22
EWEuropean Wireless2021-04-162021-05-232021-11-10
b4DSLInternational Conference on Domain-Specific Languages2011-04-182011-06-102011-09-06
MLICOMEAI International Conference on Machine Learning and Intelligent Communications2020-04-152020-05-292020-07-25
IEEE ECICEIEEE Eurasia Conference on IOT, Communication and Engineering2022-08-312022-09-152022-10-28
aWINEConference on Web and Internet Economics2022-07-072022-09-072022-12-12
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2022-12-092023-02-272023-06-18
GoodITACM International Conference on Information Technology for Social Good2022-05-232022-06-202022-09-07
Revistas Relacionadas
CCFNombre CompletoFactor de ImpactoEditorISSN
International Journal in Foundations of Computer Science & Technology AIRCC1839-7662
Applied Informatics Springer2196-0089
bIEEE Transactions on Evolutionary Computation5.805IEEE1089-778X
bEvolutionary Computation1.061MIT Press1063-6560
Concurrency Computation Practice and Experience1.167Wiley-Blackwell1532-0626
Journal of Software Maintenance and Evolution: Research and Practice1.273John Wiley & Sons, Ltd.2047-7481
Engineering Computations1.246Emerald0264-4401
Foundations and Trends in Signal ProcessingNow Publishers Inc.1932-8346
cInformation Management & Computer Security Emerald0968-5227
bJournal of Software: Evolution and Process0.606John Wiley & Sons, Ltd2047-7481
Recomendaciones