conferences-computer.science - A list of conferences in computer science

Description: A list of conferences in formal methods, specification, verification and software engineering

conferences (1256) software engineering (1145) real-time (643) verification (355) specification (93) distributed systems (84) call for papers (58) formal methods (45) model checking (3) parametric timed automata (2)

Example domain paragraphs

Most of these conferences are international events related to theoretical computer science, formal methods (verification, model checking, logics, etc.), software engineering, real-time systems, and to some extent to distributed computing.

List maintained by Étienne André . Don’t hesitate to notify me in case you find any mistake, or want to suggest other conferences.

I do not generally support the ranking of conferences; nevertheless, following several users’ feature requests, and because the CORE ranking is not the worst, I added it for information.

Links to conferences-computer.science (1)

imitator.fr IMITATOR − Parameter synthesis for real-time systems