Lisp and Rust and Coq and Formal Verification and OCaml Conferences

Events Calendar

• Tuesday, 5 November

• betterCode() Rust 2024

  Online

• Saturday, 9 November

• RustLab 2024

  Florence, Italy

• Sunday, 10 November

• RustLab 2024

  Florence, Italy

• Monday, 11 November

• RustLab 2024

  Florence, Italy

• Wednesday, 26 March

• Rustikon 2025

  Warsaw, Poland

• Monday, 5 May

• JAX 2025

  Mainz, Germany

• Tuesday, 6 May

• JAX 2025

  Mainz, Germany

• Wednesday, 7 May

• JAX 2025

  Mainz, Germany

• Thursday, 8 May

• JAX 2025

  Mainz, Germany

• Friday, 9 May

• JAX 2025

  Mainz, Germany