CS 7936-001 Spring 2025 Types, Inference, & Proof Sear

• Read lots of research papers on types, logics, proofs, inference, and programming languages.
• Present some research results.
• Engage in class discussions, learn to ask insightful and actionable questions.

There are no required materials / textbooks. Links to an external site.

Discord:

• https://discord.gg/VJc5MEsK9g Links to an external site.

Email:

• blg@cs.utah.edu
• benjaminlgreenman@gmail.com (unofficial but preferred)

Email Ben to make an appointment.

• Grading is based on sincere participation in course activities. Core activities are:
  • reading papers
  • presenting papers
  • attending class
  • contributing to class discussions
• Students may also do a research project. The instructor will meet weekly with each student to discuss the project. Project suggestions:
  
  • Model a research paper in Redex
  • Replicate the algorithm / experiments from a paper
  • Apply insights from a paper to your Ph.D. topic

The instructor will reach out early and often to students who are not participating enough. Students who are concerned about their grade should contact the instructor.

• Read papers together if you like
• Do your own work on the projects
• Late assignments are not accepted
• Remote participation is allowed but discouraged. You can listen but you cannot speak.

Accommodations will be considered on an individual basis and may require documentation.

Please contact your instructor and/or teaching assistant as soon as possible (preferably shortly before the semester begins) to request accommodations of any kind.

Contact your instructor as soon as possible if an extreme personal circumstance
(hospitalization, death of a close relative, natural disaster, etc.) is interfering with your ability to
complete your work.

To request an accommodation for religious practices, contact your instructor at the beginning of the semester.

If you are student on active duty with the military and experience issues that prevent you from participating in the course because of deployment or service responsibilities, contact your instructor as soon as possible to discuss appropriate accommodations.

Disability Access

All written information in this course can be made available in an alternative format with prior notification to the Center for Disability Services (CDS). CDS will work with you and the instructor to make arrangements for accommodations. Prior notice is appreciated. To read the full accommodations policy for the University of Utah, please see Section Q of the Instruction & Evaluation regulations Links to an external site..

If you will need accommodations in this class, contact:

Center for Disability Services
  801-581-5020
  disability.utah.edu Links to an external site.
  162 Union Building
    200 S. Central Campus Dr.
     Salt Lake City, UT 84112

Office of Equal Opportunity

The Office of Equal Opportunity And Affirmative Action (OEO/AA) is dedicated to providing a fair and equitable environment for all to pursue their academic and professional endeavors and to equally access University programs.

OEA/AA
  801-581-8365
  oeo.utah.edu Links to an external site.
  383 South University Street
    Level 1, OEO Suite
    Salt Lake City, UT 84112

Price College Counseling Service

Goal: provide a confidential, safe, and non-judgmental space to address any stressor or concern in your life. Empower you to take actions to meet your needs, values, and goals.

Call to schedule an Initial Consultation (IC) appointment. Be sure to ask for “embedded counseling for College of Engineering”.

Counseling Center
  801-581-6826
  www.price.utah.edu/students/current/counseling Links to an external site.
  WEB 1707