[Logica-l] Registration no EBL - Estaremos atendendo na segunda pela manhã (e começo da tarde)

['samuel' via LOGICA-L]

Caros

Só pra confirmar  e reforçar (amanhã está indo uma mensagem a todos os 
inscritos com esta e outras informações...)

Marcamos o início das atividades científicas para a tarde da segunda-feira 
para dar
a chance de quem quisesse marcar a sua chegada em Salvador na segunda de 
manhã pudesse economizar aí uma diária de hotel,

Porém nós estaremos lá preparando tudo desde cedinho, então quem quiser 
fazer já a registration na segunda mais cedo, talvez com mais calma, 
"estaremos atendendo"

---> de manhã: entre 9h e 12h30

--> no começo da tarde: entre 13h e 14h30 (a cerimônia de abertura é às 
14h30 - talvez
com um pequeno atraso pra justificar que estamos no Brasil -  e a palestra 
da Itala vai ser às 15h30, sendo que essa não vai atrasar não). 

O registro vai estar acontecendo nas proximidades do Auditório, que fica no 
térreo do Instituto de Matemática e Estatística da UFBA. 

[]s  Samuel

PS: Lembrando que quem fez a declaração de interesse no jantar da 
conferência, mas ainda não fez a transferência PIX, vai ser solicitado a 
fazer essa transferência no momento da inscrição.

O formulário do jantar já está encerrado e o valor de 130,00 somente poderá 
ser garantido aos que já preencheram. Quem ainda não preencheu e quiser ir 
possivelmente terá que ser servido a la carte. 


-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/83049b97-226f-4683-af10-81740e937ce4n%40dimap.ufrn.br.

[Logica-l] Lógica Viva: "Tem lógica na política?", Live com Carnielli (sab, 9h)

[Marcos Silva]

"Política não tem lógica? Lógica não tem política?

Pode haver lógica na política? É possível ver política na lógica?

Nessa época de campanhas eleitorais encontramos informações conflitantes de
todos os lados. Ataques. Defesas. Algumas respostas absurdas para perguntas
que não fazem muito sentido. Às vezes, fica tudo muito confuso e apelativo.
E se deixarmos nos levar pela emoção, é difícil descobrir o que está certo,
errado, ou como essas contradições poderiam co-existir. Afinal, tem lógica
na política?

O pensamento crítico pode ajudar em alguma coisa neste cenário? Como? E a
filosofia? E a lógica?

Neste sábado, inauguramos uma série especial de lives do Coletivo Lógica
Viva.

Até as eleições, vamos promover algumas conversas, no canal do Youtube do
Coletivo, sobre discursos e argumentos no cenário político atual utilizados
em campanhas e em debates quentes.

Dentre os assuntos tratados, falaremos de:
- Falácias dos políticos
- Vieses cognitivos
- Fake news
- Bolhas epistêmicas
- Câmara de eco

A primeira live será neste sábado, dia 10 de setembro, às 9 hrs
(horário de Brasília), com o professor Walter Carnielli. O bate papo vai
ser conduzido por Marcos Silva no Youtube do Coletivo. Participe da
discussão! Traga as suas perguntas e reflexões! Ajude a divulgar!

https://www.youtube.com/channel/UCwvsanumwkHDU_fYx9L1S0w

Por mais pessoas beneficiadas pela lógica"



-- 
Marcos Silva (UFPE/CNPq)
Philosophy Department
Federal University of Pernambuco, Brazil
Director of Graduate Studies (PPGFIL/UFPE
)
Editor-in-chief Revista Perspectiva Filosófica

https://sites.google.com/view/marcossilvaphilosophy
"amar e mudar as coisas me interessa mais"

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

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

[Logica-l] CFP: Proceedings of ThEdu'22: Theorem Proving Components for Educational Software

[Joao Marcos]

  Open Call for Papers
**
 Proceedings of ThEdu'22
 Theorem Proving Components for Educational Software
http://www.uc.pt/en/congressos/thedu/thedu22
**
 to be published by EPTCS,
Electronic Proceedings in Theoretical Computer Science
http://published.eptcs.org
**

Synopsis

   The workshop ThEdu'22 happened on Aug 11, 2022, as a satellite of
   FLoC 2022, as a very lively meeting.  The programme was comprised of
   two invited talks, by Yoni Zohar, from Bar Ilan University, and by
   Thierry Dana-Picard, from the Jerusalem College of Technology, as
   well as four regular contributions (with one remote presentation),
   whose abstracts, presentations and videos may be found in the
   workshop's webpage.

   Now the proceedings are being planned, intending to collect full
   versions of the contributed papers, as well as new contributions.
   The contributions' range of topics is diverse, according to ThEdu's
   scope, and this is a call for papers, open to everyone, also those
   who did not participate in the workshop.  All papers will undergo
   reviewing according to the EPTCS standards.

ThEdu'22 Scope:

   Computer Theorem Proving is becoming a paradigm as well as a
   technological base for a new generation of educational software in
   science, technology, engineering and mathematics. This volume of
   EPTCS intends to bring together experts in automated deduction with
   experts in education in order to further clarify the shape of the
   new software generation and to discuss existing systems.

Topics of interest include:

  * methods of automated deduction applied to checking students' input;
  * methods of automated deduction applied to prove post-conditions
for particular problem solutions;
  * combinations of deduction and computation enabling systems to
propose next steps;
  * automated provers specific for dynamic geometry systems;
  * proof and proving in mathematics education.

Important Dates

  * Submission (Full Papers): 7 November 2022
  * Notification of acceptance: 12 December 2022
  * Revised papers due: 9 January 2023

Submission

   We welcome submission of full papers (12--20 pages) presenting
   original unpublished work which is not being submitted for
   publication elsewhere.

   All contributions will be reviewed (at least three blind reviews) to
   meet the high standards of EPTCS.

   The authors should comply with the "instructions for authors", LaTeX
   style files and accept the "Non-exclusive license to distribute" of
   EPTCS: Instructions for authors (http://info.eptcs.org/), LaTeX style
   file and formatting instructions (http://style.eptcs.org/) as well as
   (http://copyright.eptcs.org/)

   Papers should be submitted via EasyChair,
   https://easychair.org/conferences/?conf=thedu22.

Program Committee

   Francisco Botana, University of Vigo at Pontevedra, Spain
   David Cerna, Johannes Kepler University, Austria
   João Marcos, Universidade Federal do Rio Grande do Norte, Brazil (editor)
   Filip Maric, University of Belgrade, Serbia
   Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil
   Walther Neuper, Johannes Kepler University Linz, Austria (editor)
   Pedro Quaresma, University of Coimbra, Portugal (editor)
   Giselle Reis, Carnegie Mellon University Qatar, Qatar
   Vanda Santos, University of Aveiro, Portugal
   Anders Schlichtkrull, Aalborg University, Denmark
   Wolfgang Schreiner, Johannes Kepler University, Austria
   M. Pilar Vélez, Nebrija University, Spain
   Jørgen Villadsen, Technical University of Denmark, Denmark

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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_LhaC-bzxDMPsJYUXXXr%3D1aOmjaMnPpSWcJN3D1PgHs-qg%40mail.gmail.com.