Publication venues
A list of upcoming interesting conferences in Formal Methods and Software Technology can be found here (maintained by Bengt Jonsson).
Here you can find a list of interesting conferences in (Software) Testing (maintained by Jan Tretmans).
Please find below a list of conferences where we have published our work on automata learning:
- International Conference on Concurrency Theory (CONCUR)
- International Symposium on Formal Methods (FM)
- International Conference on Grammatical Inference (ICGI)
- International Conference on Testing Software and Systems (ICTSS)
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
- International Workshop on Security Testing (SECTEST)
