Honolulu Coffee Experience

Sounds kinda grandiose, huh? But that's what Google Maps says the place is: "Honolulu Coffee Experience Center".

Join us at 10 AM on Saturday, November 2.

Honolulu Coffee's web site:

https://www.honolulucoffee.com/

Topic is whether or not Voevodsky's univalent foundations program will really cut the mustard getting automatic theorem provers to behave ... um, no. Whatever flows from the attendees' minds as the elixir is imbibed. As has happened since Kiva Han opened in Constantinople sometime during 1475.