Dear All, NEW! There is a slight adjustment of schedule due to two unfortunate talk cancellations (https://wollic2022.github.io/day4.pdf <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwollic2022.github.io%2Fday4.pdf&data=05%7C01%7Ce.pimentel%40ucl.ac.uk%7C3dcf5a110e4c4b5d5cef08da9d1bb64d%7C1faf88fea9984c5b93c9210a11d9a5c2%7C0%7C0%7C637995039886934902%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000%7C%7C%7C&sdata=8TGKv3JBAam7a9tImsa8j4U5KVG2GZDXkUf%2Fr5UBkLM%3D&reserved=0> ).
Please find below information on how to connect for Day 3. We start at 9am local time, so make sure you join a few minutes earlier. Please ask questions in the Chat window during the Q&A questions and the chair will read them out loud. In case of any issues, please email me. Best, Stefan Topic: WoLLIC / FROM - Sept.23 Time: Sep 23, 2022 08:30 AM Bucharest Join Zoom Meeting https://us02web.zoom.us/j/83106530423?pwd=Q0Rsa0RRdlI5dlhLL1UyMG42Y1pXZz09 <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fus02web.zoom.us%2Fj%2F83106530423%3Fpwd%3DQ0Rsa0RRdlI5dlhLL1UyMG42Y1pXZz09&data=05%7C01%7Ce.pimentel%40ucl.ac.uk%7C3dcf5a110e4c4b5d5cef08da9d1bb64d%7C1faf88fea9984c5b93c9210a11d9a5c2%7C0%7C0%7C637995039886934902%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000%7C%7C%7C&sdata=pPB2Iwb1466Q%2FwrwDgU7PnGPJFKlMLTk34eljr%2BhTlU%3D&reserved=0> Meeting ID: 831 0653 0423 Passcode: 825612 One tap mobile +13017158592,,83106530423#,,,,*825612# US (Washington DC) +13092053325,,83106530423#,,,,*825612# US Dial by your location +1 301 715 8592 US (Washington DC) +1 309 205 3325 US +1 312 626 6799 US (Chicago) +1 346 248 7799 US (Houston) +1 386 347 5053 US +1 564 217 2000 US +1 646 931 3860 US +1 669 444 9171 US +1 669 900 6833 US (San Jose) +1 719 359 4580 US +1 929 205 6099 US (New York) +1 253 215 8782 US (Tacoma) Meeting ID: 831 0653 0423 Passcode: 825612 Find your local number: https://us02web.zoom.us/u/kczjZ3a4pu <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fus02web.zoom.us%2Fu%2FkczjZ3a4pu&data=05%7C01%7Ce.pimentel%40ucl.ac.uk%7C3dcf5a110e4c4b5d5cef08da9d1bb64d%7C1faf88fea9984c5b93c9210a11d9a5c2%7C0%7C0%7C637995039886934902%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000%7C%7C%7C&sdata=fReXwU1U%2BGSw0PtPeAwcaV73A2ILAGoiLvxnSXO9xA8%3D&reserved=0> -- Elaine. ----------------------------------- Elaine Pimentel Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science University College London https://sites.google.com/site/elainepimentel/ ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVwSH_bqZWtAorCMB4aUJwYF0vSF%2By-Ro2F2ajqUdTSbw%40mail.gmail.com.
