The fi\frst school of the SYSMICS project was organized jointly by the Institute of\u00a0Computer Science of the Czech Academy of Sciences and by the Faculty of Science of\u00a0the Palacky University in Olomouc as the summer school associated to the 8th biennial\u00a0conference Topology, Algebra, and Categories in Logic – TACL 2017 (Prague, 26-30 June\u00a02017). The school itself took place in Olomouc, in the main building of the Faculty of\u00a0Science, from Tuesday 20 June to Saturday 24 June 2017.<\/p>\n
There were 53 participants, including the lecturers.\u00a0The programme consisted of the following tutorials on topology, algebra, categories,\u00a0and logic:<\/p>\n
1) Steve Vickers (University of Birmingham):
\nComing together to make Grothendieck’s generalized topology.<\/p>\n
2) Martin Goldstern (Vienna University of Technology):
\nClones.<\/p>\n
3) Jiri Velebil (Czech Technical University in Prague):
\nBeck’s monadicity theorem: A categorical approach to universal algebra.<\/p>\n
4) Tommaso Moraschini (Institute of Computer Science, Czech Academy of Sciences):
\nAn introduction to abstract algebraic logic.<\/p>\n
Each tutorial had four 90 minute lectures divided into two days. Besides, a special\u00a0lecture was delivered by Pavel Pudlak (Mathematical Institute, Czech Academy of Sciences), titles “Proof complexity and games”.<\/p>\n
All the lectures are available online.<\/p>\n
The members of the Organizing Committee were Radomir Halas (chair), Martin\u00a0Brousek, Petr Cintula, Jan Kuhr, Ondrej Majer, Igor Sedlar, and Amanda Vidal. The\u00a0local organizers were Radomir Halas (chair), Martin Brousek, and Jan Kuhr.<\/p>\n","protected":false},"excerpt":{"rendered":"
The fi\frst school of the SYSMICS project was organized jointly by the Institute of\u00a0Computer Science of the Czech Academy of Sciences and by the Faculty of Science of\u00a0the Palacky University in Olomouc as the summer school associated to the 8th biennial\u00a0conference Topology, Algebra, and Categories in Logic – TACL 2017 [read more]<\/a><\/p>\n<\/div>","protected":false},"author":2,"featured_media":578,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[11,10],"tags":[41,42,36,35,31,40],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts\/955"}],"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=955"}],"version-history":[{"count":1,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts\/955\/revisions"}],"predecessor-version":[{"id":956,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/posts\/955\/revisions\/956"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/media\/578"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/media?parent=955"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/categories?post=955"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/tags?post=955"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}