Prolog and Rust and Hacket and Lambda Calculus and Type Theory and Use Case Conferences

Events Calendar

• 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