May 7, 2019 Sara Lapenta 0

Below you can find instruction on keeping records. It is an extract of an email send by the Research Executive Agency (REA)  to remind to all beneficiaries the best practises for record keeping. INTRODUCTION Along the lifetime of the project, MSCA RISE BENEFICIARIES must keep appropriate and sufficient evidence to support [read more]

Report on SYSMICS’s closing conference

February 10, 2019 Sara Lapenta 0

The international conference Syntax Meets Semantics (SYSMICS 2019) was held in Amsterdam, The Netherlands on January 21-25, 2019, hosted by the Institute for Logic, Language and Computation of the University of Amsterdam. This conference was the last of SYSMICS’s planned meetings. There were over 70 participants of the conference coming form external and [read more]

Report on the final SYSMICS workshop

September 27, 2018 Sara Lapenta 0

The fourth workshop within the SYSMICS Project was held at Chapman University (California, USA) from the 14th to the 17th of September 2018. The workshop involved 25 researchers, both coming form external and partner universities. The scienti c program of the workshop focused on dualities between algebraic, logical and semantic categories, especially from the [read more]

Report on the Second SYSMICS school

September 6, 2018 Sara Lapenta 0

The second SYSMICS school was organized by the Logic Group of the Mathematical Institute of the University of Bern at Hotel Les Sources in Les Diablerets, Switzerland, 22-26 August 2018. The school preceded two conferences relevant to the SYSMICS project, taking place in Bern 27{31 August 2018, namely Advances in Modal Logic [read more]

SYSMICS closing conference

June 6, 2018 Sara Lapenta 0

The final meeting within the SYSMICS project has been announced! The closing conference will take place in Amsterdam (The Netherlands) from the 21st to the 25th of January 2019. The conference has its own webpage that can be fund at:

Fourth SYSMICS workshop

June 5, 2018 Sara Lapenta 0

The fourth SYSMICS workshop “Duality in Algebra and Logic” will take place in Orange (California)  from September 14th to Semptember 17th 2018. Website of the event:

Report on the First SYSMICS school

August 6, 2017 Sara Lapenta 0

The fi rst school of the SYSMICS project was organized jointly by the Institute of Computer Science of the Czech Academy of Sciences and by the Faculty of Science of the Palacky University in Olomouc as the summer school associated to the 8th biennial conference Topology, Algebra, and Categories in Logic – TACL 2017 [read more]

One year of SYSMICS

June 15, 2017 Sara Lapenta 0

On February 28th, the first year of our project has ended. During this period, 35 researchers have been seconded, for a total of 29 research visits involving all but one of the countries represented in the project. The researchers have worked on topics that cover every WP, obtaining a cohesive scientific [read more]

First SYSMICS school (Olomouc, June 2017)

January 19, 2017 Sara Lapenta 0

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 [read more]