ITE Intermountain Section Best Student Paper Award | Civil and Environmental Engineering

At the annual student paper competition hosted by the Institute of Transportation Engineers, Holly Llyod was recognized as the Best Student Paper. Her paper is titled Safety Analysis of the Diverging Diamond Interchanges in Utah. Her effort and preparation for the competition has earned her an award of $400. She is invited to present her paper at the 56th Annual Intermountain Section Meeting May 19-21 in Jackson, Wyoming.https://digitalcommons.usu.edu/engineering_news/1137/thumbnail.jp

Announcements

The Alexei Kondratiev Award for the Best Student Paper Presented at Mythco

Information Technology News

IT Students Win Undergraduate Student Best Paper Award for Southeast Decision Sciences Conferenc

Information Technology News

IT Student Wins Best Undergraduate Paper Award at SE DSI Southern Hacks 202

College of Engineering News

IT Students Win Undergraduate Student Best Paper Award for Southeast Decision Sciences Conferenc

College of Engineering News

IT Students Win Undergraduate Student Best Paper Award for Southeast Decision Sciences Conferenc

College of Engineering News

MSAE Student Sushmita Khan and Drs. Kaleta and Yin Win Best Paper Award at SAIS 201

Information Technology News

MSAE Student Sushmita Khan and Drs. Kaleta and Yin Win Best Paper Award at SAIS 201

Criminal Justice and Criminology News

Retirement – Dr. Dennis Murphy (Armstrong Campus and Professor Emeritus) Visiting Instructors – Joseph Bacot and Amir Toure Promotions – Dr. Jonathan Grubb to Associate Professor and Eloise Pitt to Senior Lecturer Outstanding Intro Students – Therin Paige Blass (Armstrong) and Jenna Rhoades (Statesboro) Best Undergraduate Research Paper – Ryan Langan “Bail Reform” Cyber Award – William “Travis” Roberts Menzel-Magnus Award – Madisen L. Duke Richard J. Waugh Justice Studies Award – Justin Thornton Outstanding Graduate Student Award – Merideth Smith Faculty Award of Excellence – Dr. Caitlin Brad

Definitions by Rewriting in the Calculus of Constructions

The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prove the strong normalization of the reduction relation generated by the beta-rule and the user-defined rules under some general syntactic conditions including confluence. As examples, we show that two important systems satisfy these conditions: a sub-system of the Calculus of Inductive Constructions which is the basis of the proof assistant Coq, and the Natural Deduction Modulo a large class of equational theories.Comment: Best student paper (Kleene Award