The national working group Scalp will meet in Orleans on November 27-29. The organisation committee is lead by Jules Chouquet. The program is available here: https://www.irif.fr/gt-scalp/journees-2023
Languages, Models and Verification
The national working group Scalp will meet in Orleans on November 27-29. The organisation committee is lead by Jules Chouquet. The program is available here: https://www.irif.fr/gt-scalp/journees-2023