BLOCKCHAINIST
Sign in
  1. Venues
  2. Conferences
  3. FMIS
CCORE
Conference

FMIS

International Workshop on Formal Methods for interactive Systems

Calls for papers (WikiCFP) Papers on DBLP Search the web

Metrics

CORE rank
C
CORE / ICORE
Editions tracked
1
Running since
2019

About FMIS

Full name
International Workshop on Formal Methods for interactive Systems
Subfields
Human-Computer Interaction, Software Engineering, Information Systems
Field of research
Software engineering (FoR 4612)
Latest edition
Porto, Portugal, 2019
Software engineeringData & informationHuman-computer interaction

DeadlinesSubmission dates change every year. Find the current call for papers on WikiCFP or the conference site, and check the time zone (most use Anywhere on Earth, UTC-12).

Similar conferences

  1. CCOREconference

    SERAACIS Conference on Software Engineering Research, Management and Applications

    Las Vegas, USA, 2025 · Software Engineeringh5-index 12
  2. CCOREconference

    DESEDevelopments in eSystems Engineering

    Dubai, Dubai, 2015 · Software Engineering, Information Systems, Theory
  3. CCOREconference

    CFPConference on Computers, Freedom, and Privacy

    Software Engineering
  4. CCOREconference

    CHILIPLOPSouthwestern Conference on Pattern Languages of Programs

    Software Engineering
  5. CCOREconference

    NACLPNorth American Conference on Logic Programming

    Software Engineering
  6. CCOREconference

    IPYTHCInternational Python Conference

    Software Engineering

Figures as of the last import; ranks are a guide, not a verdict. Back to all conferences