The second SYSMICS school was organized by the Logic Group of the Mathematical Institute of the\u00a0University of Bern at Hotel Les Sources in Les Diablerets, Switzerland, 22-26 August 2018.<\/p>\n
The school\u00a0preceded two conferences relevant to the SYSMICS project, taking place in Bern 27{31 August 2018, The Programme Committee for the school consisted\u00a0of Nick Bezhanishvili (University of Amsterdam, co-chair), Agata Ciabattoni (Vienna University of Technology), Denisa Diaconescu (University of Bucharest), George Metcalfe (University of Bern, co-chair),\u00a0and Luca Spada (University of Salerno).<\/p>\n There were 27 participants at the school, including 6 invited speakers. SYSMICS funds were used to The programme consisted of three four hour tutorials 2) David Pym (University College London) 3)\u00a0\u00a0Alexandra Silva (University College London) and three one hour evening lectures<\/p>\n 1) Johan van Benthem (University of Amsterdam) 2) Laura Kovacs (Vienna University of Technology) 3) Fred Wehrung (University of Caen) Further details and course materials are available on the school website: The second SYSMICS school was organized by the Logic Group of the Mathematical Institute of the\u00a0University of Bern at Hotel Les Sources in Les Diablerets, Switzerland, 22-26 August 2018. The school\u00a0preceded two conferences relevant to the SYSMICS project, taking place in Bern 27{31 August 2018, namely Advances in Modal Logic [read more]<\/a><\/p>\n<\/div>","protected":false},"author":2,"featured_media":781,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[11,10],"tags":[39,38,36,35,31,37],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts\/952"}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/comments?post=952"}],"version-history":[{"count":2,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts\/952\/revisions"}],"predecessor-version":[{"id":957,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts\/952\/revisions\/957"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/media\/781"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/media?parent=952"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/categories?post=952"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/tags?post=952"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nnamely Advances in Modal Logic 2018 (http:\/\/www.aiml2018.unibe.ch\/<\/a>) and Logic, Algebra and Truth
\nDegrees 2018 (http:\/\/www.latd2018.unibe.ch\/<\/a>).<\/p>\n
\ncover travel expenses and full board accommodation for the invited speakers, coffee breaks, and full board
\naccommodation for a further 9 participants.<\/p>\n
\n1) Peter Jipsen (Chapman University)
\nResiduated Frames for Substructural Logics<\/p>\n
\nLogic as a Modelling Technology: Separation and its Uses<\/p>\n
\nKleene Algebra With Tests and Applications to Network Programming;<\/p>\n
\nLogic in Games<\/p>\n
\nFirst-Order Interpolation in the Grey Area of Proofs<\/p>\n
\nSpectrum Problems for Structures Arising from Lattices and Rings.<\/p>\n
\nhttps:\/\/mathsites.unibe.ch\/sysmics\/<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"