| Finance | FINANCECOM | International Workshop on Enterprise Applications and Services in the Finance Industry, Springer |
| Forensic Engineering | AUSFORENSICS | |
| IMF | International Conference on IT Security Incident Management and IT Forensics, |
| SIDAR | |
| SADFE | IEEE International Workshop on Systematic Approaches to Digital Forensic Engineering, IEEE |
| MEDIAFORENSICS | |
| Formal Methods | SAS | International Static Analysis Symposium, Springer |
| FMCAD | International Conference on Formal Methods in Computer-Aided Design, Springer |
| IFM | International Conference on Integrated Formal Methods, Springer |
| ZUM | International Conference of Z Users, Springer |
| IFL | International Workshop on Implementation of Functional Languages, Springer |
| TYPES | International Workshop on Types for Proofs and Programs, Springer |
| FMCO | Formal Methods for Components and Objects, Springer |
| TLDI | Types In Languages Design And Implementation, ACM |
| SFM | International School on Formal Methods for the Design of Computer, Springer |
| FORMATS | Formal Modeling and Analysis of Timed Systems, Springer |
| ICFCA | International Conference on Formal Concept Analysis, Springer |
| ISOLA | International Symposium on Leveraging Applications of Formal Methods, Springer |
| AGTIVE | International Workshop on Applications of Graph Transformations with Industrial Relevance, Springer |
| FTRTFT | International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer |
| FP | Functional Programming, |
| FMSB | Formal Methods in Systems Biology, |
| FBT | |
| FMAM | |
| SIAMADS | |
| TKDE | |
| TFM | Technical Formal Methods, Springer |
| FMICS | Formal Methods for Industrial Critical Systems, Springer |
| SBMF | Brazilian Symposium on Formal Methods, Springer |
| FCA | Formal Concept Analysis, Springer |
| FMSP | Formal Methods in Software Practice, ACM |
| IMPERIAL | Theory and Formal Methods, |
| DSML | |
| TEC | |
| AHSWN | |
| AFP | International School on Advanced Functional Programming, Springer |
| MODELAGE | Formal Models of Agents, Springer |
| WAGA | International Conference on Attribute Grammars and their Applications, |
| FORTE | Formal Techniques for Networked and Distributed Systems, |
| FMOODS | Formal Methods for Open Object-Based Distributed Systems, |
| IWFM | |
| NFM | |
| FM | World Congress on Formal Methods, Springer |
| MEMOCODE | ACM/IEEE International Conference on Formal Methods and Models for Co-Design, IEEE |
| COMPOS | International Symposium on Compositionality: The Significant Difference, Springer |
| LARCH | International Workshop on Larch, |
| FORTEST | |
| TOCL | |
| FPGA | FPGA | International Symposium on Field Programmable Gate Arrays, ACM |
| Fuzzy Logic | RSCTC | International Conference on Rough Sets and Current Trends in Computing, Springer |
| FSKD | Fuzzy Systems and Knowledge Discovery, Springer |
| WILF | Workshop on Fuzzy Logic and Applications, Springer |
| IFSA | International Fuzzy Systems Association World Congress, Springer |
| EUSFLAT | |
| FUZZIEEE | IEEE International Conference on Fuzzy Systems, IEEE |
| ICFIE | Fuzzy Information and Engineering, |
| IJCCI | |
| FUZZY | Fuzzy Logik, Springer |