Entries by Sylvie Benzoni

Diamond Open Access Stimulus Fund

Call for proposals MathOA The Foundation Mathematics in Open Access (MathOA) actively promotes the adoption of Fair Open Access principles —which includes non-profit status, community ownership, and transparency— in the wider transition towards open access publishing in mathematics. To this end, the foundation is excited to announce a novel project. We open up a call […]

/0 Comments/by

Annals of Formalized Mathematics

The act of formalizing a proof is not mechanical: it involves substantial mathematical insight in its own right, and it constitutes the essence of formalized mathematics, which is now recognized as a mathematical discipline on its own. AFM editorial board The Annals of Formalized Mathematics is the first journal in this topical field, and it […]

/0 Comments/by