Reactive Synthesis Calendar
