FIT-Conference Hub
Konferenzen
Journals
Visualisierung
Chatbot
NEU
Support
Veröffentlichen
Design
Deutsch
Konferenzen
Journals
Visualisierung
Chatbot
NEU
Support
Veröffentlichen
Benachrichtigungen
Alle als gelesen markieren
Keine neuen Benachrichtigungen.
Alle anzeigen
Schlüsselwort
Start:
Ende:
Typ
Ort
Suchen
Löschen
Erweiterte Suchoptionen ausblenden
?
Einreichungsdatum:
Rang:
Alle Ränge
A*
A
B
C
Unranked
Other
Quelle:
Alle Quellen
Herausgeber:
Themen:
static analysis
×
Forschungsgebiet:
Konferenzergebnisse (3)
Sortieren nach:
Einreichungsdatum
Conference Date
Rang
Typ
Default
Relevant
Descending
Ascending
Ereignisse pro Seite:
4
8
12
20
50
100
Verification, Model Checking and Abstract Interpretation (VMCAI)
Rank: B
Offline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
program verification
model checking
abstract interpretation
+23 mehr
International Conference on Tests and Proofs (TAP)
Rank: C
Offline
Milan, Italy
Sep 9, 2024 - Sep 10, 2024
Verification
Formal Methods
Static Analysis
+3 mehr
International Colloquium on Theoretical Aspects of Computing (ICTAC)
Rank: C
Offline
Marrakech, Morocco
Nov 24, 2025 - Nov 28, 2025
Formal languages and automata
Semantics of programming languages
Logic in computer science
+23 mehr
