FIT-Conference Hub
Conferences
Journals
Visualization
Chatbot
NEW
Support
Publish
Theme
English
Conferences
Journals
Visualization
Chatbot
NEW
Support
Publish
Notifications
Mark All As Read
No new notifications.
View all
Keyword
Start:
End:
Type
Location
Search
Clear
Hide advanced search options
?
Submission Date:
Rank:
All Ranks
A*
A
B
C
Unranked
Other
Source:
All Sources
Publisher:
Topics:
autonomous
×
Field of Research:
Conference Results (3)
Sort by:
Submission Date
Conference Date
Rank
Type
Default
Relevant
Descending
Ascending
Events per page:
4
8
12
20
50
100
Fundamental Approaches to Software Engineering (FASE)
Rank: B
Offline
Turin, Italy
Apr 13, 2026 - Apr 16, 2026
data management
testing and verification
model checking
+69 more
International Workshop on Formal Methods for interactive Systems (FMIS)
Rank: C
Offline
Rio de Janeiro, Brazil
Apr 12, 2026 - Apr 13, 2026
requirements formalization and formal specification
approaches
methods
+24 more
Symposium on Networked Systems, Design and Implementation (NSDI)
Rank: National: USA
Offline
Renton, WA, USA
May 4, 2026
caching
and query processing systems
low-energy
+15 more
