[TYPES/announce] Days in Logic 2022 - Call for participation

[José Carlos Espírito Santo]

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), dgraca at ualg.pt 
<mailto:dgraca at ualg.pt>
Gilda Ferreira (Universidade Aberta), gmferreira at fc.ul.pt 
<mailto:gmferreira at fc.ul.pt>
José Espírito Santo (Universidade do Minho), jes at math.uminho.pt 
<mailto:jes at math.uminho.pt>

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220522/6b85f0e4/attachment-0001.htm>