[Logica-l] Fwd: [Agda] Postdoc position, Logic and Semantics Group in Tallinn

2023-08-11 Por tôpico E. Rivas 





 Forwarded Message 
Subject: [Agda] Postdoc position, Logic and Semantics Group in Tallinn
Date: Fri, 11 Aug 2023 12:49:31 +0300
From: Tarmo Uustalu 
To: a...@lists.chalmers.se

The Logic and Semantics Group at the Tallinn University of Technology
is seeking an aspiring talented and hard-working young scientist to
fill a departmentally funded postdoc position.

The group, currently consisting of 7 faculty and 4 PhD students,
specializes in functional programming, type theory, mathematical
semantics of programming languages, proof theory, constructive
mathematics, proof assistants, formalization of mathematics and
programming theory. Consult our webpage to get a picture of our work.

https://cs.ioc.ee/lsg/

The group belongs to the High-Assurance Software Lab of the Department
of Software Science at the School of IT.

https://cs.taltech.ee/

The position is for 2 years; the start date is negotiable, preferrably
between 1 Nov 2023 and 1 Feb 2024.

The monthly gross salary will be 2500-3200 EUR depending on the
previous experience of the successful candidate. The deal includes
coverage by the national health insurance system, a paid annual leave
etc. A salary rate like this ensures a high standard of living in
Estonia.

Send your statement of purpose (cover letter), CV and research
statement to Tarmo Uustalu, ta...@cs.ioc.ee, and Niccolò Veltri,
nicc...@cs.ioc.ee, as soon as possible, but latest by 10 September
2023. We will assess applications as they arrive. With questions about
the research topics of the group, the research environment, the
conditions of the contract or living in Estonia, do not hesitate to
ask.


___
Agda mailing list
a...@lists.chalmers.se
https://lists.chalmers.se/mailman/listinfo/agda

--
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/ea63e890-aedb-2fd0-7e43-c7de19f4c2e5%40fceia.unr.edu.ar.

Re: [Logica-l] Coluna sobre IA no Rádio

2023-08-11 Por tôpico Adolfo Neto 
Saiu a segunda coluna.
Links em
https://adolfon.substack.com/p/coluna-de-marcelo-finger-sobre-inteligencia?sd=pf

On Fri, Aug 4, 2023 at 4:04 PM Adolfo Neto  wrote:

> Saiu a primeira coluna!
>
> Bem vindo ao mundo dos podcasts, Marcelo!
>
> https://pca.st/episode/1726525e-2c1e-4afa-a784-54e974fbf0c8
>
> On Fri, 4 Aug, 2023, 8:38 am 'Aline Andrade' via LOGICA-L, <
> logica-l@dimap.ufrn.br> wrote:
>
>> Marcelo que legal !!!
>> Acessei o link para o podcast mas não achei o seu pois só vi agora esta
>> mensagem e não pude assistir direto … deve ficar disponível depois ..
>> Abs
>> Aline
>>
>> Em qui., 3 de ago. de 2023 às 14:33, Marcelo Finger 
>> escreveu:
>>
>>> Pessoal.
>>>
>>> É com prazer que comunico o início de uma coluna minha sobre
>>> Inteligência Artificial na Rádio Eldorado 107,3 MHz FM, que irá ao ar toda
>>> sexta-feira às 8h da manhã, com início nesta sexta 04/08/2023.  Vai em
>>> anexo a divulgação da coluna na rádio.
>>>
>>> A coluna pode ser assistida toda 6a feira 8h no rádio ou na  web:
>>> https://www.estadao.com.br/eldorado/
>>>
>>> A gravação da coluna vai ficar no site da rádio e neste podcast:
>>> https://spotify.link/bs62JoBWXBb
>>>
>>> []s
>>>
>>> Marcelo
>>>
>>> --
>>> Marcelo Finger
>>>  Departament of Computer Science, IME-USP
>>>  http://www.ime.usp.br/~mfinger
>>>  ORCID: https://orcid.org/-0002-1391-1175
>>>  ResearcherID: A-4670-2009
>>>
>>> Instituto de Matemática e Estatística,
>>>
>>> Universidade de São Paulo
>>>
>>> Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP
>>> 
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> 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/CAGG7Aw2PNASR_5dXWR3ecJrK_O8v7nP-NqPVQQxL4GbrAyVrqg%40mail.gmail.com
>>> 
>>> .
>>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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/CA%2B7Ns7DzsDoVh_V5--%2B561Ro_L0LXUDJOiv7beoYq0O5wQtJFw%40mail.gmail.com
>> 
>> .
>>
>

-- 
==
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==

-- 
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/CANspyYVsvRgPWvYVX9zN7qKPO9js-qa9WFXEXMj%3DD8tpG1c6bQ%40mail.gmail.com.

[Logica-l] [CfA Deadline approaching] New Perspectives on Anomalies in the Sciences

2023-08-11 Por tôpico Maria Martinez-Ordaz 
Workshop: New Perspectives on Anomalies in the Sciences

EXTENDED DEADLINE for submissions: August 15, 2023.
Notification of acceptance: August 20, 2023.
Conference dates: October 5 and 6, 2023.

Location: Instituto de Filosofia e Ciências Sociais - IFCS/UFRJ
Federal University of Rio de Janeiro, Rio de Janeiro, BRA.

Keynote speakers: Otavio Bueno (University of Miami), Carol E. Cleland
(University of Colorado -Boulder), Décio Krause (UFRJ).

