addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1launch-new-window--smalllight-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Members

Facebook Icon

Who do you know here?

with Facebook to find out who you know in this Meetup.

By clicking "Log in", you confirm that you accept our Terms of Service & Privacy Policy

x
  • nicolas r.

    • Joined July 20, 2013
    • "F#er, worked in finance, likes math" 

  • Adrian

    • Joined November 18, 2017
  • Paul J.

    • Joined November 16, 2017
  • Vlad P.

    Organizer
  • Sandeep T.

    • Joined October 31, 2017
  • Steven C.

    • Joined October 29, 2017
  • Ray G.

    • Joined May 6, 2015
  • Andrey S.

    • Joined August 1, 2014
    • "I am product architect now (Perl+Java) now. Before I worked 10 years as system architect. My mayor is pure math (math analysis)." 

  • tompark

    • Joined January 24, 2016
  • Vlad U.

    • Joined October 16, 2014
  • Al

    • Joined December 7, 2015
  • Ted Y

    • Joined October 15, 2017
  • Matthew C.

    • Joined September 23, 2017
  • Bryan G.

    • Joined September 30, 2015
  • portal_narlish

    • Joined August 28, 2017
  • Valeria De P.

    Co-Organizer
    • "I did categorical models of linear logic (Dialectica categories) for my phd thesis. I work in the intersection between category theory, type theory and logic." 

  • Jack F.

    • Joined February 22, 2014
    • "Recently got interested in the Oregon Programming Languages Summer School lectures http://www.cs.uoregon.edu/research/summerschool/summer13/ and the HoTT Book http:/..." 

  • Paul S.

    • Joined September 30, 2017
  • Avijit K.

    • Joined March 17, 2013
    • "Hey! My name is Avijit. I am interested in category/type theory and mathematical logic, and would like to meet people with similar interests." 

  • Ian-Woo K.

    • Joined December 10, 2015

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy