SIPantic is interested in all things related to the development of Capability-based Object-Oriented Machine Code for trusted software using Church-Turing Machines.