30 Jun - 2 Jul 2022
DAYS IN LOGIC 2022 University of Algarve, Faro, 30 June - 2 July 2022 https://daysinlogic2022.ualg.pt/ 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 BY INVITED SPEAKERS: "Weihrauch Complexity", by Vasco Brattka (Universität der Bundeswehr München) "(Boolean) Satisfiability and its Applications", by Mikoláš Janota (Czech Technical University in Prague) "Univalent Combinatorics", by Egbert Rijke (University of Ljubljana) REGISTRATION Registration is free, but required. Please register on the following link: https://daysinlogic2022.ualg.pt/registration/ ORGANIZING COMMITTEE Daniel Graça (Universidade do Algarve), dgraca@ualg.pt Gilda Ferreira (Universidade Aberta), gmferreira@fc.ul.pt José Espírito Santo (Universidade do Minho), jes@math.uminho.pt MORE INFORMATION For details about registration, venue, accomodation, and the programme, please consult: https://daysinlogic2022.ualg.pt/ ACKNOWLEDGEMENTS Days in Logic 2022 is supported by the FCT funded research units IT - Instituto de Telecomunicações CMAFcIO - Universidade de Lisboa CMAT - Universidade do Minho -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam