Vancouver, BC — Capitalizing on five years of research-collaboration success, Mitacs and Inria renewed their partnership originally signed in 2014. The memorandum of understanding (MOU) supports two-way international research opportunities for graduate researchers at Canadian universities and at eight Inria Research Centres in France.
Paris, France — Mitacs Chief Business Development and Partnerships Officer Eric Bosco and École Polytechnique Vice-President, Marketing and International Relations,Rachel Maguer signed a partnership agreement today that increases research collaboration between Canada and one of the top academic institutions in France.
Fatimat Almentina Ramos Shidi travelled from Prince George to France to discover answers to some complex questions.
A recent Master of Science – Biochemistry graduate from the University of Northern British Columbia, Shidi pursued the opportunity to study abroad due to the Mitacs Globalink Research Award. She is the first UNBC student to receive this award.
The award provides $6,000 in funding for senior undergraduate and graduate students in Canada to conduct 12-24 week research studies at universities abroad.
Ottawa, ON—Canada and France are building on a partnership to increase international research exchanges for university students in both countries through Mitacs’s programs.
The signing builds on an existing relationship established between Mitacs and Campus France in 2014, and aims to expand Mitacs research internships to university consortia and other higher education institutions in France.
Vancouver, BC — Mitacs, a national not-for-profit research and training organization, and the European Commission, announce a new partnership to expand research opportunities for Canadian and European graduate students and postdoctoral fellows who receive funding through the European Union’s Horizon 2020 program.
Vancouver, BC — During Universities Canada’s mission to Mexico, Mitacs, a Canadian not-for-profit research and training organization, renewed and expanded an agreement with the Monterrey Institute of Technology and Higher Education (ITESM), a private, multi-campus university based in Monterrey, Mexico.
Critical systems such as transportation systems require a high level of safety that can only be achieved with formal proof. Such formal proofs are typically expressed in some logic that can be verified by theorem provers. The diversity of theorem provers and logics has a negative consequence: the same theorem is proved many times and it is difficult for these systems to co-operate, because they do not implement the same logic. Logical frameworks are a class of theorem provers that overcome this issue by providing a generic framework in which we can represent and specify various logics.