Bom dia, colegas, Como corrigido pela Sandra, o prazo para submissões é 29 de maio.
Abraços, On Mon, May 9, 2022 at 1:01 PM Joao Marcos <[email protected]> wrote: > ---------- Forwarded message --------- > > ----------------------------------------------------------------------------------------- > Are you a woman working in logic? > Please join us on July 31 at WiL, give a talk, and enjoy a day with > Women in Logic! > > Please submit an abstract of 1-2 pages by May 10, 2022, via EasyChair. > This will help us provide an interesting program, with only a light-weight > selection procedure. More information below: > > ----------------------------------------------------------------------------------------- > Call for Contributions > > WiL 2022: 6th Women in Logic Workshop > July 31, 2022 > part of FLoC 2022 > > https://sites.google.com/g.uporto.pt/wil2022 > > ----------------------------------------------------------------------------------------- > Women in Logic 2022 is a satellite event of the 8th Federated Logic > Conference > (FLoC 2022) to be held in Haifa, Israel, from July 31 to August 12, 2022. > > The Women in Logic workshop (WiL) provides an opportunity to increase > awareness of the valuable contributions made by women in the area of > logic in computer science. Its main purpose is to promote the excellent > research done by women, with the ultimate goal of increasing their > visibility and representation in the community. Our aim is to: > > - provide a platform for female researchers to share their work and > achievements; > - increase the feelings of community and belonging, especially among > junior faculty, post-docs and students through positive interactions > with peers and more established faculty; > - establish new connections and collaborations; > - foster a welcoming culture of mutual support and growth within the > logic research community. > We believe these aspects will benefit women working in logic and computer > science, particularly early-career researchers. > > Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018, > Vancouver 2019, Paris 2020, and Rome 2021) were very successful > in showcasing women's work and as catalysts for a recognition > of the need for change in the community. > > Topics of interest include but are not limited to: automata > theory, automated deduction, categorical models and logics, > concurrency and distributed computation, constraint programming, > constructive mathematics, database theory, decision procedures, > description logics, domain theory, finite model theory, formal aspects > of program analysis, formal methods, foundations of computability, > games and logic, higher-order logic, lambda and combinatory calculi, > linear logic, logic in artificial intelligence, logic programming, > logical aspects of bioinformatics, logical aspects of computational > complexity, logical aspects of quantum computation, logical > frameworks, logics of programs, modal and temporal logics, model > checking, probabilistic systems, process calculi, programming language > semantics, proof theory, real-time systems, reasoning about security > and privacy, rewriting, type systems and type theory, and > verification. > > INVITED SPEAKERS > * Philippa Gardner (Imperial College London) > * Delia Kesner (IRIF - Université de Paris) > > IMPORTANT DATES > Abstract submission deadline: May 29, 2022 > Notification: June 17, 2022 > Contribution for Informal Proceedings: June 29, 2022 > Workshop: July 31, 2022 > > SUBMISSIONS > Abstracts should be written in English (1-2 pages), and prepared > using the Easychair style (https://easychair.org/publications/for_authors > ). > > The abstracts should be uploaded to the WiL 2022 Easychair page > as a PDF file (https://easychair.org/conferences/?conf=wil2022) > before the submission deadline on May 10, 2022, anywhere on Earth. > > ORGANIZING AND PROGRAM COMMITTEE > * Maria Aloni (University of Amsterdam) > * Sandra Alves (Co-chair, University of Porto) > * Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de > México) > * Amy Felty (University of Ottawa) > * Sandra Kiefer (Co-chair, Max Planck Institute for Software Systems) > * Daniele Nantes (Co-chair, University of Brasília) > * Valeria de Paiva (Topos Institute) > * Elaine Pimentel (University College London) > * Simona Ronchi Della Rocca (Università di Torino) > * Renate A. Schmidt (University of Manchester) > * Ana Sokolova (University of Salzburg) > * Femke Van Raamsdonk (University of Amsterdam) > * Rineke Verbrugge (University of Groningen) > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgYg0wX3Tw617QEcAgFM9mgriQsTYDe%3DEsdgc%3DFsA6%3D9Q%40mail.gmail.com > . > -- 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 <[email protected]> --- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXZYakdqcr3b2c6zjkNvf43PZAed5KEoKm2%2Bm8%2BuTvnVQ%40mail.gmail.com.
