Topology, Algebra, and Categories in Logic 2017

This is the eight conference in the series Topology, Algebra and Categories in Logic, organized by the Department of Logic of the Faculty of Arts, and the Institute of Computer Science of the Czech Academy of Sciences. Earlier installments of this conference have been organized in Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013) and Ischia (2015).


Studying logic via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: algebraic, categorical, and topological methods.


More info, including the Call for Papers, can be found on the website: http://www.cs.cas.cz/tacl2017/.


Event start 26 June 2017 at 9:00
Event end 30 June 2017 at 18:00
Type of event Conference
Organiser Department of Logic of the Faculty of Arts; Institute of Computer Science of the Czech Academy of Sciences
Event website www.cs.cas.cz/tacl2017/
Venue Main building of the Faculty of Arts, nám. Jana Palacha 2, Prague
Target group Academic community


Text size A A A

Top
Tisk

© 2012 Charles University
Copyright protection
Contact

EDITORIAL OFFICE
E-mail: forum@cuni.cz
Phone.: 224 491 394
Ovocný trh 3-5, 116 36 Praha 1


ISSN 1214-5726     All content © 2012. See our Copyright Protection