A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z - 3

• FAA - Facial Analysis and Animation
• FAABS - Formal Approaches to Agent-Based Systems
• FACS - Formal Aspects of Component Software
• FAIR - Fundamentals of Artificial Intelligence Research
• Fall Joint Computer Conference
• FAPR - Formal and Applied Practical Reasoning
• FASE - Fundamental Approaches to Software Engineering
• FASec - Formal Aspects of Security
• FAST - File and Storage Technologies
• FAST - Formal Aspects in Security and Trust
• FATES - Formal Approaches to Testing of Software
• Fault-Tolerant Computing Systems
• Fault-Tolerant Distributed Computing
• FaVE - Facets of Virtual Environments
• FAW - Frontiers in Algorithmics

• FBIT - Frontiers in the Convergence of Bioscience and Information Technologies
• FBT - Formale Beschreibungstechniken

• FC - Financial Cryptography
• FCCM - Field-Programmable Custom Computing Machines
• FCS - Foundations of Computer Science
• FCST - Frontier of Computer Science and Technology
• FCT - Fundamentals of Computation Theory

• FDBS - Föderierte Datenbanken
• FDG - Foundations of Digital Games
• FDL - Forum on specification and Design Languages
• FDTC - Fault Diagnosis and Tolerance in Cryptography

• FECS - Frontiers in Education: Computer Science & Computer Engineering
• FedCSIS - Federated Conference on Computer Science and Information Systems
• Fehlertolerierende Rechensysteme
• FEIDSS - Forest and Environmental Information and Decision Support Systems
• FEWS - Finding Experts on the Web with Semantics

• FG - Formal Grammar
• FGCN - Future Generation Communication and Networking
• FGCS - Fifth Generation Computer Systems
• FGIT - Future Generation Information Technology
• FG(R) - Automatic Face and Gesture Recognition

• FHIES - Foundations of Health Informatics Engineering and Systems

• FICS - Fixed Points in Computer Science
• FIDJI Project
• FIFF Jahrestagung
• FIMH - Functional Imaging and Modeling of the Heart
• FIMI - Frequent Itemset Mining Implementations
• FinanceCom - Enterprise Applications and Services in the Finance Industry
• FIND - Dynamic Taxonomies and Faceted Search
• FinTAL - Natural Language Processing
• FIRA RoboWorld Congress
• FIRB-Perf - Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems
• FIRE/EULER Workshops
• FIRE - Forum for Information Retrieval Evaluation
• Firmware Engineering
• First French-Israeli Workshop on Algebraic Coding
• FIS - Future Internet Symposium
• FIT - Frontiers of Information Technology
• FITraMEn - Traffic Management and Traffic Engineering for the Future Internet
• FIW - Feature Interactions in Telecommunications and Software Systems

• FKBI - Forschungskolloquium Business Intelligence

• FLAI - Fuzzy Logic in Artificial Intelligence
• FLAIRS - The Florida AI Research Society
• FlexDBIST - Flexible Database and Information Systems Technology
• FLOPS - International Symposium on Functional and Logic Programming

• FM+AM - Formal Methods and Agile Methods
• FM - Formal Methods
• FMCAD - Formal Methods in Computer-Aided Design
• FMCO - Formal Methods for Components and Objects
• FME - Formal Methods Europe
• FMICS - Formal Methods for Industrial Critical Systems
• FMLDO - Foundations of Models and Languages for Data and Objects
• FMN - Future Multimedia Networking
• FMOODS - Formal Methods for Open Object-Based Distributed Systems
• FMSB - Formal Methods in Systems Biology
• FMSE - Formal Methods in Security Engineering
• FMSP - Formal Methods in Software Practice
• FM-Trends - Current Trends in Applied Formal Method

• FOAL - Foundations of Aspect-Oriented Languages
• FOCI - Foundations of Computational Intelligence
• FOCLASA - Foundations of Coordination Languages and Software Architectures
• FOCS - Foundations of Computer Science
• FODO - Foundations of Data Organization and Algorithms
• FOGA - Foundations of Genetic Algorithms
• FoIKS - Foundations of Information and Knowledge Systems
• FOIS - Formal Ontology in Information Systems
• FOMC - Foundations of Mobile Computing
• FOMI - Formal Ontologies Meet Industry
• FOPARA - Foundational and Practical Aspects of Resource Analysis
• Formal Aspects of Cognitive Processes
• Formal Concept Analysis
• Formal Hardware Verification
• Formal to Practical Security
• FORMATS - Formal Modeling and Analysis of Timed Systems
• FORMS/FORMAT - Formal Methods for Automation and Safety in Railway and Automotive Systems
• FORTE - Formal Description Techniques for Distributed Systems and Communication Protocols
• FORTE - Formal Techniques for (Networked and) Distributed Systems
• FORTEST Network: Formal Methods and Testing
• Forum Wissenschaft und Technik
• FOSAD - Foundations of Security Analysis and Design
• FOSE - Future of Software Engineering
• FoSER - Future of Software Engineering Research
• FoSSaCS - Foundations of Software Science and Computation Structure
• Foundations of Logic and Functional Programming
• FoVeOOS - Formal Verification of Object-Oriented Software

• FPCA - Functional Programming Languages and Computer Architecture
• FPGA - Field Programmable Gate Arrays
• FPL - Field-Programmable Logic and Applications
• FPLE - Functional Programming Languages in Education
• FPS - Foundations and Practice of Security
• FPT - Field-Programmable Technology
• FP-UML - Foundations and Practices of UML

• Fq - Finite Fields and Applications
• FQAS - Flexible Query Answering Systems

• FracTAL - Natural Language Processing
• Fractals in the Natural and Applied Sciences
• Frauenarbeit und Informatik
• FroCoS - Frontiers of Combining Systems

• FSE - Fast Software Encryption
• FSE - Foundations of Software Engineering
• FSEN - Fundamentals of Software Engineering
• FSFMA - French Singaporean Workshop on Formal Methods and Applications
• FSKD - Fuzzy Systems and Knowledge Discovery
• FSMNLP - Finite-State Methods and Natural Language Processing
• FSR - Field and Service Robotics
• FSTTCS - Foundations of Software Technology and Theoretical Computer Science

• FTCS - Symposium on Fault-Tolerant Computing
• FTDCS - Future Trends of Distributed Computer Systems
• FTP - First Order Theorem Proving
• FTRTFT - Formal Techniques in Real-Time and Fault-Tolerant Systems
• FTVI/FTRI - Fachtagung Verwaltungsinformatik / Fachtagung Rechtsinformatik

• Fun and Games
• FUN - Fun with Algorithms
• Functional Programming, Concurrency, Simulation and Automated Reasoning
• Functional Programming Workshops
• FUSION - International Conference on Information Fusion
• Future Databases
• Future Internet Assembly
• Future Play
• Future Security - Security Research Conference
• FUZZ-IEEE - IEEE International Conference on Fuzzy Systems
• Fuzzy Days