formal verification

Dates: 

Thursday, July 3, 2025 to Friday, July 4, 2025

Submission deadline: 

Friday, February 28, 2025

Registration deadline: 

Friday, February 21, 2025

The Conference on Reversible Computation will bring together researchers from computer science, mathematics, engineering, and physics to discuss new developments and directions for future research in the emerging area of Reversible Computation. This particularly includes applications of reversibility in quantum computation. Research papers, tool demonstrations, and work-in-progress reports are within the scope of the conference.

Subscribe to RSS - formal verification