University of Oregon University of Oregon

Oregon Programming Languages Summer School

Types, Logic, and Formal Methods

June 26-July 8, 2023

Types, Logic, and Formal Methods

June 23-July 5, 2025

2025 Registration

Please complete the registration before March 14, 2025.

Professional

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

Student

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 2025. 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 2025 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 2025, 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.

Demographics

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.

Ethnicity:

definition Hispanic/Latinx indicates a person of Cuban, Mexican, Puerto Rican, South or Central American, or other Spanish culture or origin regardless of race. Non-Hispanic indicates a person who does not have this ethnic background.

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.

Citizenship:

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.

Age:

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

Fellowship

Fellowship grants are available for students and post-docs.

If you checked Graduate Student or Post-Doctoral Researcher above, and you wish to apply for a fellowship to cover your housing expenses, please check "Apply".

Before clicking "Submit Application" please double check that everything is filled in correctly. In particular, make sure you did not make any mistakes in your email address as we will not be able to contact you without it.

See Logistics: What to expect when you apply