University of Oregon University of Oregon

A Spectrum of Types

June 26-July 8, 2017


Review Participation:

Check "yes" if you are also planning to participate in the pre-OPLSS Review

Please give the name you wish to use on official records. If you wish to have a different name on your nametag, please indicate that in the Additional Remarks field below.

Please give an email account that is appropriate to use for OPLSS correspondence.

Please give the URL of your professional homepage.

Gender Identity:
Race: (check all that apply)

Please fill in your demographic data above. This information will not be considered in decisions about acceptance, however, gender identity is required for assigning participants staying in OPLSS housing to a male or female floor. Note that plumbing facilities are communal. This data will also be used in statistical form for diversity reporting.

Please enter your country of citizenship (for multiple citizenship, list all countries).


Check "yes" if you have a PhD in Computer Science, Informatics or Mathematics.

If you did not check yes, please have someone with a PhD in Computer Science send a letter of recommendation to

  • If you are currently enrolled in a graduate program, your advisor should send a recommendation showing you are making satisfactory progress through your program.
  • If you are currently enrolled in an undergraduate program, any of your Computer Science professors can recommend you.
  • If you are not currently enrolled in an academic program, your recommendation should come from a supervisor or mathematics/computer science professor. Address inquires about this requirement to

Please check the field that represents what you are likely to be doing in the Fall of 2017. If needed, you can explain further in the Additional Remarks field below. If you checked that you will be a student, but you will not be pursuing a degree in Computer Science, please give your degree subject in the Additional Remarks field below.

Please give the name of the institution at which you are pursuing an academic program, or the name of your employer. If applicable, please also list the academic department within your institution, and the country where you are located. If you do not wish your institution to appear on your nametag or other paperwork, please indicate that in the Additional Remarks field below. Country information will not be considered in decisions about acceptance.

In the space above, please explain your background in Programming Languages, Lambda Calculus, Type Theory, and Category Theory.

Some of this information may be covered by FERPA Please see the University of Oregon Privacy Policy for clarification of Family Educational Rights and Privacy Act (FERPA) standards compliance.

Use the space above to explain what you hope to gain from attending OPLSS.