Re: [Logica-l] Women in Logic: repetindo informacoes

[josé carlos cifuentes]

Gente, eu sou um daqueles que não sabia de todas essas plataformas.
Obrigado pela informação.



Livre
de vírus. www.avast.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

Em sáb., 13 de jun. de 2020 às 01:26, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> Gente,
> parece que algumas pessoas nao sabem de algumas das iniciativas que nos
> temos tomado pra aumentar a representatividade de mulheres na logica no
> Brasil.
>
> Nos temos uma planilha
> https://docs.google.com/spreadsheets/d/1wj8wtZ4bNJOe-sFYOeMgurmVhaUojwXbe7bzkBLXH9s/edit#gid=1
> onde gostariamos que todas as logicas se inscrevessem. Estudantes ou
> professoras, iniciantes ou nao, logicas mais matematicas, logicas mais
> filosoficas, logicas mais de computacao ou da linguistica. ou nao. A ideia
> dessa planilha 'e  ter um lugar onde organizadores de eventos possam buscar
> inspiracao, quando quiserem convidas palestrantes ou membros de comite de
> programas.
>
> Nos tambem temos um grupo no facebook chamado "Women in Logic" (com quase
> 500 membros) https://www.facebook.com/groups/WomenInLogic e um blog tb
> chamado "Women in Logic"
> https://womeninlogic.blogspot.com/2020/04/logic-and-biology-last-years-women-in.html,
> alem de uma workshop internacional chamada (you've guessed!) "Women in
> Logic", cuja quarta edicao, virtual, acontece dia 30 de junho de 2020, como
> parte do Summer of LoVE in Paris,
> https://sites.google.com/g.uporto.pt/wil2020/home.
>
> Espero que voces todas (e todos) ja' soubessem dessas iniciativas e que eu
> esteja apenas repetindo informacoes antigas. se algo nao for claro e se
> quiserem mais informacoes e' so' contactar qq uma do nosso coletivo
> feminista.
>
> abracos logicos,
> Valeria
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
>
> --
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvTxELyE2350cu_k7thZuJB_n%3Doacj5JRA7%3DYveY3_UYA%40mail.gmail.com
> 
> .
>

-- 
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/CAEQwYASDq95B1thWmU_vjmneyGLJduFhBfuQT3ycsw_5iEnXQA%40mail.gmail.com.

Re: [Logica-l] Fwd: CfPart CiE 2020, Virtual, 29 Jun - 3 Jul 2020

[Anderson Beraldo de Araújo]

Estimado Claudio,

Fiz meu doutorado na intersecção entre teoria da computabilidade e teoria
da complexidade, sob orientação do Prof. Walter Carnielli. Na sequência
realizei um pós-doutoramento sobre complexidade computacional quântica, sob
supervisão do Prof. Marcelo Finger.  Depois de um longo hiato para
aprimorar minha formação matemática, estou de volta à pesquisa, e, como
sempre mantive o carinho pela computabilidade, gostaria de compartilhar
minha impressão sobre o questionamento que você levantou.

Concordo com sua posição de que a computabilidade clássica é, atualmente,
uma área com baixa demanda e produtividade. A variedade temática do CiE
expressa o fato de que ela passa por uma espécie de crise de identidade.
Existem muitas discussões sobre quais devem ser seus temas e problemas, seu
papel, onde situa-se - é matemática? Informática? Até mesmo o nome da área
é um tema controverso: certa vez o Friedman disse que, para que todos
ficassem felizes, ela deveria chamar-se teoria da incomputabilidade! Afora
possíveis questionamentos sobre como uma teoria matemática pode ser causa
de felicidade ou infelicidade para as pessoas - uma questão existencial por
natureza! -, penso que há uma componente ontológica e outra epistemológica
como origem dessa crise de identidade.

De um ponto de vista ontológico, falta unidade ontológica para a teoria da
computabilidade e, penso, equacioná-la com o estudo dos graus de
incomputabilidade piora o quadro. Ao longo dos anos os resultados da teoria
da computabilidade passaram a ter impacto pequeno na lógica matemática e
ela também, em grande medida, passou a integrar o que hoje chama-se de
teoria da computação, dentro da qual formulações complicadas sobre
incomputabilidade não parecem interessar. Acrescenta-se a isso que a teoria
da computabilidade clássica fragmentou-se. Hoje o lambda cálculo, por
exemplo, está mais para teoria dos tipos, teoria da prova e programação
funcional do que como uma abordagem da computabilidade clássica. Já estudos
sobre máquinas de Turing enquadram-se melhor na teoria dos automatos e como
fundamento para o desenvolvimento da complexidade computacional. Existem
programas de pesquisa em computabilidade estrutural (Montalbán e outros) e
computabilidade analógica (Brattka e outros) que apresentam respostas
sofisticadas para perguntas pontuais, sem uma perspectiva unificadora.

Há também o problema epistemológico de saber qual é o papel da teoria da
computabilidade. Como bem observou o Rodrigo, a teoria dos conjuntos, a
despeito dos altos e baixos, sempre preservou seu papel fundacional. É
debatível o quanto deve-se conhecer de teoria dos conjuntos para fazer
matemática - um espectro que vai desde apenas saber as operações
conjuntistas até dominar conceitos e métodos sobre cardinais inacessíveis
-, mas todo estudante, em algum momento da sua formação matemática,
defronta-se com uma prova que usa o lema de Zorn, uma prova da
não-enumerabilidade dos números reais, a perplexidade dos conjuntos de
Cantor, o teorema de Tychonoff e sua relação com o axioma da escolha, etc.
Já a teoria da computabilidade... O que conhecimentos sobre máquinas de
Turing, lambda cálculo, saltos, redutibilidade truth-table (vero-tabelar?),
método de prioridade tem haver com ser matemático? Por outro lado, na
informática não é raro que cursos sobre teoria da computação sejam
postergados para o final da formação, e, mesmo quando neles, os estudantes
entram em contato com muito pouco da teoria da computabilidade.
Convenhamos: Para quê preocupar-se com graus de incomputabilidade se a vida
tentando encontrar algoritmos, linguagens adequadas para a resolução dos
problemas, implementações que passem em todos os testes, etc, já é uma dor
de cabeça gigantesca?

Sim, temos uma tradição que passa por Turing, Godel, Church, Kleene, Post,
Julia Robinson, Dana Scott, entre tantos outros nomes bem conhecidos entre
os lógicos. Essa tradição precisa ser preservada. Aqui no Brasil, temos o
livro do Walter, em co-autoria com o Richard Epstein, sobre
computabilidade, o qual é muito usado mundo afora graças à sua clareza.
Tenho um livro recente do Matias Francisco Dias sobre o assunto também. Se
considerarmos que estudos lógicos da teoria da complexidade devem ser parte
da teoria da computabilidade - vale lembrar dos axiomas do Blum -, então
temos outras guerreiras e guerreiros no front. O Marcelo, em parceria com o
Glauber de Bona, tem trabalhos interessantes sobre complexidade e
probabilidade no contexto do problema da satisfatibilidade. Não se pode,
outrossim, deixar de lembrar do trabalho da Ana Teresa Martins e do
Francicleber Ferreira sobre complexidade descritiva. Creio que deve haver
mais pessoas próximas que tem trabalhado na área, e também espero, Claudio,
poder conhecê-las.

Apesar de muito ter escrito aqui, nada falei sobre o que talvez possa ter
sido sua motivação inicial, Claudio: Afinal, quais são exatamente os
problemas interessantes que estão em aberto na computabilidade? Ao esti

Re: [Logica-l] Women in Logic: repetindo informacoes

[Valeria de Paiva]

Obrigada Professor Cifuentes pela mensagem! bom saber que valeu pra pelo menos 
uma pessoa.

From: josé carlos cifuentes 
Date: Saturday, June 13, 2020 at 6:06 AM
To: Valeria de Paiva 
Cc: Lista de LOGICA 
Subject: Re: [Logica-l] Women in Logic: repetindo informacoes

Gente, eu sou um daqueles que não sabia de todas essas plataformas. Obrigado 
pela informação.


[https://ipmcdn.avast.com/images/icons/icon-envelope-tick-round-orange-animated-no-repeat-v1.gif]
Livre de vírus. 
www.avast.com.

Em sáb., 13 de jun. de 2020 às 01:26, Valeria de Paiva 
mailto:valeria.depa...@gmail.com>> escreveu:
Gente,
parece que algumas pessoas nao sabem de algumas das iniciativas que nos temos 
tomado pra aumentar a representatividade de mulheres na logica no Brasil.

Nos temos uma planilha 
https://docs.google.com/spreadsheets/d/1wj8wtZ4bNJOe-sFYOeMgurmVhaUojwXbe7bzkBLXH9s/edit#gid=1
onde gostariamos que todas as logicas se inscrevessem. Estudantes ou 
professoras, iniciantes ou nao, logicas mais matematicas, logicas mais 
filosoficas, logicas mais de computacao ou da linguistica. ou nao. A ideia 
dessa planilha 'e  ter um lugar onde organizadores de eventos possam buscar 
inspiracao, quando quiserem convidas palestrantes ou membros de comite de 
programas.

Nos tambem temos um grupo no facebook chamado "Women in Logic" (com quase 500 
membros) https://www.facebook.com/groups/WomenInLogic e um blog tb chamado 
"Women in Logic" 
https://womeninlogic.blogspot.com/2020/04/logic-and-biology-last-years-women-in.html,
 alem de uma workshop internacional chamada (you've guessed!) "Women in Logic", 
cuja quarta edicao, virtual, acontece dia 30 de junho de 2020, como parte do 
Summer of LoVE in Paris, https://sites.google.com/g.uporto.pt/wil2020/home.

Espero que voces todas (e todos) ja' soubessem dessas iniciativas e que eu 
esteja apenas repetindo informacoes antigas. se algo nao for claro e se 
quiserem mais informacoes e' so' contactar qq uma do nosso coletivo feminista.

abracos logicos,
Valeria

--
Valeria de Paiva
http://vcvpaiva.github.io/
http://www.cs.bham.ac.uk/~vdp/

--
Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvTxELyE2350cu_k7thZuJB_n%3Doacj5JRA7%3DYveY3_UYA%40mail.gmail.com.
--
Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYASDq95B1thWmU_vjmneyGLJduFhBfuQT3ycsw_5iEnXQA%40mail.gmail.com.

-- 
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/BYAPR07MB467846B6075FEC9D6871AC02F49E0%40BYAPR07MB4678.namprd07.prod.outlook.com.

[Logica-l] "logic for debate" vs "logic for argument"

[Joao Marcos]

The Struggle with Debating
And how different Japanese argument structure and logic is.
https://medium.com/@mattanzai/the-struggle-with-debating-4a695833a19b


JM

-- 
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/CAO6j_Li-cPdPYrN59phEith%2BQtbu53WtE91mP%3DR4hRQy23PT%2BA%40mail.gmail.com.

[Logica-l] IJCAR 2020 - Call for Participation

[Elaine Pimentel]

CALL FOR PARTICIPATION -- June 29 to July 6, 2020

10th International Joint Conference on Automated Reasoning (IJCAR)
 https://ijcar2020.org

  and

5th International Conference on Formal Structures for Computation
and Deduction (FSCD)
https://fscd2020.org

  and

17 affiliated workshops and events (list below)
===


All conferences and affiliated events will be virtualized.

Registration is **FREE** and required for all participants.

https://fscd-ijcar-2020.org/register

Due to the different virtualization modes, the organizers have decided
to split the registration among the conferences and the affiliated
workshops and events.



Invited Speakers


IJCAR-FSCD Joint Invited Speakers

- John Harrison, Amazon Web Services, USA
- René Thiemann, University of Innsbruck, Austria

FSCD Invited Speakers

- Andrew Pitts, University of Cambridge, UK
- Simona Ronchi della Rocca, Università di Torino, Italy
- Brigitte Pientka, McGill University, Canada

IJCAR Invited Speakers

- Clark Barrett, Stanford University, USA
- Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil
- Ruzica Piskac, Yale University, USA



Technical Program
-

The IJCAR and FSCD technical program consists of four days of technical
sessions. The final program will be announced shortly.

IJCAR accepted papers:
  http://membres-lig.imag.fr/peltier/IJCAR2020_accepted.html

FSCD accepted papers:
  https://fscd2020.org/accepted


Affiliated workshops and events
---

https://fscd-ijcar-2020.org/workshops

- Linearity & TLLA (Joint Workshop on Linearity and Trends in Linear
  Logic and Applications, June 29-30)
- UNIF (Workshop on Unification, June 29)
- WPTE (Workshop on Rewriting Techniques for Program Transformations and
  Evaluation, June 29)
- Proof Ground (June 29)
- LFMTP (Logical Frameworks and Meta-Languages: Theory and Practice,
  June 29)
- WiL (Women in Logic, June 30)
- IWC (International Workshop on Confluence, June 30)
- IFIP WG 1.6 (June 30)
- Isabelle Workshop (June 30)
- PAAR (Practical Aspects of Automated Reasoning, June 30)
- HoTT/UF (Homotopy Type Theory/Univalent Foundations, July 5-6)
- GeoCat (Geometric and Categorical Structures for Computation and
  Deduction, July 5-6)
- The Coq Workshop (July 5-6)
- SMT (Satisfiability Modulo Theories, July 5-6)
- TERMGRAPH (July 5)

- CASC-J10 (The CADE ATP Systems Competition)
  http://www.tptp.org/CASC/J10/
- Termination and Complexity Competition 2020
  http://www.termination-portal.org/wiki/Termination_Competition_2020


Virtualization Details
--

The conference will run in the CEST (UTC+2) timezone.

We will use the Zoom platform to host all the sessions of the
conferences and the affiliated workshops and events (where
applicable). We will have a mixture of live and pre-recorded talks,
but all talks will have a live Q&A.

Registered participants will be given invitations to the main events
before the start of the event.

We are also planning to have a (nonparticipatory) broadcast of the
conference sessions for the benefit of participants who are unable to
use Zoom.

Finally, we plan to make available recordings of the talks for a
certain period after the talks. (We will seek a written consent from
speakers for any such recordings.)

-- 
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%2BVTsLugrvNcES1Mq-GZJoOxvCWW6P3JM-8ccWnxj3d0jQ%40mail.gmail.com.

Re: [Logica-l] Inclusive Logic: o castelo anglófono

[Joao Marcos]

Oi, Marcos:

> gostaria de fazer mais, mas eu confesso minha sensaçao de impotencia diante
> destes desafios de inclusao e diversidade na lógica/matemática/filosofia.
> a  invisibilidade e o silenciamento me parecem especialmente crueis aqui.

Na pele de um preto, mesmo que, de certa forma, em situação de
privilégio, não é justo esperar que você _lidere_ este tipo de
iniciativa.  Um dos objetivos principais do *Day of Inclusive Logic*
(e outras atividades do #ShutDownSTEM, que foi voltado, nesta primeira
edição, especificamente ao movimento "Black Lives Matter", antes de
qualquer outro tipo de iniciativa de inclusão), foi fazer com que os
_mais privilegiados_ ---aqueles que se podem chamar NÃO-NEGROS, para
colocarmos a negatividade mais propriamente em outro assento---
_devem_ fazer para promover o *anti-racismo*, na Academia e na Vida.

Esta é a presente versão do manifesto redigido pelo Logic Supergroup
após o dia de discussões:
https://docs.google.com/document/d/1kXIa6aL6NqBKrpADyx_EdHL0YNLg2Z2qkawtia3gCbw/edit?usp=sharing
Comentários acerca do conteúdo ainda podem ser levados em consideração
se registrados até
Tuesday, June 16, 12:00 noon EDT.

Força, Joao Marcos

-- 
http://sequiturquodlibet.googlepages.com/

-- 
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/CAO6j_LgpnJNpMsAF2UL%2BeTGizYOapuF83w_qsF7AjSQ%3DNA2%3DKQ%40mail.gmail.com.

[Logica-l] Supergroup BLAST!

[Shay Logan]

Dear Cheerful Logicians and Friends of Logic,

Supergroup announcement time! This week Johannes Stern speaks in the
Foundational Studies Bristol series, Marcelo Finger speaks in the Lógicos
em Quarentena Series hosted by the Brazilian Logic Society, and Roy Cook
will speak in the Supergroup series. Details below.

Also important: the 24 hours of inclusive logic happened and was *awesome*.
Stay tuned as we process, update, edit, improve and continue the work begun
there!

Supergroup Talk:

*Speaker*: Roy T. Cook

*Title*: On the Expressive Completeness of Minecraft

*Time and Date*: Thursday June 18, 8pm GMT-5

*Link*: https://ksu.zoom.us/j/92850665099

*Password*: 038519

*Abstract*: Redstone is a system of components in the Minecraft video game
that allows players to build various virtual machines. If we merely
consider whether a redstone circuit is powered or not, then redstone
circuitry is both functionally complete with respect to classical
propositional functions (since it is easy to build, e.g., a NOR gate) and
Turing complete (in the slightly attenuated practical sense, often
mobilized in computer science discussions, that ignores the finitude of the
memory in any particular machine). Much has been made of this as a means to
teach basic propositional logic, and ambitious minecraft players have built
fully functional (finite memory) universal Turing machines within the game.
The Minecraft redstone circuitry system is, however, far more complex than
this. Circuits are not merely on or off, powered or unpowered. Instead, the
voltage running through a redstone circuit varies from level 0 (unpowered)
to level 15 (fully powered). Hence, redstone circuitry involves a
sixteen-valued logic. In this talk I will prove that the available redstone
components in Minecraft are functionally complete with respect to
sixteen-valued truth functions, and in fact are redundant - not all
available components are required for the proof. Along the way we will also
see some interesting examples of the kinds of computing machines that can
be built within Minecraft, including a sixteen-valued memory circuit.


Talks by Member Groups

*Foundational Studies Bristol*

*Speaker*: Johannes Stern (Bristol)

*Title*: Belief, Truth, and Ways of Believing

*Time and Date*: Tuesday, June 16, 9am GMT-5

*Link*: https://zoom.us/j/97580574018

*Abstract*: The notions of belief and truth frequently interact in
philosophical discourse but, surprisingly, a coherent semantics for such
discourse is still wanting. Indeed, a number of puzzles stand in way of a
satisfactory semantic account of the notion of truth in doxastic and
epistemic contexts. In this talk I will discuss these puzzles and then
sketch a semantic account that combines ideas from contextualist theories
of attitude reports and Awareness semantics for non-idealized belief.


*Lógicos em Quarentena* (Brazilian Logic Society)

*Speaker*: Marcelo Finger

*Title*: Logic and Numbers

*Time* and Date: Wednesday, June 17, 6pm GMT-5

*Link*: meet.google.com/het-yrdu-qsd

*Abstract*: We present a research program which investigates the
intersection of deductive reasoning with explicit quantitative
capabilities. These capabilities encompass probabilistic reasoning,
counting and counting quantifiers, and similar systems. The need to have a
combined reasoning system that enables a unified way of reasoning with
quantities has always been recognized in modern logic, as proposals of
probabilistic logic reasoning are present since the work of Boole [1854].
Equally ubiquitous is the need to deal with cardinality restrictions on
finite sets. More recently, a well-founded probabilistic theory has been
developed for non-classical settings as well, such as probabilistic
reasoning over Lukasiewicz infinitely-valued logic.

We show that there is a common way to deal with these several deductive
quantitative capabilities, involving a framework based on Linear Algebra
and Linear Programming. The distinction between classical and non-classical
reasoning on the one hand, and probabilistic and cardinality reasoning on
the other hand, comes from the different family of algebras employed. The
quantitative logic systems also allow for the introduction of inconsistency
measurements, which quantify the degree of inconsistency of a given
quantitative logic theory, following some basic principles of inconsistency
measurements.

On the computational level, we aim at exploring quantitative logic systems
in which the complexity of reasoning is  "only NP-complete".  We provide
open-source implementations for solvers operating over those systems and
study some notable empirical properties, such as the presence of a phase
transition.


Other Notes and Announcements:

   - Walter Dean (Warwick) is giving a talk at the Aristotelian Society
   that some supergroup members might be interested in. More details are
   available here:
   
https://www.aristoteliansociety.org.uk/the-proceedings/the-2019-20-programme/walter-dean/

Re: [Logica-l] Women in Logic: repetindo informacoes

[Walter Alexandre Carnielli]

Oi Valéria,

Obrigado,valeu para  bem mais de uma pessoa!

By the way, aprovo com todas as letras a sugestão implícita do Cifuentes a
respeito da Ayda Arruda que voce encampou :-)

Eu, Itala e outr@s fomos alunos da Ayda, eu a conheci muito bem e tenho
muitas histórias e lembranças, uma mulher dedicadíssima que nos deixou
muito jovem.

Abs
Walter

Em sáb, 13 de jun de 2020 13:17, Valeria de Paiva 
escreveu:

> Obrigada Professor Cifuentes pela mensagem! bom saber que valeu pra pelo
> menos uma pessoa.
>
>
>
> *From: *josé carlos cifuentes 
> *Date: *Saturday, June 13, 2020 at 6:06 AM
> *To: *Valeria de Paiva 
> *Cc: *Lista de LOGICA 
> *Subject: *Re: [Logica-l] Women in Logic: repetindo informacoes
>
>
>
> Gente, eu sou um daqueles que não sabia de todas essas plataformas.
> Obrigado pela informação.
>
>
>
>
>
>
> 
>
> Livre de vírus. www.avast.com
> .
>
>
>
>
> Em sáb., 13 de jun. de 2020 às 01:26, Valeria de Paiva <
> valeria.depa...@gmail.com> escreveu:
>
> Gente,
>
> parece que algumas pessoas nao sabem de algumas das iniciativas que nos
> temos tomado pra aumentar a representatividade de mulheres na logica no
> Brasil.
>
>
>
> Nos temos uma planilha
> https://docs.google.com/spreadsheets/d/1wj8wtZ4bNJOe-sFYOeMgurmVhaUojwXbe7bzkBLXH9s/edit#gid=1
>
> onde gostariamos que todas as logicas se inscrevessem. Estudantes ou
> professoras, iniciantes ou nao, logicas mais matematicas, logicas mais
> filosoficas, logicas mais de computacao ou da linguistica. ou nao. A ideia
> dessa planilha 'e  ter um lugar onde organizadores de eventos possam buscar
> inspiracao, quando quiserem convidas palestrantes ou membros de comite de
> programas.
>
>
>
> Nos tambem temos um grupo no facebook chamado "Women in Logic" (com quase
> 500 membros) https://www.facebook.com/groups/WomenInLogic e um blog tb
> chamado "Women in Logic"
> https://womeninlogic.blogspot.com/2020/04/logic-and-biology-last-years-women-in.html,
> alem de uma workshop internacional chamada (you've guessed!) "Women in
> Logic", cuja quarta edicao, virtual, acontece dia 30 de junho de 2020, como
> parte do Summer of LoVE in Paris,
> https://sites.google.com/g.uporto.pt/wil2020/home.
>
>
>
> Espero que voces todas (e todos) ja' soubessem dessas iniciativas e que eu
> esteja apenas repetindo informacoes antigas. se algo nao for claro e se
> quiserem mais informacoes e' so' contactar qq uma do nosso coletivo
> feminista.
>
>
>
> abracos logicos,
>
> Valeria
>
>
> --
>
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
>
>
>
> --
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvTxELyE2350cu_k7thZuJB_n%3Doacj5JRA7%3DYveY3_UYA%40mail.gmail.com
> 
> .
>
> --
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYASDq95B1thWmU_vjmneyGLJduFhBfuQT3ycsw_5iEnXQA%40mail.gmail.com
> 
> .
>
> --
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/BYAPR07MB467846B6075FEC9D6871AC02F49E0%40BYAPR07MB4678.namprd07.prod.outlook.com
> 
> .
>

-- 
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/CAOrCsLcYJR56MyjoyrbSq58xiSfw3oXoX-cLcV7wengympm1fg%40mail.gmail.com.