#CallForPresentations #CoqPL #CoqPL2024 (Workshop on Coq for Programming Languages) "provide[s] an opportunity for programming languages researchers and practitioners with an interest in Coq to meet and interact with one another and members from the core Coq development team... To foster open discussion of cutting edge research which can later be published in full conference proceedings, we will not publish papers from the workshop" https://popl24.sigplan.org/home/CoqPL-2024#Call-for-Presentations #Coq #ITP #PL #POPL

I'm enjoying the #Pittsposium in #Cambridge , a workshop in honour of my PhD supervisor Andy Pitts. Loved this talk by Larry Paulson, who advocated for mathematicians to use proof assistance with liberal use of sorry / admitted for parts of proofs they are confident in to avoid burning time on small details, for example the many lines of code required when verifying one sentence proofs in a standard textbook. #ITP

Brand Partnership Manager – ITP Live (Mumbai, India)
#ITP Media Group
#Mumbai, Maharashtra

digital, print, events, awards, video content, social media platforms and social media influenc...

read more: t.me/hiresocial (#7748)
#india #InfluencerJob #HiringNow

Commercial Director, Brand Partnership – ITP Live (Mumbai, India)
#ITP Media Group
#Mumbai, Maharashtra

in digital advertising and a natural grasp on the social media and its various platforms. Exper...

read more: t.me/hiresocial (#7690)
#india #InfluencerJob #HiringNow

#CallForPapers #SETS2023 "aims at bringing together researchers interested in set theory, especially to design tools for dealing with set theory, such as interactive or automated theorem provers, proof checkers, theories for general purpose proof tools, constraint solvers, programming languages etc" https://www.lirmm.fr/sets2023/?page=cfp #SetTheory #ITP #ATP

On this week's #blog I write a brief(ish) introduction / overview of the #Coq Proof Assistant! https://updatedscholar.blogspot.com/2023/03/discussing-coq-proof-assistant.html #ITP #TypeTheory

In next week's #blog (or is this week's? The start of teaching has me slightly out of synch with my self-imposed schedule) I'll write something about the #Coq proof assistant. #ITP

A short #blog this week about a short paper introducing #leanprover https://updatedscholar.blogspot.com/2023/02/discussing-lean-theorem-prover-system.html #ITP

Next week on my #blog I'll be writing about 'The Lean Theorem Prover (System Description)' https://link.springer.com/chapter/10.1007/978-3-319-21401-6_26 #ITP #LeanProver

First time soldering since #itp in 2005. I’d call it a win.

Logical Frameworks and Meta-Languages: Theory and Practice #LFMTP2023 "will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process". Despite being called a workshop it does publish proceedings #logic #itp https://lfmtp.org/workshops/2023/

'Aesop: White-Box Best-First Proof Search for Lean' by Jannis Limperg and Asta Halkjær From @ahfrom : "present[s] Aesop, a proof search tactic for the Lean 4 interactive theorem prover. Aesop performs a tree-based search over a user-specified set of proof rules, distinguishing between safe and unsafe rules. It uses a best-first search strategy with customisable prioritisation". #LeanProver #ITP

The #CPP2023 (Certified Programs and Proofs) #AcceptedPapers list is out! https://popl23.sigplan.org/home/CPP-2023#event-overview I had the privilege of being on the Program Committee this year :). #ITP #Verification #Logic

#ITP2023 "welcomes submissions describing original research on all aspects of interactive theorem proving and its applications" #ITP https://mizar.uwb.edu.pl/ITP2023/

Quite a few #CallForPapers in my area just dropped, so I'll make a quick thread as a reference... #logic #TypeTheory #types #TCS #TheoreticalCS #ProofTheory #ITP #FormalMethods

RT @lukasoldenburg
The time of the "proxy-set cookies" that circumvent Apple's #ITP is over soon... https://twitter.com/SimoAhava/status/1589997129321549825

Not me searching for Dohle bodies like 👀👀

#IYKYK #hemepath

RT @ProfMakris@twitter.com

These are proper giant platelets especially the one in the centre! This is platelet satellitism in Immune Thrombocytopenia (#ITP). Case report in today's issue of @BloodJournal@twitter.com. https://tinyurl.com/2r8bynzw

🐦🔗: https://twitter.com/ProfMakris/status/1591156721703358464

While everyone is tooting their horn of their amazing achievements I may as well toot mine...

... there we go.

So I'm pretty much a full time walking (sometimes) disaster, blood disorder called #ITP, #lymphoma twice, #osteoperosis and #AVN.

Ex math teacher, moved to software and web development, when I can I enjoy getting out walking, photography and generally being annoying.

Read and watch films a decent amount and talk to myself a lot on social media.

Thank you all for coming to the kickoff event of the Industrial Transformation Platform. The exchange between industry and EU will continue on this platform. Looking forward to the next event. #Fitfor55 #AFIR #Transformation #EU #ITP

🐦🔗: https://nitter.eu/IsmailErtug/status/1541825744346775553

Thank your for the initiative @IsmailErtug and the really interesting and constructive discussions. Already looking forward to next years edition!
RT @IsmailErtug: Thank you all for coming to the kickoff event of the Industrial Transformation Platform. The exchange between industry and EU will continue on this platform. Looking forward to the next event. #Fitfor55 #AFIR #Transformation #EU #ITP

🐦🔗: https://nitter.eu/berndlange/status/1541828584079335426