Logic List Mailing Archive

Membership application for Working Groups in EuroProofNet (COST Action)

Dear all,

Registration to EuroProofNet working groups is open on 
https://e-services.cost.eu/action/CA20111/working-groups/apply (it's possible 
to register to several working groups).

EuroProofNet is new COST action (see https://www.cost.eu/actions/CA20111/) 
aiming at federating all the European researchers working on proofs in order to 
improve the interoperability of proof systems. There are currently 6 working 
groups (WG):

- WG1: Proof systems interoperability.

- WG2: Automated theorem provers.

- WG3: Program verification.

- WG4: Libraries of formal proofs.

- WG5: Machine learning on proofs.

- WG6: Type theory.

You will find all the details on the objectives of EuroProofNet in 
https://e-services.cost.eu/files/domain_files/CA/Action_CA20111/mou/CA20111-e.pdf 
.

A COST action can fund visits to other labs, and participation to summer 
schools, workshops and conferences. Anyone willing to contribute to the goals 
of the action is eligible. If you are interested, you just need to register on 
https://e-services.cost.eu/action/CA20111/working-groups/apply .

Best regards,

Frédéric Blanqui, chair of EuroProofNet.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam