[Logica-l] Fwd: IP (London) Call for Applications | Institute of Philosophy Collaborative Visiting Fellowships 2023/24

[Elaine Pimentel]

Repassando.

-- Forwarded message -
From: Pym, David 
Date: Tue, Mar 14, 2023 at 12:15 PM
Subject: Fwd: IP (London) Call for Applications | Institute of Philosophy
Collaborative Visiting Fellowships 2023/24
To: pplv-inter...@cs.ucl.ac.uk 




Begin forwarded message:

*From: *Institute of Philosophy 
*Subject: **IP (London) Call for Applications | Institute of Philosophy
Collaborative Visiting Fellowships 2023/24*
*Date: *14 March 2023 at 11:00:27 GMT
*Reply-To: *Institute of Philosophy 

*Call for Applications – Institute of Philosophy Visiting Fellowships
2023/24*

The Institute of Philosophy is extending a call for international and UK
based candidates to apply for Visiting Fellowships for up to 6 months
(dependent on the fellowship route applied for) during the academic year
2023-24.

The Institute currently runs two types of fellowship:

*Collaborative Fellowships*

The Collaborative Visiting Fellowship scheme for 2023-24 is open to
applicants who hold an academic position in a non-UK institution for the
purpose of supporting philosophical research in the UK. Collaborative
visiting positions come with a stipend of £1000/month, for up to two
months, reimbursable against travel, accommodation and research costs
incurred during the course of the fellowship. While a fellow in the IP
applicants would be expected to contribute to the intellectual environment
of the Institute and work in collaboration with philosophers based in the
UK.

Collaborative Fellowships are open to applicants from non-UK institutions.
The deadline for the 2023-24 round of Collaborative Fellowships
applications is *Sunday 30th April 2023*

*Non-stipendiary Fellowships*

Non-stipendiary Fellows are visitors to the Institute from the UK or
overseas who spend a significant period of time at the Institute (usually
between 3 and 6 months) on their own research. It is also possible for
visitors to come for shorter periods, or ask for an extension after 6
months (after review). Visiting Fellows are provided with office space and
library access. Fellows are expected to make a contribution to the
Institute's programme of events during their stay. Fellows are usually
members of other academic departments or postdoctoral researchers. Doctoral
students interested in working in close collaboration with one of the
Centres based at the IP can also apply.

These fellowships can be applied for all year round, allowing at least two
months before the start date of the intended visit.
  *Application procedure for Visiting Fellowships*

Applications should consist of:

(i) a cover letter, which outlines the proposed duration and timing of your
stay and a plan for collaborative activities that justifies holding the
fellowship at the IP (e.g. giving talks across the UK; organising workshops
/ conferences with the IP and other UK departments;  contributing to impact
activities; participating in an existing research project based in the UK).

(ii) a short curriculum vitae (no more than 3 pages).

(iii) names, positions, organisations and email addresses for two referees,
preferentially one UK-based.


Applications should be sent via email to i...@sas.ac.uk. Please use the
subject line ‘*Collaborative/Non-Stipendiary Fellowship application –
[NAME]’*


Applicants can apply for both collaborative and the non-stipendiary
fellowships within the same application. Please indicate which scheme are
applying for, and whether you'd like to be considered for both schemes, in
your cover letter.


*Applications for the Collaborative Fellowships will be assessed by the IP
Directorate and must be submitted by Sunday 30th April 2023, 23.59 (GMT).
We expect to notify successful applicants by mid June 2023.*


Non-stipendiary applications can be submitted any time, allowing at least
two months before the start date of the intended visit.



-- 
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%2BXNW99Qv8jvnnhYkz6VhD-YS3rf9VadrqzcrguFA7%2BgEA%40mail.gmail.com.

[Logica-l] Re: Desafios do ChatGPT

[Marcos Silva]

Car@s,

a live do Coletivo Lógica Viva com o Prof. Walter Carnielli sobre os
problemas filosóficos no caso do ChatGPT ficou gravada.
https://youtube.com/live/pyrbJi_QEac?feature=share

Walter, gentilmente, também indicou algumas referencias bibliográticas
(estão na descriçao do video).

Críticas e sugestões são bem vind@s para melhorar o projeto. Podem me
escrever no privado.

Abraços e uma boa semana para tod@s nós,
Marcos


