Recent years have witnessed the emergence of powerful semantic tools for non-classical logics. These semantic methods draw from web of mathematical formalisms at the intersection of ordered and universal algebra, topology, and category theory, and together provide a flexible and unifying framework for the study of logic across a host of domains. This research school serves as a broad introduction to this dynamic and quickly growing area of modern mathematical research, and places particular emphasis on this area's deep interactions with and applications to computer science.

The school is sponsored by Centre International de Mathématiques Pures et Appliquées, The University Capacity Development Programmes National Collaborative Project: Strengthening Academic Staff Development in Mathematical and Statistical Sciences in South Africa, the NITheCS project Space-Like Mathematical Structures and Related Topics in Algebra, Logic and Computation and the European Union MOSAIC project, and will focus on these themes and will feature six interactive courses directed at graduate students and other early-career researchers from African nations. Each course will be taught by a top expert in the field, and feature guided work led by these world-renowned researchers.

The activities of the school will be held on the campus of the University of Johannesburg, and the program will feature open discussion time, panel presentations, and an excursion in addition to the courses.

Scientific committee

• Alessandra Palmigiano (Vrije Universiteit Amsterdam, The Netherlands)

• Anneliese Schauerte (University of Cape Town, South Africa)

• Peter Jipsen (Chapman University, USA)

• Themba Dube (University of South Africa, South Africa)

• Zurab Janelidze (Stellenbosch University, South Africa)

• Marta Bilkova (Institute of Computer Science, Czech Republic)

• Amartya Goswami (University of Johannesburg, South Africa)

Courses and Speakers

• Introduction to Regular Languages, Amina Doumane (ENS Lyon, France)

• Automated Deduction and Algebra, Michael Kinyon (University of Denver, USA)

• Adjoint Functors, Zurab Janelidze (Stellenbosch University, South Africa)

• Duality between Lattices and Topological Spaces and its Application to Mathematical Logic , Jamie Wannenburg (WITS)

• Universal Algebra for Algebraic Logic, Peter Jipsen (Chapman University, USA)

• Logic: (non) Classical Models of Reasoning, Marta Bilkova (Institute of Computer Science, Czech Republic)

Let us know if you'll be attending