Computer Science 2019 APR Self-Study & Documents

UNM Computer Science APR self-study report and review team report for Spring 2019, fulfilling requirements of the Higher Learning Commission

Computer Aided Verification

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

Updates

Richard Bud Meade worked in Human Resources at the College at Brockport from 1968-2000. He knew many of our faculty and staff and in retirement he began to circulate an email newsletter which passed on stories and news about various college retirees. This remarkable, ongoing project has captured a tremendous amount of information about the folks who built the college over the last 50 years. This collection of his Update is searchable, and covers from the beginning in 2001 up to August, 2020. More will be added as time goes on..

Undergraduate Course Catalog of the University of San Diego 2021-2022

845 pages. Includes information about academics, expenses, campus and the college, the 2021-2022 academic calendar, and school policies.https://digital.sandiego.edu/coursecatalogs-undergrad/1029/thumbnail.jp