BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2022/newsitem/13707/30
 -June---2-July-2022-Days-in-Logic-2022-Faro-Portug
 al-Virtual
DTSTAMP:20220523T144706
SUMMARY:Days in Logic 2022, Faro (Portugal) & Virt
 ual
DTSTART;VALUE=DATE:20220630
DTEND;VALUE=DATE:20220702
LOCATION:Faro (Portugal) & Virtual
DESCRIPTION:The 10th edition of Days in Logic will
  be a hybrid event taking place at the University 
 of Algarve, Faro, but allowing for remote particip
 ation. This biennial meeting aims at bringing toge
 ther logicians, mathematicians, computer scientist
 s and other scientists from Portugal (but also els
 ewhere) with interest in Logic. It is specially di
 rected to graduate students.  The programme consis
 ts of three tutorials by invited speakers and cont
 ributed talks. Arrangements for virtual participat
 ion will be made, but we encourage in-person parti
 cipation when possible. Tutorials: "Weihrauch Comp
 lexity" by Vasco Brattka (Universität der Bundeswe
 hr München), "(Boolean) Satisfiability and its App
 lications" by Mikoláš Janota (Czech Technical Univ
 ersity in Prague), and "Univalent Combinatorics" b
 y Egbert Rijke (University of Ljubljana).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The 10th editi
 on of Days in Logic will be a hybrid event taking 
 place at the University of Algarve, Faro, but allo
 wing for remote participation. This biennial meeti
 ng aims at bringing together logicians, mathematic
 ians, computer scientists and other scientists fro
 m Portugal (but also elsewhere) with interest in L
 ogic. It is specially directed to graduate student
 s.</p>\n  <p>The programme consists of three tutor
 ials by invited speakers and contributed talks. Ar
 rangements for virtual participation will be made,
  but we encourage in-person participation when pos
 sible. Tutorials: &quot;Weihrauch Complexity&quot;
  by Vasco Brattka (Universität der Bundeswehr Münc
 hen), &quot;(Boolean) Satisfiability and its Appli
 cations&quot; by Mikoláš Janota (Czech Technical U
 niversity in Prague), and &quot;Univalent Combinat
 orics&quot; by Egbert Rijke (University of Ljublja
 na).</p>\n
URL:https://daysinlogic2022.ualg.pt/
END:VEVENT
END:VCALENDAR