Events
Past events:
- 8-9 February 2023: WG3 meeting on program verification, Timisoara, Romania
- 27-29 January 2023: 2nd Dedukti tools developers meeting, Fréjus, France
- 1st January 2023: deadline for STSM proposals
- 24 October 2022: 2nd Management Committee meeting
- 16-18 October 2022: Dedukti tools developers meeting, Val d’Ajol, France
- 23-24 September 2022: EuroProofNet workshop on the development, maintenance, refactoring and search of large libraries of proofs, Tbilisi, Georgia
- 5-9 September 2022: EuroProofNet Summer School on Verification Technology, Systems & Applications (VTSA’22), Saarbrücken, Germany
- 4-9 September 2022: WG5 kick-off meeting and 7th Conference on Artificial Intelligence and Theorem Proving (AITP’22), Aussois, France
- 12 August 2022: WG2 kick-off meeting, Haifa, Israel, co-located with PAAR 2022, IJCAR 2022 and FLoC 2022
- 1 July 2022: deadline for STSM proposals
- 24-25 Jun 2022: 1st Dedukti school, Nantes, France
- 24 Jun 2022: Women in EuroProofNet 2022, Nantes, France
- 20-21 May 2022: WG6 kick-off meeting: Syntax and Semantics of Type Theories, Stockholm, Sweden
- 3 April 2022: Deadline for STSM proposals, we are especially looking for applications from women and working groups other than WG3 (notification on 15 April)
- 10-11 Feb 2022: WG3 kick-off meeting, Valencia, Spain Slides&Videos Report
- 18 January 2022; Deadline for STSM proposals (notification on 26 January)
- Jan-Oct 2022: Work and budget plan for January-October 2022
- 11-12 Oct 2021: 1st Management Committee Meeting (online)