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
Oct 23, 2027 · Conference
The 11th International Conference on Logic, Rationality and Interaction
LORI 2027
Chengdu, China
Event details
- Dates
- Oct 23, 2027
- Location
- Chengdu, China
- Region
- Asia & Pacific
- Type
- Conference
- Call for papers closes
- March 7, 2027
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.
