ICORE Conference Portal

Sign in with LinkedIn
Signing in with LinkedIn authorizes us to store your name, email address, headline and display picture. why?
Back to search

Formal Methods in Computer-Aided Design

Acronym: FMCAD
DBLP Source: https://dblp.uni-trier.de/db/conf/fmcad
Source: CORE2023
Rank: B
Field Of Research: 4612 - Software engineering (h-index) (citation)
Source: CORE2021
Rank: B
Field Of Research: 4612 - Software engineering
Asked for A, add at rank B (Data 1) (Decision)
Source: CORE2020
Rank: Unranked
Field Of Research: 4612 - Software engineering
Source: CORE2018
Rank: Unranked
Field Of Research: 0802 - Computation Theory and Mathematics†
Field Of Research: 0906 - Electrical and Electronic Engineering†
Requested add as an unranked conference. Approved. (Data 1) (Decision)
FoR Codes with a may be old and no longer in use

Comments (2)

Average User Rating: 4.5

Welcoming: 4.0
Feedback: 5.0
Networking: 5.0
Interaction: 5.0
Top people: 5.0
Worthwhile: 5.0

Sort by:

Subotic Pavle (Paul) wrote: March 27, 2020, 7:43 p.m.
This should be ranked.

Rating:
Holík Lukáš wrote: June 9, 2020, 6:02 a.m.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:

You must sign in to leave comments