On Sat, Mar 18, 2023 at 7:08 AM Marcos Silva 
wrote:

> Por Eros Carvalho (UFRGS)
> No seu blog
> 
>
> No youtube
> https://www.youtube.com/watch?v=9loJk3gLeEI
>
> E neste sábado, logo mais, aas 10hs, no Coletivo Lógica Viva, será a vez
> de ouvir Walter Carnielli sobre avanços e limites da IA e do ChatGPT.
> https://www.youtube.com/watch?v=pyrbJi_QEac
>
> Tod@s são bem vind@s!
>
> Abraços,
> Marcos
>
> --
> Marcos Silva (UFPE/CNPq)
> Philosophy Department
> Federal University of Pernambuco, Brazil
> President of the Brazilian Society for Analytical Philosophy (SBFA
> )
> 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"
>


-- 
Marcos Silva (UFPE/CNPq)
Philosophy Department
Federal University of Pernambuco, Brazil
President of the Brazilian Society for Analytical Philosophy (SBFA
)
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/CAGZ3pzK%3DOZpX%2BDJeF%2BiiMTeNSvQoiYD_FgRkFNS8a6nN3RpqsQ%40mail.gmail.com.

[Logica-l] Coletivo Lógica Viva: LIVE Logica e Ensino de Libras (21/3, 18hs)

[Marcos Silva]

Favor ajudar a divulgar



O ensino de Lógica em Libras e o Projeto Filolibras

https://youtube.com/live/OlvSk_11pJY?feature=share

Com João Antonio de Moraes (FAJOPA); Lucimar Bizio (IFSP/Votuporanga);
Rafael Testa (UNICAMP); Thalyta Gonçalves Bertotti (UFSC) do Projeto
FiloLibras: youtube.com/@IFSPFILOLIBRAS

Mediação: Pedro Bravo (USP)

-- 
Marcos Silva (UFPE/CNPq)
Philosophy Department
Federal University of Pernambuco, Brazil
President of the Brazilian Society for Analytical Philosophy (SBFA
)
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/CAGZ3pzJZUoZWu4Nga3_tMbQcPZYiu9UOFe%3DbGS0vJZyBA88g7g%40mail.gmail.com.

[Logica-l] II Dia Carol Blasio

[Evelyn Erickson]

Boa tarde!

Neste dia em que Carol estaria completando seu 39° aniversário, nós do 
Lógicas Brasileiras convidamos todos a celebrar junto conosco o II Dia 
Carol Blasio por Diversidade na Lógica. Ano passado lembramos de Carol como 
uma amiga, e esse queremos expandir esse legado destacando seu aspecto de 
professora.

O projeto desse ano precisa da participação de vocês: estamos reunindo 
material didático disponível em português, para atualizar a página da SBL 
sobre ensino de lógica . O 
intuito dessa iniciativa é facilitar a circulação desse material, para 
reduzir os esforços (especialmente de novos professores como eu!) em 
planejar uma disciplina de lógica. Esse material pode incluir: indicação ou 
resenha de bibliografia, planos de curso, listas de exercícios, jogos, 
slides e afins.

Vocês podem ler um pouco mais sobre a iniciativa no site Lógicas Brasileiras 
,
 
ou então conferir o formulário de submissão 
.
 


Abraços,
*Evelyn*

-- 
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/45f69c51-fb73-4268-a4c6-e1a39fa54a3bn%40dimap.ufrn.br.

[Logica-l] Fwd: novo prazo de envio das submissões para o WBL 2023

[Jorge Petrucio Viana]

Boas notícias para quem tem interesse em participar deste excelente evento,
mas ainda precisa trabalhar mais no texto!

Workshop Brasileiro de Lógica
https://csbc.sbc.org.br/2023/wbl/
=
O IV Workshop Brasileiro de Lógica (WBL’23) é uma iniciativa do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa
parceria com a Sociedade Brasileira de Lógica (SBL). Em sua quarta edição,
seu objetivo é congregar lógicos de diferentes áreas da Computação e em
diferentes estágios da carreira – de estudantes de graduação a
pesquisadores – que desejem apresentar propostas de trabalhos e trabalhos
em andamento. O encontro é um momento importante para a comunidade lógica
brasileira se unir e discutir os desenvolvimentos recentes do campo.

