30 June - 2 July 2022, Days in Logic 2022, Faro (Portugal) & Virtual

The 10th edition of Days in Logic will be a hybrid event taking place at the University of Algarve, Faro, but allowing for remote participation. This biennial meeting aims at bringing together logicians, mathematicians, computer scientists and other scientists from Portugal (but also elsewhere) with interest in Logic. It is specially directed to graduate students.

The programme consists of three tutorials by invited speakers and contributed talks. Arrangements for virtual participation will be made, but we encourage in-person participation when possible. Tutorials: "Weihrauch Complexity" by Vasco Brattka (Universität der Bundeswehr München), "(Boolean) Satisfiability and its Applications" by Mikoláš Janota (Czech Technical University in Prague), and "Univalent Combinatorics" by Egbert Rijke (University of Ljubljana).