School of Natural & Computing Sciences - Current and Upcoming Seminars Current and Upcoming Seminars at School of Natural & Computing Sciences https://www.abdn.ac.uk/ncs/news-events/seminars/ https://www.abdn.ac.uk/global/images/layout/uni_logo_2016_pad_rss.gif School of Natural & Computing Sciences - Current and Upcoming Seminars https://www.abdn.ac.uk/ncs/news-events/seminars/ https://www.abdn.ac.uk/ncs/news-events/seminars/24071/ https://www.abdn.ac.uk/ncs/news-events/seminars/24071/ <![CDATA[Encoding BDI Syntax with Theories in Event-B]]> Thu, 11 Jun 2026 14:00:00 +0100
Best paper award at ABZ 2026]]>