Welcome to CoSMed

CoSMed is a prototype social media platform developed jointly by Middlesex University, Global NoticeBoard and the German Research Center for Artificial Intelligence (DFKI) Bremen. CoSMed is verified for document confidentiality using the proof assistant Isabelle. More details on what has been verified can be found here.


New user? Sign up