Oct 6–9, 2026Conference
International Conference on Runtime Verification 2026
RV 2026
Kingston, Canada
- Cyber physical systems
- Formal methods
- Theoretical computer science
Listed from official source · rv2026.smithengineering.queensu.ca
Aug 23, 2027 · Congress
18th International Congress on Logic, Methodology and Philosophy of Science and Technology
CLMPST 2027
Kobe, Japan
Event details
- Dates
- Aug 23, 2027
- Location
- Kobe, Japan
- Region
- Asia & Pacific
- Type
- Congress
- Call for papers closes
- November 15, 2026
Disciplines
- Computer science
More in computing & software
Official site (opens the organizer's site in a new tab)
Oct 4, 2026Workshop
For organizers
Run your event on NTL Events.
Registration with your own fields and approvals, payments through your own Stripe account, abstract submission with blind review, an Attendee Hub, on-site check-in and the reports your committee asks for.
