Wednesday, September 20, 2017

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.


This email was sent using GovDelivery Communications Cloud on behalf of: National Science Foundation Update · 4201 Wilson Boulevard · Arlington, VA 22230 · 703-292-5111 GovDelivery logo

No comments:

Post a Comment