Agenda Discovery Week Month

See what you will EventUpon!

EventUpon has events from Meetup, EventBrite, and many more

Event Calendars Drive User and Community Engagement.
Automatically fill your site calendar with events from any organizations.

What calendar can you use with the EventUpon API?

Use Your Own!

Call the EventUpon API


Your calendar will autoPOPulate your events to thousands of people.
Pick organizations and autoPOPulate your calendar with events!
Add your events to EventUpon for free!

Get Your Search Token

Sign up for your free account

See the Events in the EventUpon Database

My Search Results within
miles of
My Event List Results within
miles of
My Search Results within
miles of
My Event List Results within
miles of

NYC HoTT Group Write a Review

Select your rating. ( ) ( ) ( ) ( ) ( )
Write a Review
Select your rating. ( ) ( ) ( ) ( ) ( )
×
Endorsed by Curators:
HoTT Ch. 2 pt. 1 + Ch. 1 exercises

HoTT Ch. 2 pt. 1 + Ch. 1 exercises

May 06 7:00PM - 9:00PM

We'll be doing a few of the Ch. 1 exercises and going rigorously through the proofs, and we'll do a few sections from Ch 2. depending on how far we get.

How to find us:Floor 2, Kadena
 
Write a Review
Select your rating. ( ) ( ) ( ) ( ) ( )
×
Endorsed by Curators:
HoTT Reading Group Ch.1 (pt 2 of 2)

HoTT Reading Group Ch.1 (pt 2 of 2)

Mar 18 7:00PM - 9:00PM
Discuss chapter 1 (page 64 to finish, plus exercises). No worries if you didn't finish. I will type up a recap as notes for the sections we discuss - you can see the progress here:…
 
Write a Review
Select your rating. ( ) ( ) ( ) ( ) ( )
×
Endorsed by Curators:
HoTT Reading Group Ch.1 (I of II)

HoTT Reading Group Ch.1 (I of II)

Mar 04 7:00PM - 8:00PM
Discuss chapters 0 and 1 (up to page 64, finishing the preliminary section of Identity Types). This will be a test to see if 2 weeks is enough time for us, or if we need more (or less) time to…
 
Write a Review
Select your rating. ( ) ( ) ( ) ( ) ( )
×
Endorsed by Curators:
HoTT Reading Kickoff

HoTT Reading Kickoff

Feb 15 7:00PM - 8:00PM
Hi Everyone! We're going to kickoff the meetup with an initial meetup to discuss details and identity a schedule for the group. No reading is required, but it would be good to guage what we would…