[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PARTICIPATION
DAYS IN LOGIC 2022
University of Algarve, Faro, 30 June - 2 July 2022
https://urldefense.com/v3/__https://daysinlogic2022.ualg.pt/__;!!IBzWLUs!TZqyY-rYKZSM__NhmHr5rxEsTt4A0Dv1p-1tVKYibEdTf7fKYsgtU-ArDWh2L4wSlsM-Ky2Sfcb3X41Xd-L465fokgfZjJk$
<https://urldefense.com/v3/__https://daysinlogic2022.ualg.pt/__;!!IBzWLUs!TZqyY-rYKZSM__NhmHr5rxEsTt4A0Dv1p-1tVKYibEdTf7fKYsgtU-ArDWh2L4wSlsM-Ky2Sfcb3X41Xd-L465fokgfZjJk$
>
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)
* "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://urldefense.com/v3/__https://daysinlogic2022.ualg.pt/registration/__;!!IBzWLUs!TZqyY-rYKZSM__NhmHr5rxEsTt4A0Dv1p-1tVKYibEdTf7fKYsgtU-ArDWh2L4wSlsM-Ky2Sfcb3X41Xd-L465fo4nu4Zbc$
ORGANIZING COMMITTEE
Daniel Graça (Universidade do Algarve), [email protected]
<mailto:[email protected]>
Gilda Ferreira (Universidade Aberta), [email protected]
<mailto:[email protected]>
José Espírito Santo (Universidade do Minho), [email protected]
<mailto:[email protected]>
MORE INFORMATION
For details about registration, venue, accomodation, and the programme,
please consult:
https://urldefense.com/v3/__https://daysinlogic2022.ualg.pt/__;!!IBzWLUs!TZqyY-rYKZSM__NhmHr5rxEsTt4A0Dv1p-1tVKYibEdTf7fKYsgtU-ArDWh2L4wSlsM-Ky2Sfcb3X41Xd-L465fokgfZjJk$
<https://urldefense.com/v3/__https://daysinlogic2022.ualg.pt/__;!!IBzWLUs!TZqyY-rYKZSM__NhmHr5rxEsTt4A0Dv1p-1tVKYibEdTf7fKYsgtU-ArDWh2L4wSlsM-Ky2Sfcb3X41Xd-L465fokgfZjJk$
>
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