The workshop welcomes formal and informal contributions on anomalies in
scientific disciplines -- with a special focus on novel ways to
characterize, reconstruct, and explain anomalies in different areas of
scientific research. Topics include, but are not limited to the following:
The ontological status of anomalies (the nature of anomalies in science,
the limits of scientific research programs).
The epistemological significance of anomalies (their relation with
ignorance, knowledge, and scientific understanding).
The role of logic(s) in handling anomalies in science (distinct inferential
mechanisms that could underlie the phenomenon of handling anomalies in the
sciences, formal reconstructions of historical anomalies).
The social and cultural dimensions of anomalies (how scientific communities
respond to new evidence, how scientific communities respond to anomalies)
The methodological challenges of studying anomalies (the methodological
challenges involved in identifying, studying, and interpreting anomalies in
different scientific disciplines).
SUBMISSIONS:
Abstracts should be 200-500 words (+ references), prepared for blind
review, separately, please, include the contact information of the authors.

Abstracts should be submitted via email to: anomalies2...@gmail.com

Deadline: August 15, 2023.

CFP: https://philevents.org/event/show/112822
Event: https://philevents.org/event/show/112818

-- 
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/CALqiGqVRxV__4_95CHr7Ryq%2Beh37%2BnWxwN7wcKg5CGVxDq%3D-mA%40mail.gmail.com.

Re: [Logica-l] Ferramentas de Ensino: NADIA e ANITA

2023-08-11 Por tôpico Elaine Pimentel 
Bom dia, Davi,

Muito bom! Parabéns!

Acho que seria uma boa ideia adicionar esse material na página da SBL:

https://sbl.org.br/pmwiki.php/Main/Ensino

Se você achar que é uma boa, por favor, preencha o formulário:

https://docs.google.com/forms/d/e/1FAIpQLSdfCWHhjWDTDh5OL02AyTxqNENMspp-LKPrGEYUowdbrNc-QQ/viewform

Lembrando a colegas que o formulário segue positivo e operante :)

Abraços,

On Fri, Aug 11, 2023 at 11:28 AM Davi Romero  wrote:

> Olá colegas,
>
> No final do semestre passado gravei alguns vídeos na playlist do Youtube
>  sobre
> as ferramentas de ensino que tenho utilizado nas disciplinas de Lógica para
> Computação do Campus de Quixadá, juntamente com a professora Viviane
> Menezes. São duas ferramentas que estamos utilizando:
>
>- NADIA (Natural DeductIon Proof Assistant) que é um assistente de
>provas que permite verificar a correção de demonstrações em Dedução Natural
>no Estilo de Fitch.
>Uma versão web do assistente de provas NADIA
> está disponível em:
>https://sistemas.quixada.ufc.br/nadia
>
>O GitHub do projeto NADIA está disponível em:
>https://github.com/daviromero/nadia
>
>O artigo sobre o NADIA (WEI 2022) está disponível em: :
>https://doi.org/10.5753/wei.2022.222875
>- ANITA (Analytic Tableau Proof Assistant)  que é um assistente de
>provas que permite verificar a correção de demonstrações em Tableau
>Analítico no Estilo de Fitch.
>
> Uma versão web do assistente de provas ANITA
>  está disponível em:
>
> https://sistemas.quixada.ufc.br/anita
> O GitHub do projeto ANITA está disponível em:
> https://github.com/daviromero/anita
> O artigo sobre o ANITA (In Proceedings ThEdu'22) está disponível em:
> https://doi.org/10.4204/EPTCS.375.4
>
>
> Sugestões e comentários são muito bem-vindos.
>
> Atenciosamente,
>
> Davi Romero de Vasconcelos
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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/CAHyDnbqbtLzUkyjHPk8qj-9WqUeg_hhQeNPmBM90J%2ByWmCOwbg%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 

--- 
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%2BXamKmPYZ9-YiF0YLFjM7zbtGwTg%2Bx5gbdyDyrCDd2R2w%40mail.gmail.com.

[Logica-l] Ferramentas de Ensino: NADIA e ANITA

2023-08-11 Por tôpico Davi Romero 
Olá colegas,

No final do semestre passado gravei alguns vídeos na playlist do Youtube
 sobre
as ferramentas de ensino que tenho utilizado nas disciplinas de Lógica para
Computação do Campus de Quixadá, juntamente com a professora Viviane
Menezes. São duas ferramentas que estamos utilizando:

   - NADIA (Natural DeductIon Proof Assistant) que é um assistente de
   provas que permite verificar a correção de demonstrações em Dedução Natural
   no Estilo de Fitch.
   Uma versão web do assistente de provas NADIA
    está disponível em:
   https://sistemas.quixada.ufc.br/nadia
   
   O GitHub do projeto NADIA está disponível em:
   https://github.com/daviromero/nadia
   
   O artigo sobre o NADIA (WEI 2022) está disponível em: :
   https://doi.org/10.5753/wei.2022.222875
   - ANITA (Analytic Tableau Proof Assistant)  que é um assistente de
   provas que permite verificar a correção de demonstrações em Tableau
   Analítico no Estilo de Fitch.

Uma versão web do assistente de provas ANITA
 está
disponível em:

https://sistemas.quixada.ufc.br/anita
O GitHub do projeto ANITA está disponível em:
https://github.com/daviromero/anita
O artigo sobre o ANITA (In Proceedings ThEdu'22) está disponível em:
https://doi.org/10.4204/EPTCS.375.4


Sugestões e comentários são muito bem-vindos.

Atenciosamente,

Davi Romero de Vasconcelos

-- 
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/CAHyDnbqbtLzUkyjHPk8qj-9WqUeg_hhQeNPmBM90J%2ByWmCOwbg%40mail.gmail.com.