default search action
Search dblp for Venues
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Venue search results
Likely matches
- International Colloquium on Automata, Languages and Programming (ICALP)
also: Workshop on Formal Methods and Component Interaction - Formal Methods in System Design
- International Symposium on Formal Methods (FM)
also: International Symposium of Formal Methods Europe (FME)
also: International Workshop on Current Trends in Applied Formal Method (FM-Trends)
also: Workshop on Applicable Formal Methods (AppFM @ FM)
also: Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T @ FM)
also: International Workshop on Web Languages and Formal Methods (WLFM @ FM) - IEEE International Conference on Software Engineering and Formal Methods (SEFM)
- Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
All 43 matches
- Brazilian Symposium on Formal Methods (SBMF)
also: Brazilian Workshop on Formal Methods (WMF) - European Joint Conferences on Theory And Practice of Software (ETAPS)
also: International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE @ ETAPS) - FORTEST Network: Formal Methods and Testing (FORTEST)
- Formal Methods Teaching (FMTea)
also: Teaching Formal Methods (TFM) - 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 Engineering (FormaliSE)
- Formal Methods in Software Practice (FMSP)
- Formal Methods in System Design
- Formal Methods in Systems Biology (FMSB)
- French Singaporean Workshop on Formal Methods and Applications (FSFMA)
- IEEE International Conference on Formal Engineering Methods (ICFEM)
- IEEE International Conference on Software Engineering and Formal Methods (SEFM)
- Imperial College Department of Computing Workshops
also: Imperial College Department of Computing Workshop on Theory and Formal Methods - International Colloquium on Automata, Languages and Programming (ICALP)
also: Workshop on Formal Methods and Component Interaction - International Conference on Formal Methods and Models for Co-Design (MEMOCODE)
- International Conference on Formal Methods for Industrial Critical Systems (FMICS)
also: International Workshop on Formal Methods for Industrial Critical Systems - International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
- International Conference on Formal Methods in Macro-Biology (FMMB)
- International Conference on Integrated Formal Methods (IFM)
also: International Workshop on Formal Methods for and on the Cloud (iFMCloud @ IFM) - International Conference on Software Technologies: Applications and Foundations (STAF)
also: Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST @ STAF) - International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
- International Symposium on Formal Methods (FM)
also: International Symposium of Formal Methods Europe (FME)
also: International Workshop on Current Trends in Applied Formal Method (FM-Trends)
also: Workshop on Applicable Formal Methods (AppFM @ FM)
also: Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T @ FM)
also: International Workshop on Web Languages and Formal Methods (WLFM @ FM) - International Workshop on Formal Methods (IWFM)
also: Irish Workshop in Formal Methods - International Workshop on Formal Methods - Fun for Everybody (FMFun)
- International Workshop on Formal Methods and Agile Methods (FM+AM)
- International Workshop on Formal Methods for Blockchains (FMBC)
- International Workshop on Formal Methods for Interactive Systems (FMIS)
- International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches (FormSERA)
- International Workshop on Structures Object-Oriented Formal Language and Method (SOFL+MSVL)
also: International Workshop on Structured Object-Oriented Formal Language and Method (SOFL) - Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
- NASA Formal Methods (NFM)
- SIGCOMM Workshop on Formal Methods Aided Network Operation (FMANO)
- Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT)
- Symposium on Working Formal Methods (FROM)
- Web Services, Formal Methods, and Behavioral Types (WS-FM)
also: Web Services and Formal Methods - Workshop on Formal Methods for Autonomous Systems (FMAS)
- Workshop on Formal Methods for Wireless Systems (FMWS)
- Workshop on Formal Methods in Security Engineering (FMSE)
- Workshop on Visual Languages and Formal Methods (VLFM)
- World Congress on Formal Methods (FMWeek)
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).
Privacy notice: By enabling the option above, your browser will contact the API of 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.
retrieved on 2024-09-25 01:34 CEST 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