Esta edição será co-alocada com o XLIII Congresso da Sociedade Brasileira
de Computação (CSBC 2023), que ocorre em João Pessoa (PB) entre 23 e
28/07/2023.

Tópicos de interesse

Esta chamada está aberta para trabalhos relacionados à área de lógica e
suas aplicações em diferentes campos da computação, especialmente (mas não
restrito) a:

Assistentes de provas
Frameworks lógicos
Fundamentação da computação, física e matemática
Lógica em inteligência artificial: representação de conhecimento, sistemas
multiagentes, raciocínio não-monotônico, raciocínio sobre conhecimento,
crenças ou ações, etc.
Lógicas não-clássicas
Ontologias
Prova automática de teoremas
SAT solvers
Teoria da prova
Verificação formal de sistemas
Verificação de modelos

Instruções de submissão
===
Artigos a serem submetidos devem ser redigidos no template da SBC (
http://tinyurl.com/sbc-template-artigos ) com tamanho entre 6 (seis) e 8
(oito) páginas.

As submissões devem ser feitas pelo sistema JEMS (
https://jems.sbc.org.br/home.cgi?c=4246 ). Os textos podem ser em inglês ou
em português.

Datas importantes
=
*Limite para submissão de trabalhos: 05/04/2023 (firme)*
Divulgação dos resultados: 20/05/2023
*Envio das versões finais dos artigos: 28/05/2023*
Prazo de inscrição dos autores: 05/06/2023

Inscrição de autores

Para que um artigo aceito seja apresentado e incluído nos anais do evento,
é necessário que ao menos um dos autores do artigo realize a sua inscrição
no evento na categoria profissional. Cada inscrição na categoria
profissional dá direito à publicação de um único artigo, considerando
qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais
de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de
publicação” por artigo adicional. O valor dessa taxa pode ser visto na
página de inscrições do CSBC 2023.

Publicação de trabalhos
===
Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital
da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN
2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os
artigos serão indexados com DOI.

Auxílio para estudantes
===
TBA

Organização
===
Organizador Geral: Vaston Gonçalves (UFCat)
Organizadoras do Comitê de Programa: Mario Benevides (UFF) e Petrucio Viana
(UFF)

Apoio local
===
TBA

Comitê de programa
==
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB) (Co-Chair)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN) (Co-Chair)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Renata Wassermann (USP)

Palestrantes convidados
===

TBA

Contato
===
Em caso de dúvidas, entre em contato através dos e-mails: ma...@ic.uff.br e
petruci...@id.uff.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/CACRvmVTa-yo11rYGeB3TTk4di1MTbbwrmyhuufz%3DZQjVRqPyPw%40mail.gmail.com.

Re: [Logica-l] II Dia Carol Blasio

[Thiago Nascimento da Silva]

Parabéns pela iniciativa. Como novo professor também tenho sofrido deste
problemas de não encontrar material em português.

Em seg., 20 de mar. de 2023 13:40, Evelyn Erickson <
evelyn.f.erick...@gmail.com> escreveu:

> Boa tarde!
>
> Neste dia em que Carol estaria completando seu 39° aniversário, nós do
> Lógicas Brasileiras convidamos todos a celebrar junto conosco o II Dia
> Carol Blasio por Diversidade na Lógica. Ano passado lembramos de Carol como
> uma amiga, e esse queremos expandir esse legado destacando seu aspecto de
> professora.
>
> O projeto desse ano precisa da participação de vocês: estamos reunindo
> material didático disponível em português, para atualizar a página da SBL
> sobre ensino de lógica . O
> intuito dessa iniciativa é facilitar a circulação desse material, para
> reduzir os esforços (especialmente de novos professores como eu!) em
> planejar uma disciplina de lógica. Esse material pode incluir: indicação ou
> resenha de bibliografia, planos de curso, listas de exercícios, jogos,
> slides e afins.
>
> Vocês podem ler um pouco mais sobre a iniciativa no site Lógicas
> Brasileiras
> ,
> ou então conferir o formulário de submissão
> .
>
>
> Abraços,
> *Evelyn*
>
> --
> 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/45f69c51-fb73-4268-a4c6-e1a39fa54a3bn%40dimap.ufrn.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/CAOHRVBWNjT%2BB5UxmLuNYnYS6Q0OO5z8NdLTu%2B3gjXUqJG7H3Uw%40mail.gmail.com.