The first school within the SYSMICS project has been announced. It will be linked to the fifth instalment of the successful conference TACL (Topology, Algebra and Categories in Logic) and it will take place in Olomouc (Czech Republic) from the 20th to the 24th of June 2017.
Conference and school have their own webpage that can be fund at: http://www.cs.cas.cz/tacl2017/
Leave a Reply