We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead to an inconsistent state. We introduce an extension of the multi-modal logic S5n featuring total public announcements where an update cannot result in an inconsistency. We also study total public announcements in the c...

SIAM OP14 Introduction by the OP14 Co-Chairs Miguel F. Anjos & Michael J. Todd . . . . . . . . . . . . . . 1 Wing Design via Numerical Optimization Joaquim Martins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Relaxations for Some NP-Hard Problems Based on Exact Subgraphs Franz Rendl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .7 In Memoriam: ...

The web is the largest bulletin board of the world. Events of all types, from flight arrivals to business meetings, are announced on this board. Tracking and reacting to such event announcements, however, is a tedious manual task, only slightly alleviated by email or similar notifications. Announcements are published with human readers in mind, and updates or delayed announcements are frequent....

Articles Exascale Challenges for Optimization Andreas Grothey . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Mathematical Optimization for Packing Problems Fernando M. de Oliveira Filho and Frank Vallentin . . . . 5 In Memoriam Che-Lin Su Richard W. Cottle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 Bulletin Event Announcements SIAM Co...

The purpose of this department is to provide early announcement of outstanding new results, with some indication of proof. Research announcements are limited to 100 typed lines of 65 spaces each. A limited number of research announcements may be communicated by each member of the Council who is also a member of a Society editorial committee. Manuscripts for research announcements should be sent...

The purpose of this department is to provide early announcement of outstanding new results, with some indication of proof. Research announcements are limited to 100 typed lines of 65 spaces each. A limited number of research announcements may be communicated by each member of the Council who is also a member of a Society editorial committee. Manuscripts for research announcements should be sent...

Our aim is to use the logic of public announcements and more generally dynamic epistemic logics as a logic of speech acts. To that end we start from a simple multimodal logic of beliefs and goals (without common belief), and add public announcements. We suppose that announcements do not modify goals. We then consider several variants of speech acts of assertive and directive force and provide a...

Article Evolution of randomness in optimization methods for supervised machine learning Katya Scheinberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 In Memoriam Jonathan Borwein Adrian Lewis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .8 Roger Fletcher Sven Leyffer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....