WATCH - Benjamin Pierce - The Science of Deep Specification

WATCH - Benjamin Pierce - The Science of Deep Specification Sep 21 2017 12:00PM to Sep 21 2017 1:00PM NSF - Alexandria Room 2210-2220 Abstract Abstraction and modularity underlie all successful hardware and software systems: We build complex artifacts by decomposing them into parts that can be understood separately. Rich specifications based on formal logic are little used in industry today, but a practical platform for working with them could significantly reduce the costs of system implementation and evolution.  Recently, research in the area has begun to focus on a particularly rich class of specifications, ... More at https://www.nsf.gov/events/event_summ.jsp?cntn_id=243142&WT.mc_id=USNSF_13&WT.mc_ev=click This is an NSF Events item.   Follow NSF:  This email was sent using GovDelivery Communications Cloud on behalf of: National Science Foundation Update · 4201 Wilson Boulevard · Arlington, VA 22230 · 703-292-5111