Dates: 2 – 12 January 2023

Recent years have witnessed the emergence of powerful semantic tools for non-classical logics. These semantic methods draw from a 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 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.

For more information and registration, please visit https://sites.google.com/view/cimpaliact

January 2, 2023 January 12, 2023

Latest News

| View All News
...

Silver medal for UJ in 2023 FNB Varsity Netball tournament


The 2023 FNB Varsity Netball tournament ended in fierce contest

...

UJ hosts 2023 MTN Media Innovation Summit: exploring SA media…


The University of Johannesburg’s (UJ) School of Communication in collaboration with the Johannesburg

...

Addressing the global challenge of mycotoxins: Prof. Patrick Njobeh’s inaugural…


“There is substantial evidence indicating that mycotoxins are a global

...

Transforming engineering education: unlocking potential through technology and active learning


The inauguration of Professor Suné von Solms centred around the

...

UJ women researchers honoured at HER-SA HEWL and SAWiSA awards


UJ Research and Innovation congratulates the UJ finalists and winners