Note that although the calendar currently is filtered, the calendar subscription will be unfiltered.
Please follow these instructions to subscribe to the calendar in Outlook on Windows:
- Copy the calendar link.
- Switch to the calendar view in Outlook.
- Right click My calendars (or Other calendars), select Add calendar, select From Internet.
- In the dialog that pops up, paste the calendar link.
- Approve the subscription.
The calendar is now available in Outlook. Check the checkbox besides the new calendar to view it.
For Safari on Mac, read these instructions.
In other calendar applications, copy the link and then follow the appropriate procedure.
Model Checking of Software Systems under Weak Memory Models
When a program is compiled and run on a modern architecture, different optimizations may be applied to gain in efficiency. In particular, the access operations (e.g., read and write) to the shared memory may be performed in an out-of-order manner, i.e., in a different order than the order in which the operations have been issued by the program.