Workshop on Logic and its Applications 2018

Venue: University of Johannesburg

Dates: 29 - 30 January 2018

We are pleased to announce a workshop will be on Mathematical Logic, broadly conceived, to be held at the University of Johannesburg from 29 to 30 January, 2018. 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.

PROGRAMME

UJ Logic Workshop 2018 programme

INVITED SPEAKERS

TBA

CONTRIBUTED TALKS

If you would like to contribute a talk, please send short abstract to ujlogicworkshop@gmail.com by 25 January 2018.

ORGANIZERS

Willem Conradie

Andrew Craig

Claudette Robinson

CONTACT INFORMATION

email: ujlogicworkshop@gmail.com

website: https://sites.google.com/view/ujlogicworkshop/home