* [HoTT] A COST action for improving interoperability of computer proof systems - members wanted
@ 2021-06-30 10:57 Benedikt Ahrens
0 siblings, 0 replies; only message in thread
From: Benedikt Ahrens @ 2021-06-30 10:57 UTC (permalink / raw)
You might be interested in participating in the COST action
EuroProofNet, the aim of which is to improve interoperability of
computer proof systems - not restricted to HoTT or type theory, but
The action is led by Frédéric Blanqui, whose message about the action is
If you are interested, please register for participation at the link
Participation is restricted to countries participating in COST - these
are, in particular, EU countries, but also countries outside the EU, see
I am happy to announce the launch of a new COST action, EuroProofNet
EuroProofNet aims at federating all the European research groups 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 in proofs.
- WG6: Type theory.
You will find all the details on the objectives of EuroProofNet in
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 .
Frédéric Blanqui, chair of EuroProofNet.
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheoryfirstname.lastname@example.org.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/73181596-108f-4370-074e-f2d25ce5ca78%40gmail.com.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-06-30 10:57 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-06-30 10:57 [HoTT] A COST action for improving interoperability of computer proof systems - members wanted Benedikt Ahrens
Discussion of Homotopy Type Theory and Univalent Foundations
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://inbox.vuxu.org/hott
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V1 hott hott/ http://inbox.vuxu.org/hott \
Example config snippet for mirrors.
Newsgroup available over NNTP:
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git