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]

Report on the third SYSMICS workshop

June 20, 2018 Luca Spada 0

The third workshop within the project SYSMICS was held in Cagliari at the Department of Pedagogy, Psychology and Philosophy  from the 11th to the 13th of June 2018. The workshop involved 60 participants, coming from both external and partner universities. A call for abstracts with deadline 15th April 2018 was [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: http://events.illc.uva.nl/SYSMICS2019/

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: http://math.chapman.edu/~jipsen/sysmics/workshop4.html

Report on the second SYSMICS workshop

April 3, 2018 Luca Spada 0

The second workshop within the project SYSMICS was held in Vienna at the Faculty of Mathematics, University of Vienna, from the 26th to the 28th of February 2018. The workshop involved 56 participants, coming from both external and partner universities. A call for abstracts with deadline 15th December 2017 was [read more]

Third SYSMICS workshop

November 6, 2017 Luca Spada 0

The third SYSMICS workshop ” AsubL (Algebra & Substructural Logics)” will take place in Cagliari  on June 11th – 13th 2018. Website of the worskshop

Second SYSMICS workshop

November 6, 2017 Luca Spada 0

The second SYSMICS workshop “Substructural logics: semantics, proof theory, and applications” will take place in Vienna 26–28 February 2018. Webpage of the workshop

Report of the First Workshop

September 14, 2017 Luca Spada 0

The first workshop within the project SYSMICS was held at the campus of the University of Salerno (Italy) from the 5th to the 8th of September 2017. The workshop involved 26 researchers, both coming form external and partner universities. The scientific programme of the workshop focused on the interactions between [read more]

Mid-term meeting

September 13, 2017 Luca Spada 0

On the 4th and 5th of September the University of Salerno hosted the mid-term meeting of the project.  The discussions were very fruitful and the overall impression it that the project is well on track both with the scientific mission and with the performed secondments. Documents of the workshop: Mid-term [read more]