University of Oregon University of Oregon

Oregon Programming Languages Summer School

Types, Semantics, and Logic

June 26-July 8, 2023

Types, Semantics, and Logic

June 26-July 8, 2023

2023 Registration

Please complete the registration in time to obtain travel papers.


Definition Faculty, senior researcher, or lecturer at a post-secondary academic insitution
Definition Temporary employee of academic institution with doctorate who is not faculty or senior researcher


Definition Unemployed or retired professionals, high school teachers, etc. Please explain your circumstances in your Letter of Motivation.

Please check the field that represents what you are likely to be doing in the Fall of 2023. If needed, you can explain further in your Letter of Motivation.

Please enter the name you wish to use on official documents.

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

If you have one, please give the URL of your professional homepage.

Please give the name of the institution at which you will be pursuing an academic program in Fall of 2022 and the country in which it is located. If you are not pursuing a degree in Computer Science, informatics, or mathematics, and your degree subject is not implied by the department name, please give your degree subject in the Letter of Motivation. If you are finishing your current program and will be attending another program in Fall 2023, but haven't decided on the institution, please indicate your most likely choice above, and use your Letter of Motivation to explain your situtation.

Country information will not be considered in decisions about acceptance.

This information for successful applications generally appears on the website after OPLSS has concluded. If you do not wish your information to be shared publically, please indicate this in the Logical Notes below.


Gender Identity:

Please list the pronouns you want to appear after your name on your nametag. If you do not want this notation on your nametag, leave this empty.


definition A person of Cuban, Mexican, Puerto Rican, South or Central American, or other Spanish culture or origin regardless of race.


check all that apply
definition A person having origins in any of the original peoples of North and South America (including Central America), and who maintains a tribal affiliation or community attachment.
definition A person having origins in any of the original peoples of the Far East, Southeast Asia, or the Indian subcontinent, including, for example, Cambodia, China, India, Japan, Korea, Malaysia, Pakistan, the Philippine Islands, Thailand, and Vietnam.
definition A person having origins in any of the Black racial groups of Africa.
definition A person having origins in any of the original peoples of Hawaii, Guam, Samoa, or other Pacific Islands.
definition A person having origins in any of the original peoples of Europe, the Middle East, or North Africa.


Please list all countries of which you are a citizen.

Please fill in your demographic data above. Demographic data will be used in statistical form for diversity reporting to our sponsors. Gender identity will be used for placement in housing facilities. The information above will not be considered in decisions about acceptance.


University of Oregon requires that you have reached the age of majority to participate. Please check the box above to indicate you are at least 18 years of age.

Letter of Motivation

Please attach a Letter of Motivation for OPLSS23. Maximum file size: 1MB

Your letter of motivation should include the following:

  • Reasons for Attending
    • What you hope to gain from participation in OPLSS
    • How OPLSS participation will help you in your career
  • Prior Preparation
    • Whether you have a degree in Informatics or a related field
    • If you do not have an applicable degree, what other background do you have to assist in understanding the content

Logistical Notes

Please list any additional logistic notes about your participation such as roommate choice, alternate names, physical disabilities, or other attributes relevant to participation in OPLSS. This information will be used to assist with your needs on campus, but will not be considered in decisions about acceptance.

When you click submit, you should receive an immediate email confirmation that your application has been received.