Submissions

Accepting submissions

Not accepting submissions

Anupam Jain

A quick and pragmatic introduction to Category Theory (Part 2)

A continuation of the Category Theory talk from the September meetup. more
  • 0 comments
  • Confirmed
  • 17 Oct 2025

Ramit Das

A walk through humanity's ideas of logic and computation

I shall try and present to you the journey humans took to reach the modern theorem provers. more
  • 0 comments
  • Submitted
  • 24 Oct 2025

Hosted by

The homepage for the Indian Functional Programming community