EuroProofNet @EuroProofNet
European Research Network on Formal Proofs (#COSTAction 20111), aimed at boosting the interoperability & usability of proof systems. europroofnet.github.io Europe Joined November 2021-
Tweets89
-
Followers153
-
Following7
-
Likes3
EuroProofNet Workshop on Program Verification, 17-19 September 2025, europroofnet.github.io/wg3-Sept2025/.
International Conference on Mathematical and Computational Linguistics for Proofs, 15-18 September 2025, europroofnet.github.io/MCLP/.
EuroProofNet Workshop on Proof Libraries, 15-16 September 2025, europroofnet.github.io/WG4_Orsay25/.
2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25): jakobnordstrom.se/WHOOPS25/.
WG2 meeting/Workshop on Automated Reasoning and Proof Logging (europroofnet.github.io/wg2-symposium/), 11-13 September 2025, Institut Pascal, Orsay, France.
Symposium group photo on Thursday 11 September
1st International School on Logical Frameworks and Proof Systems Interoperability, 8-11 September 2025: europroofnet.github.io/LFPSI25/.
The final EuroProofNet symposium (europroofnet.github.io/Symposium/) will take place at the Institut Pascal, Orsay, France, for 2 weeks from September 8 to September 19.
Gilles Dowek, founder of the Dedukti logical framework, which plays a central role in EuroProofNet, died on 21 July 2025. He was vice leader of the WG4 on proof libraries in 2021 and 2022, and made important contributions in logic, quantum programming languages and philosophy.
EuroProofNet funded 9 participants from COST inclusive-target countries to attend the Scottish Programming Languages and Verification Summer School (SPLV) 2025 at Edinburgh, UK.
The 2025 Women in EuroProofNet workshop (europroofnet.github.io/women-epn-2025/) took place on June 10 in Glasgow, UK, during the TYPES conference.
The EuroProofNet workshop on Reasoning with Quantitative Types took place in Porto on June 5-6.
The EuroProofNet meeting on rule based automated theorem provers for geometry took place on 3-5 June 2025 in Krakow, Poland.
The EuroProofNet School on Natural Formal Mathematics took place in Bonn in June 3-5.
WG6 meeting took place on April 17th-18th 2025 in Genoa, Italy.
WG5 meeting took place on April 7th-8th 2025 in Edinburgh, Scotland, UK.
WG6 meeting, co-located with the 2025 Workshop on Homotopy Type Theory / Univalent Foundations (HoTT/UF) will take place on April 17th-18th 2025 in Genoa, Italy hott-uf.github.io/2025/
The deadline for Inclusiveness Target Country Conference Grants (ITCG) is 4 May 2025. europroofnet.github.io/grants/
The deadline for STSM proposals is 16 March 2025 europroofnet.github.io/grants/
Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives will take place on April 7th-8th 2025 in Edinburgh, Scotland, UK europroofnet.github.io/wg5-edinburgh2…
Evoluxe @Evoluxe_
14 Followers 229 Following
Amruta Akella @AkellaAmruta
5 Followers 32 Following
Mykola Telychko @nico_ua_dev
19 Followers 547 Following software engineer / digital advertising / RTB / math & radio enthusiast
aihal @aihalofthequake
0 Followers 40 Following
Tom @tomstructured
24 Followers 512 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
Alexandra Mendes @asfmendes
232 Followers 283 Following Assistant Prof. in CS@FEUP, University of Porto (@feup_porto). Previously: Visiting Researcher @CarnegieMellon. Loves Programming, Maths, gardening, and walks.
Francesco Gavazzo @francescoGvz
40 Followers 228 Following Theoretical Computer Scientist, Assistant professor, Department of Mathematics, University of Padua
fornever @_for_never
30 Followers 341 Following
Xuejing, aka Snow @hxjxsnow
406 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
misha @mishayagudin
951 Followers 672 Following https://t.co/vg67nytMeV, https://t.co/GPOJxpxDYr, https://t.co/3u72x8A5Nw
Totally not Simon🇭... @not_simon_chill
66 Followers 412 Following Logician-in-training @illc_amsterdam Cis | Gay | He/they Eng/中/粵 🇭🇰
Ben Goldhaber @BenGoldhaber
950 Followers 796 Following goal: something human makes it out of the near-future. flf, all tweets should be treated as binding legal advice.
Cameron Freer @cameronfreer
378 Followers 1K Following Research Scientist at the @MIT @ProbCompProj studying interactions of randomness and computation
Frederik Schmitt @frederik_schm
31 Followers 273 Following PhD student @CISPA and @Saar_Uni. Deep learning, reactive synthesis, and formal methods.
Alex Schäfer @AlexSch57944350
8 Followers 136 Following
Jason Rute @JasonRute
319 Followers 156 Following AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Stefan Ciobaca @ciobaca
50 Followers 650 Following
``` @autumninsepia
44 Followers 83 Following One of those guys known for cultivating illegal blossoms
Doğan Ulus @ulusdd
147 Followers 512 Following
juraj selep @jurajselep
295 Followers 2K Following
Julian Sutherland @JulekSU
526 Followers 431 Following PhD @imperialcollege. Head of formal verification @nethermindeth
google review @pandas3020
24 Followers 2K Following
wasabi @wasabi__315
278 Followers 554 Following :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
休 @realBigTreeLeaf
0 Followers 2K Following
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Michael Schwarz @93mSchwarz
116 Followers 283 Following Research Fellow @NUSComputing. PhD from @TU_Muenchen in Static Program Analysis. Also at: https://t.co/cAFeibkYtZ
Grzegorz Kunicki @kunigg
21 Followers 296 Following
Rosemary Monahan @DrRMonahan
191 Followers 266 Following Professor in Computer Science with expertise in the modelling, analysis and verification of software
Alessandro Bruni @hoheinzollern
197 Followers 253 Following Associate Professor in Computer Security at the IT-University of Copenhagen
George Granberry @JudgeJerj
17 Followers 88 Following American PhD candidate living in Sweden currently researching the intersection between Formal Methods, IDEs, and LLMs at Chalmers University of Technology
Mikolas Janota 🇵�... @JanotaMikolas
146 Followers 462 Following Computer Science researcher, automated reasoning enthusiast.
Michele Sevegnani @michele_seve
216 Followers 1K Following Senior Lecturer in Computer Science at the University of Glasgow
Georgii @0xGeorgii
337 Followers 311 Following Compilers, programming languages and formal methods for #Web3 with @Inferara_kk and @OpenZeppelin
ProvablySafe.AI @ProvablySafeAI
68 Followers 530 Following Connecting and onboarding researchers at the intersection of formal methods and AI safety. Posts by @agentofuser.
Pinned @kha448053853552
0 Followers 1K Following
Shiro Takagi @46takagi
187 Followers 809 Following Unktok CEO artificial scientists & metascience JP(@takagi_shiro)
Elrondex @elrondex
189 Followers 5K Following Elixir library to interact with Elrond Blockchain ⚡ $EGLD, Arwen, WASM, DeFI, SC, ESDTs, NFTs, SFTs, $MEX, DEX, AMM https://t.co/yPL9XXZguT
Zory Zhang @zory_zhang
147 Followers 1K Following Computational modeling of human learning: cognitive development, language acquisition, social learning, causal learning... Brown PhD student with @banhpad
Sushma Anand Akoju. S... @morals4kindness
95 Followers 1K Following PhD Student | MS in : Forensics, Info Sci, Data Sci | NLU & Neurosymbolic AI researcher | Advocating consent and fairness | CIRTL Scholar.
Junyan Xu @Junyan_Xu
478 Followers 4K Following Postdoc at Universität Heidelberg building Lean's mathlib4 towards formalization of FLT, interested in AI for mathematics and formalization.
COST @COSTprogramme
16K Followers 2K Following Enabling researchers to set up their own interdisciplinary research networks in Europe and beyond. Funded by the European Union. #COSTactions
Frédéric Blanqui @FredericBlanqui
11 Followers 6 Following
Angeliki Koutsoukou-A... @AngelikiKoutso1
2K Followers 490 Following Mathematics, computer science and logic @RoyalHolloway @Cambridge_CL Other: art, philosophy, society. World citizen. Pacifist. Friend. Own views.
Stefania Dumbrava (@s... @sdumbrav
405 Followers 401 Following Assoc. Prof. @ENSIIE & @TelecomSudParis (@IP_Paris_) #Databases #FormalMethods #TheoremProving (she/her)
Volker Stolz @fm_volk... @fm_volker
231 Followers 357 Following SE-Prof @ HVL. No longer really following Twitter, see pinned post. (Un)Professional Banter. 🇳🇴🇪🇺🇲🇴λ
Ornela Dardha @OrnelaDardha
393 Followers 151 Following Senior Lecturer (Associate Professor) @GlasgowCS, @UofGlasgow https://t.co/oBZQTCCgH1 https://t.co/Jr1x4Wat0I Mastodon: @[email protected]Trends for United States
You might like
