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-
Tweets82
-
Followers153
-
Following7
-
Likes3
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…
WG1 meeting took place on 11-13 February 2025 in Nogent-sur-Seine, France
WG4 meeting/2nd workshop on the development, maintenance, refactoring and mining of large libraries of proofs took place on 13-14 September 2014 in Tbilisi, Georgia
Women in EuroProofNet took place on 6 July 2024 in Bonn, Germany
TPTP Tea Party took place on 1st July 2024 in Nancy, France
Summer School on Symbolic and Statistical Methods for Reasoning and Processing of Formal Expressions took place on 24-27 June 2024 in Kutaisi, Georgia
Workshop on Proof Systems for Mathematics and Verification took place on 14-15 June 2024 in Lausanne, Switzerland.
Rule based automated provers for geometry took place on 28-30 May 2024 in Nice, France
Patrick Skeels @bas_logic
341 Followers 397 Following philosopher, linguist, winsome rogue, fgc wannabe
Amruta Akella @AkellaAmruta
5 Followers 30 Following
Mykola Telychko @nico_ua_dev
16 Followers 482 Following software engineer / digital advertising / RTB / math & radio enthusiast
aihal @aihalofthequake
0 Followers 40 Following
Tom @tomstructured
23 Followers 506 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
Alexandra Mendes @asfmendes
231 Followers 282 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 227 Following Theoretical Computer Scientist, Assistant professor, Department of Mathematics, University of Padua
fornever @_for_never
25 Followers 335 Following
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
misha @mishayagudin
950 Followers 663 Following https://t.co/vg67nytMeV, https://t.co/GPOJxpxDYr, https://t.co/3u72x8A5Nw
Totally not Simon🇭... @not_simon_chill
66 Followers 414 Following Logician-in-training @illc_amsterdam Cis | Gay | He/they Eng/中/粵 🇭🇰
Ben Goldhaber @BenGoldhaber
944 Followers 793 Following goal: something human makes it out of the near-future. flf, all tweets should be treated as binding legal advice.
Cameron Freer @cameronfreer
379 Followers 1K Following Research Scientist at the @MIT @ProbCompProj studying interactions of randomness and computation
Frederik Schmitt @frederik_schm
32 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
225 Followers 147 Following AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Stefan Ciobaca @ciobaca
50 Followers 651 Following
``` @autumninsepia
46 Followers 84 Following One of those guys known for cultivating illegal blossoms
Doğan Ulus @ulusdd
147 Followers 511 Following
juraj selep @jurajselep
290 Followers 2K Following
Julian Sutherland @JulekSU
519 Followers 425 Following PhD @imperialcollege. Head of formal verification @nethermindeth
google review @pandas3020
27 Followers 2K Following
wasabi @wasabi__315
275 Followers 547 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
114 Followers 277 Following PhD Student in Computer Science @TU_Muenchen working on Static Program Analysis. Also at: https://t.co/cAFeibkqEr
Grzegorz Kunicki @kunigg
22 Followers 284 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
199 Followers 256 Following Associate Professor in Computer Security at the IT-University of Copenhagen
George Granberry @JudgeJerj
17 Followers 89 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
143 Followers 421 Following Computer Science researcher, automated reasoning enthusiast.
Michele Sevegnani @michele_seve
217 Followers 1K Following Senior Lecturer in Computer Science at the University of Glasgow
Georgii @0xGeorgii
315 Followers 279 Following Compilers, programming languages and formal methods for #Web3 with @Inferara_kk and @OpenZeppelin
ProvablySafe.AI @ProvablySafeAI
66 Followers 531 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
189 Followers 811 Following Unktok CEO artificial scientists & metascience JP(@takagi_shiro)
Elrondex @elrondex
191 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
146 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
93 Followers 1K Following PhD student | 3 Masters: Forensics, Info Sci, Data Sci | NLU & Neurosymbolic AI researcher | Community Educator @UNHSHARPP advocating consent | CIRTL Scholar
Junyan Xu @Junyan_Xu
468 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 487 Following Mathematics, computer science and logic @RoyalHolloway @Cambridge_CL Other: art, philosophy, society. World citizen. Pacifist. Friend. Own views.
Stefania Dumbrava (@s... @sdumbrav
402 Followers 401 Following Assoc. Prof. @ENSIIE & @TelecomSudParis (@IP_Paris_) #Databases #FormalMethods #TheoremProving (she/her)
Volker Stolz @fm_volk... @fm_volker
232 Followers 358 Following SE-Prof @ HVL. No longer really following Twitter, see pinned post. (Un)Professional Banter. 🇳🇴🇪🇺🇲🇴λ
Ornela Dardha @OrnelaDardha
396 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
