📣 The Journal of Functional Programming, formerly published by Cambridge University Press, flips to Diamond Open Access https://t.co/zaCNARS4fj 👏
More information here https://t.co/GlgIIHLVyo
Launch of a new, diamond open access journal ! The Journal of Non-Associative Structures (JoNAS), published by @oa_math and produced by @episciences 👉 https://t.co/UM9aOZZUhT.
Interested in creating a diamond open access maths journal ?📢 Diamond Open Access Stimulus Fund - call for proposals to win a start-up fund of up to €10k . 🗓️Deadline December 15, 2024. More details here 👉
https://t.co/E4AQ1wtlB1
"The Diamond OA Standard (DOAS) is a new tool brought to you by the DIAMAS project to promote quality in Diamond open access (OA) publishing."
https://t.co/N63SnzEvc3
@DiamasProject
Formalization of mathematical proofs has been talked about a lot recently. Today a new journal is launched, the Annals of Formalized Mathematics, aimed principally at mathematicians rather than computer scientists. 🧵
https://t.co/N4zc3OYHO4
Introducing: The Annals of Formalized Mathematics
https://t.co/NPGq8FNKS5
The AFM is a @oa_math -supported diamond open access overlay journal. It publishes original articles about formalized mathematics and mathematical applications of proof assistants, spanning many proof assistant ecosytems. Papers should be written for an audience of mathematicians and should not focus on the details of the tools themselves. Papers do not necessarily need to present novel mathematical proofs but should describe the mathematical lessons learned during the formalization process.
Please keep the AFM in mind when you write up your next project, and help us spread the word!
Scientific advisory board
Jeremy Avigad, Carnegie Mellon University, Pittsburgh, PA (United States)
Georges Gonthier, INRIA Saclay Île-de-France, Palaiseau (France)
Timothy Gowers @wtgowers, Collège de France, Paris (France) and Trinity College, Cambridge (United Kingdom)
Tom Hales, University of Pittsburgh, Pittsburgh, PA (United States)
Sophie Morel, CNRS, École Normale Supérieure de Lyon (France)
Editorial board
Antoine Chambert-Loir @achambertloir, Université Paris-Cité (France)
Manuel Eberl, University of Innsbruck (Austria)
Sébastien Gouëzel, CNRS, IRMAR Rennes (France)
Alex Kontorovich, Rutgers University, Piscataway, NJ (United States)
Marco Maggesi, Università di Firenze (Italy)
Assia Mahboubi, INRIA Nantes (France)
Colleen Robles, Duke University, Durham, NC (United States)
Managing editors
Robert Y. Lewis, Brown University, Providence, RI (United States)
Filippo A. E. Nuccio Mortarino Majno di Capriglio, Université Jean Monnet Saint-Étienne (France)
Welcome to "Innovation in Graph Theory", a young open access journal on graph theory and its interactions https://t.co/iMW98bPcSr which joined Mersenne!
#openaccess#Mathematics#GraphTheory#diamondOA
In an interview with Helene Strauß from @TIBHannover for https://t.co/V9w8J6c6Q8, Matthias Beck tells us about the #diamondOA journal @CombinTheory
https://t.co/aTKFeOo1f4.
In German with English subtitles.
Hey, fellow mathematicians, looking for a journal that complies with #FairOpenAccess? You may find a bunch of them here https://t.co/SYVSTe9xPB @Centre_Mersenne, in particular these three...