Follow

International Conference on Formal Structures for Computation and Deduction, Paris, France June 29-July 5, 2020 fscdconference.org/

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!