Embedded Files
Once again we will be hosting a workshop on logic at the University of Johannesburg at the end of January.
The 2020 edition will have a slightly different format: the first day will consist of a full day's tutorials on Proof Theory and the second day will have contributed talks. The tutorial on Proof Theory will be given by:
- Sabine Frittella (Laboratoire d’Informatique Fondamentale d’Orléans, France)
- Giuseppe Greco (Universiteit Utrecht, The Netherlands)
- Alessandra Palmigiano (Vrije Universiteit Amsterdam, The Netherlands and UJ Visiting Professor)
- Apostolos Tzimoulis (Vrije Universiteit Amsterdam, The Netherlands)
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 very welcome.
There is no registration fee for the workshop. The activities will run from approximately 09h00 to 17h00 each day. Lunch, as well as morning and afternoon coffee breaks, will be provided.
Interested participants should please email Andrew Craig (acraig{at}uj.ac.za) to indicate that they would like to attend and also whether or not they intend to contribute a talk on the second day. Deadline for abstracts of contributed talks: 17 January 2020.
Dates: Monday 27 - Tuesday 28 January 2020
Programme: 2020 programme and abstracts
Directions to venue: directions to C-LES 307
Slides:
Monday tutorial:
Multi type display calculi - Giuseppe Greco
Soundness and Completeness - Sabine Frittella
Tuesday contributed talks:
Approximating trees as coloured linear orders - Ruaan Kellerman
A Lauchli-Leonard Style Result for Complete Linear Orders - Jean-Pierre de Villiers
Vector spaces as Kripke frames - Giuseppe Greco
Incremented joins and the ordinal number system - Ineke van der Berg
Hybrid Deduction–Refutation Systems: proofs and refutations getting married - Valentin Goranko
Establishing the categorical structure of the syntax SOFiA by way of assemblers - Brandon Laing
Google Sites
Report abuse