MultiMed Engineers
MultiMed Engineers 
MultiMed Engineers is an endorser of the Manifesto for EU Covid-19 Research.
‣ Technology updates
Learning to prove theorems via interacting with proof assistants
… human experts have written a large amount of ITP code, which provides an opportunity to develop machine learning systems to imitate humans for interacting with the proof assistant. Such a combination would get us closer to fully automated human-like proofs.
Source: Learning to prove theorems via interacting with proof assistants | the morning paper
AI-Assisted Conversational Agents in Health Care—Clinical, Legal, and Ethical Aspects
Conversational agents (CAs) are artificial intelligence (AI) programs that engage in a dialogue with users by interpreting their questions or concerns and replying to them in a text message, image, or voice format…
Read abstract: AI-Assisted Conversational Agents in Health Care—Clinical, Legal, and Ethical Aspects
EIP on AHA Newsletter
Together, the Active Assisted Living (AAL) Programme, the EIP on AHA (European Innovation Partnership on Active and Healthy Ageing) and the Joint Programming Initiative More Years, Better Lives (JPI MYBL) invite you to the European Week of Active & Healthy Ageing (EWAHA) on 2-6 November, 2020…
Continue reading: EIP on AHA Newsletter
Ageing@Work 3rd newsletter issue
The COVID-19 outbreak has been a major shock for the European industrial companies. Many businesses are experiencing economic difficulties as a result of the COVID-19 crisis and have had to temporarily suspend or substantially reduce their activities and the working hours of their staff…
Continue reading: Ageing@Work 3rd newsletter issue