The ERCIM Cor Baayen Award selection committee has unanimously selected Tomasz Kociumaka as the winner of the competition for the 2021 ERCIM Cor Baayen Young Researcher Award. Tomasz Kociumaka was nominated by the University of Warsaw, which awarded him a PhD in 2019. Tomasz then worked at Bar-Ilan University, Israel, and he is currently a postdoctoral researcher at the University of California, Berkeley, USA.
Warsaw, 14-16 September 2022
FMICS is the yearly conference organised by the homonymous ERCIM working group. The aim of the conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences of the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. FMICS will be held as part of CONFEST 2022, comprising also CONCUR, FORMATS, QEST and workshops, during 12-17 September 2022.
JST (Japan Science and Technology Agency) are organizing the 2nd joint workshop in order to accelerate international communication and collaboration. The online workshop aims to present future visions and recent results of research conducted in the context of the JST AIP (Advanced Integrated Intelligence Platform) project as well as from European institutions. This event will provide the opportunity to invited participants from Japan and Europe to familiarize themselves with recent research interests and consider collaboration prospects that will arise in the context of the Horizon Europe framework program or relevant initiatives from JST. The programme includes keynote talks from Takayuki Ito (Kyoto University), "An Agent that Facilitates Crowd Discussion", and from Fabio Martinelli (Research Director, CNR IIT) "Data usage control for data sovereignty".
For more information, see the workshop webpage.
Start-up companies in the areas of mathematics and computer science often are not bound to national borders. Especially in current times, where virtual meetings occur abundantly, this becomes even more emphasized: many start-up companies like to explore their possibilities abroad. When considering other countries, they often face several challenges. Such challenges usually concern getting to know local customers, actors, practices, or laws; or the need for local (low-budget) office space and funds.
Partners in ERCIM like to offer help for start-ups, especially those related to mathematics and informatics (ICT), to expand their businesses in other countries than their own. Several ERCIM partners thus like to cooperate with each other, in order to help out start-ups for this matter. The participating ERCIM institutes may differ in the kind of support they offer, and in whether they provide support themselves or refer start-ups to the appropriate help somewhere else.
For more information, see https://www.ercim.eu/start-up-support
Apply now for the next round.
Deadline extended: 3 October
The ERCIM fellowship scheme helps young scientists to improve their knowledge of European research structures and networks and to gain more insight into the working conditions of leading European research institutions. The fellowships are of one year duration (with a possible extension), spent in one of the ERCIM member institutes. Fellows can apply for a second year in a different institute.
FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical Systems, is holding it's annual conference as part of the QONFEST series. The actual conference dates will be announced on the webpage. Most likely, it will be 2-3 days within the QONFEST week (August 23-27, 2021). FMICS is the key conference in the intersection of industrial applications and Formal Methods.
The French government appointed Philippe Baptiste as President of the French space agency CNES. Born in 1972, Philippe Baptiste holds a PhD from the University of Technology of Compiègne (UTC) and is a graduate in civil engineering from the Ecole des Mines engineering school in Nancy. He also holds an MSc from the University of Strathclyde, Glasgow, a DEA postgraduate diploma from Sorbonne University and is an accredited research director. Philippe Baptiste won the ERCIM Cor Baayen Award in 2000.
Image source: CNES.
https://www.ercim.eu/human-capital/cor-baayen-award
https://presse.cnes.fr/en/philippe-baptiste-appointed-cnes-president
ERCIM and JST (Japan Science and Technology Agency) are organizing the first joint Symposium on Big Data and Artificial Intelligence on 18-19 February 2021. The online symposium aims to present recent results of research conducted in the context of the JST Crest programme as well as relevant research results from European institutions. The meeting will provide the opportunity to participants from Japan and Europe to familiarize themselves with recent research results and consider collaboration prospects that will arise in the context of the Horizon Europe framework programme or relevant initiatives from JST.
Participation is free but limited, registration is required. For more information and registration form is available on the Symposium web page