Related subject: Computer science
13th International Conference on Rigorous State Based Methods
ABZ · 2027
Conference call for papers
Conference call for papers
- Category
- Computer science
- Location
- Braga, Portugal
- Conference dates
- June 14, 2027 – June 18, 2027
Topics
- formal methods
- model checking
- verification
- validation
Submission deadlines
- Paper deadline
- (Time zone: Etc/GMT+12)Track or round: Submission deadline
- Abstract deadline
- (Time zone: Etc/GMT+12)
Plan for this conference
Tracking creates a private record for you. It does not send your paper to the conference.