University of Oregon

Oregon Programming Languages Summer School

Types, Logic, and Formal Methods

June 22-July 3, 2026

Jim's OPLSS Blog

 
Here, I will be posting updates on registration deadlines, when you should expect to be notified, how to get here, what to bring, etc.

If you apply (with a recommendation, if required) before March 16, you should hear back from us by April 6. If not, please send email to summerschool@cs.uoregon.edu asking what happened to your application.

What to expect when you apply

When you fill out the registration form and hit apply,

  • Your browser will look over the form and make sure you haven't left anything blank or included a Letter of Motivation that is longer than 1MB. It will prompt you to fix that, if necessary. If there are no blanks, clicking submit should result in your browser showing a webpage from our server.
    • If our server is running normally, your browser will say you have successfully submitted your application.
    • If there is a problem with our server, your browser will say there is a problem with our server and you should email the information to us.
  • You should immediately receive an automated email from apache@cs.uoregon.edu to the account you gave us.
    • If you do not receive such an email, check your spam folder for a message from apache@cs.uoregon.edu. If you can't find a message, it probably means you mistyped your email address; so, you should immediately send an email to summerschool@cs.uoregon.edu telling us you submitted an application but did not receive a reply.
    • An error encountered on our server will result in you receiving an email indicating an error occured. You should email summerschool@cs.uoregon.edu with the information about the error, so we can fix it.
    In the reply email, it may indicate that your advisor must send a Letter of Recommendation. If so, please make sure your advisor sends this to summerschool@cs.uoregon.edu before the registration deadline.

You should not hear further from us until about two weeks after the application deadline. However, you can send email to me to inquire about your status or modify your application.







 
© University of Oregon, All rights reserved