This paper addresses the challenge of designing provably safe conflict-resolution procedures (CRPs) that are decentralized and decoupled from each other. The main contribution of this paper is identifying necessary and sufficient conditions to decouple CRPs. Additionally, this paper demonstrates the existence of decentralized en-route CRPs that satisfy the identified decoupling conditions for each local conflict and, thereby, guarantee global conflict resolution. An advantage of the proposed CRPs is that they do not require a reduction in the aircraft flow levels in the intersecting routes for conflict resolution, which can aid in increasing the efficiency of en-route air traffic control.

We report on a recently funded project called Renaissance Computing, an initiative for promoting student participation in computing. We propose a radical re-thinking not only of our core curriculum in CS, but of the role of CS at the university level. In our conception, ''computational thinking'' is neither easily separated from other endeavors nor easily balkanized into a single department. We thus imagine a CS curriculum that is inextricably linked to other domains. Our proposed initiative covers introductory, depth, and capstone courses, targeting both CS majors and minors. It is also aimed to develop interdisciplinary CS courses in sciences, engineering, arts, and humanities. Furthermore, the framework embraces collaborative learning to help improve learning.

The traditional framework for discrete-event control is extended to include the case of control with active events, in which both the user and the environment have events that they can trigger. A variety of liveness and safety specifications can be considered within this extended framework. A synthesis algorithm of minimally restrictive controllers is outlined.