Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputer Science Conferences & Workshops
- > Home
Jump to Conferences & Workshops starting with:
[previous 100 entries] [next 100 entries]
Conferences & Workshops starting from "FOAL - Workshop on Foundations of Aspect-Oriented Languages"
- FOAL - Workshop on Foundations of Aspect-Oriented Languages
- FOCI - IEEE Symposium on Foundations of Computational Intelligence
- FOCLASA - International Workshop on the Foundations of Coordination Languages and Software Architectures
- FOCS - IEEE Annual Symposium on Foundations of Computer Science
- FOD - Future Office Dynamics
- FODO - International Conference on Foundations of Data Organization and Algorithms
- FODS - Foundations of Data Science Conference
- Fog and Mobile Edge Computing; International Conference on ... (FMEC)
- Fog World Congress (FWC)
- Fog-IoT - Workshop on Fog Computing and the Internet of Things
- FOGA - Foundations of Genetic Algorithms
- FoIKS - International Symposium on Foundations of Information and Knowledge Systems
- FOIS - Formal Ontology in Information Systems
- FOMC - International Workshop on Foundations of Mobile Computing
- FOMI - Formal Ontologies Meet Industry
- FOMMS - Foundations of Molecular Modeling and Simulation
- FOPARA - International Workshop on Foundational and Practical Aspects of Resource Analysis
- FORC - Foundations of Responsible Computing
- Forensics in Telecommunications, Information and Multimedia (e-Forensics)
- ForItAAL - Italian Forum on Active and Assisted Living
- Formal and Applied Practical Reasoning (FAPR)
- Formal Aspects in Security and Trust (FAST)
- Formal Aspects of Security (FASec)
- Formal Concept Analysis
- Formal Engineering approaches to Software Components and Architectures; International Workshop on ... (FESCA)
- Formal Engineering Methods; IEEE International Conference on ... (ICFEM)
- Formal Grammar (FG)
- Formal Hardware Verification
- Formal Integrated Development Environment; International Workshop on ... (F-IDE)
- Formal Methods for Autonomous Systems; Workshop on ... (FMAS)
- Formal Methods for Blockchains; International Workshop on ... (FMBC)
- Formal Methods for Components and Objects (FMCO)
- Formal Methods for Security and Time (MEFISTO)
- Formal Methods in Computer-Aided Design (FMCAD)
- Formal Methods in Software Development
- Formal Methods in Software Practice (FMSP)
- Formal Methods in Systems Biology (FMSB)
- Formal Methods; International Symposium on ... (FM)
- Formal Ontologies Meet Industry (FOMI)
- Formal Ontology in Information Systems (FOIS)
- Formal Specification and Development in B (B)
- Formal Structures for Computation and Deduction; International Conference on ... (FSCD)
- Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)
- Formal to Practical Security
- Formal Verification of Analog Circuits; Workshop on ... (FAC)
- Formal Verification of Object-Oriented Software (FoVeOOS)
- Formale Beschreibungstechniken (FBT)
- FormaliSE - FME Workshop on Formal Methods in Software Engineering
- FORMATS - International Conference on Formal Modeling and Analysis of Timed Systems
- FORMS/FORMAT - Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
- FormSERA - International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches
- FORTE - IFIP WG 6.1 International Conference on Formal Techniques for (Networked and) Distributed Systems
- FORTEST Network: Formal Methods and Testing (FORTEST)
- FORTH - Annual Workshop on Forth
- Forum for Information Retrieval Evaluation (FIRE)
- Forum Media Technology
- Forum on specification and Design Languages (FDL)
- Forum Wissenschaft und Technik
- FOSAD - Foundations of Security Analysis and Design
- FOSD - International Workshop on Feature-Oriented Software Development
- FOSE - Workshop on Future of Software Engineering
- FoSSaCS - Foundations of Software Science and Computation Structure
- FotFS - Foundations of the Formal Sciences
- Foundational and Practical Aspects of Resource Analysis; International Workshop on ... (FOPARA)
- Foundations and Applications of Blockchain (FAB)
- Foundations and Practice of Security (FPS)
- Foundations of Aspect-Oriented Languages; Workshop on ... (FOAL)
- Foundations of Computer Science; IEEE Annual Symposium on ... (FOCS)
- Foundations of Data Management; Alberto Mendelzon International Workshop on ... (AMW)
- Foundations of Data Science Conference (FODS)
- Foundations of Genetic Algorithms (FOGA)
- Foundations of Global Ubiquitous Computing; Workshop on ... (FGUC)
- Foundations of Logic and Functional Programming
- Foundations of Molecular Modeling and Simulation (FOMMS)
- Foundations of Responsible Computing (FORC)
- Foundations of Security Analysis and Design (FOSAD)
- Foundations of Software Science and Computation Structure (FoSSaCS)
- Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
- Foundations of the Formal Sciences (FotFS)
- Foundations of Visual Modelling Techniques; School of SegraVis Research Training Network on ... (FoVMT)
- FoVeOOS - Formal Verification of Object-Oriented Software
- FoVMT - School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques
- FOWANC - International Workshop on Foundations of Wireless Ad Hoc and Sensor Networking and Computing
- FPCA - Conference on Functional Programming Languages and Computer Architecture
- FPGA - Symposium on Field Programmable Gate Arrays
- FPGAworld Conference (FPGAworld)
- FPL - International Conference on Field-Programmable Logic and Applications
- FPLE - Functional Programming Languages in Education
- FPS - Foundations and Practice of Security
- FPT - International Conference on Field-Programmable Technology
- Fq - International Conference on Finite Fields and Applications
- FQAS - International Conference on Flexible Query Answering Systems
- Fractals in the Natural and Applied Sciences
- Frauenwelt - Computerräume
- French Singaporean Workshop on Formal Methods and Applications (FSFMA)
- FroCoS - International Symposium on Frontiers of Combining Systems
- FROM - Symposium on Working Formal Methods
- From Data to Models and Back; International Symposium ... (DataMod)
- From Objects to Agents; Workshop ... (WOA)
- Frontier of Computer Science and Technology (FCST)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
retrieved on 2023-02-06 20:22 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
