The ERCIM spring meetings are held as a hybrid meeting hosted by the Fraunhofer ICT Group in Berlin and online. For both onsite and online participation on 24 and 25 May 2022, registration is mandatory.
Read more
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.
Read more
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.
Read more
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.
Read more
