Venue: University of Johannesburg
Dates: 24 - 25 January 2017
We are pleased to announce a workshop will be on Mathematical Logic, broadly conceived, to be held at the University of Johannesburg from 24 to 25 January, 2017. The workshop will accommodate all areas of logic including classical model theory, non-classical logics and their proof theory, their relational, algebraic and topological semantics, description logics and applications of logic. Contributions with relevance for logic from neighbouring areas like universal algebra, category theory and topology are also warmly welcomed.
Peter Jipsen, Chapman University, USA
Andrew Moshier, Chapman University, USA
If you would like to contribute a talk, please send short abstract to ujlogicworkshop@gmail.com by 18 January 2017.
Willem Conradie (UJ)
Andrew Craig (UJ)
Cecelia le Roux (UJ)
email: ujlogicworkshop@gmail.com
website: https://sites.google.com/view/ujlogicworkshop/home