[Logica-l] EBL 2019 - call for papers

2018-10-02 Por tôpico C. Mortari 

[call for papers – please post]

The 19th Brazilian Logic Conference (EBL 2019)
May 6-10, 2019, João Pessoa-PB, Brazil

http://ebl2019.ci.ufpb.br/

---
Important Dates
---
Submission Deadline: Jan 5, 2019
Acceptance Notification: Feb 4, 2019
Brazilian Logic Conference: May 6-10, 2019
Logic School: May 6-10, 2019

---
The 19th Brazilian Logic Conference
---
The Brazilian Logic Conferences (EBL) is a traditional event of the 
Brazilian Logic Society (SBL). It has been occurring since 1979. 
Congregating logicians of different fields and with different 
backgrounds -- from undergraduate students to senior researchers -- the 
meeting is an important moment for the Brazilian and South-American 
logical community to join together and discuss recent developments of 
the field. The areas of Logic covered spread over Foundations and 
Philosophy of Science, Analytic Philosophy, Mathematics, Computer 
Science, Informatics, Linguistics and Artificial Intelligence.


Previous editions of the EBL have attracted researchers from all over 
Latin America and elsewhere. In 2019, the EBL will be held at João 
Pessoa, capital of the state of Paraíba, a charming and beautiful town 
on the Brazilian north-east coast.


---
Call for Papers
---
The goal of the EBL meeting is to encourage the dissemination and 
discussion of research papers in Logic in a broad sense. We cordially 
invite submissions of contributed papers on general topics of Logic, 
including, but not restricted to the following:


Philosophical and Mathematical Logic and Applications;
History and Philosophy of Logic;
Non-classical Logic and Applications;
Philosophy of Formal Sciences;
Foundations of Computer Science, Physics and Mathematics;
Logic Education (Logic Teaching).

This edition of the EBL particularly welcomes abstracts on Logic
Teaching so as to stimulate the development of methods and strategies
of teaching and learning Logic.

The presentation of contributed papers in the event must fit a slot of
20 minutes of exposition plus 10 minutes of questions and discussion.
Abstracts should be written in Portuguese, Spanish or English with a
maximum of 600 words and it must contain title, name, keywords,
affiliation and essential bibliography. For more details, see 
https://ebl2019.ci.ufpb.br/blog/call-for-papers.


Notification of acceptance will be released on Feb 4, 2019. At least one 
author of each accepted paper must register for presenting the paper at 
the meeting. Each given participant may co-author more than one paper, 
but will only be allowed to present a single talk. The Scientific 
Committee will consider the following items when selecting the papers: 
relevance and importance of the topic, originality and quality of work.


-
Call for Round Tables
-
The EBL 2019 is happy to host round table proposals with a duration of 
at most two hours. They may be divided as desired, with a maximum of 4 
and a minimum of 3 participants per session. The description and the 
title for the session should be of a maximum of 1500 words containing an 
abstract for each exposition including title, name, keywords, 
affiliation and bibliography. Each session must have a coordinating 
chair assigned in the proposal. For more details on submissions of round 
table proposals, see https://ebl2019.ci.ufpb.br/blog/call-for-papers.


---
Proceedings
---
The EBL 2019 also aims to be a forum for presenting and discussing work 
in progress and therefore to provide feedback for authors on their 
preliminary research. Peer-reviewed papers will be published after the 
meeting, so that authors can incorporate the feedback received, in a 
book and/or a special issue of a journal with publishers of 
international recognition.



Keynote speakers (already confirmed)

Catarina Dutilh-Novaes (Vrije Universiteit Amsterdam)
Edward Zalta (Stanford)
Elaine Pimentel (UFRN)
Frank Sautter (UFSM)
Luis Soares Barbosa (Universidade do Minho)
Mario Benevides (UFRJ)
Mirna Dzamonja (University of East Anglia)


Scientific Committee

Alexandre Rademaker (IBM Research)
Bruno Lopes Vieira (UFF)
Carlos Olarte (UFRN)
Ciro Russo (UFBA)
Cláudia Nalon (UnB)
Daniele Nantes Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Gisele Secco (UFSM)
Ítala Maria Loffredo D'Ottaviano (Unicamp)
João Marcos de Almeida (UFRN)
Jorge Petrúcio Viana (UFF)
Leandro Oliva Suguitani (UFBA)
Luiz Carlos Pereira (PUC-Rio/UERJ)
Marcelo Finger (USP)
Maurício Ayala-Rincón (UnB)
Nastassja Pugliese (USP)
Renata Wassermann (USP)
Newton C. A. da Costa (UFSC)
Valeria de Paiva (Nuance Communications)
Walter Carnielli (Unicamp)


Organizing Committee


Ricardo Sousa Silvestre (UFCG, co-chair)
Ana Thereza Maier (UFPB

[Logica-l] Bolsa de mestrado em lógica e fundamentos no IFCH da Unicamp

2018-10-02 Por tôpico Giorgio Venturi 
Caras e caros,

escrevo a respeito do processo seletivo do programa de pós-graduação de
filosofia da Unicamp (IFCH), onde estou desenvolvendo um projeto Jovem
Pesquisador da FAPESP em lógica e fundamentos da matemática.

O título é "Arbitrariedade e genericidade. Ou sobre como falar do
indizível" e este projeto mira estudar os limites da expressividade
linguística no contexto da matemática e da teoria dos conjuntos (projeto

).

No contexto deste projeto a FAPESP financia uma bolsa de mestrado para um
estudantes aprovado na seleção do programa de pós-graduação. A inscrição
online será até o dia 15/10/2018.

Os candidados poderão apresentar um projeto baseado na descrição da bolsa
(em anexo), mas a partir dos proprios interesses.

Para qualquer dúvida os interessados podem entrar em contato comigo:
gio.vent...@gmail.com

Abraços,
Giorgio

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAECRgWWso9jJu0M6F%3Ddg%3D0hKgS-k6BGFCdzm4nisLCPskV67%2Bw%40mail.gmail.com.


MS 2 arb obj in math practice.pdf
Description: Adobe PDF document

Re: [Logica-l] Bolsa de mestrado em lógica e fundamentos no IFCH da Unicamp

2018-10-02 Por tôpico Valeria de Paiva 
Giorgio,
tem um typo no titulo do seu projeto. devia ser "unspeakable", nao tem esse
c em "unspeackable".
https://www.researchgate.net/publication/319059993_Arbitrariness_and_genericity_Or_how_to_speak_of_the_unspeackable
uma ideia muito interesante!
abracos
Valeria

On Tue, Oct 2, 2018 at 5:27 AM Giorgio Venturi 
wrote:

> Caras e caros,
>
> escrevo a respeito do processo seletivo do programa de pós-graduação de
> filosofia da Unicamp (IFCH), onde estou desenvolvendo um projeto Jovem
> Pesquisador da FAPESP em lógica e fundamentos da matemática.
>
> O título é "Arbitrariedade e genericidade. Ou sobre como falar do
> indizível" e este projeto mira estudar os limites da expressividade
> linguística no contexto da matemática e da teoria dos conjuntos (projeto
> 
> ).
>
> No contexto deste projeto a FAPESP financia uma bolsa de mestrado para um
> estudantes aprovado na seleção do programa de pós-graduação. A inscrição
> online será até o dia 15/10/2018.
>
> Os candidados poderão apresentar um projeto baseado na descrição da bolsa
> (em anexo), mas a partir dos proprios interesses.
>
> Para qualquer dúvida os interessados podem entrar em contato comigo:
> gio.vent...@gmail.com
>
> Abraços,
> Giorgio
>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAECRgWWso9jJu0M6F%3Ddg%3D0hKgS-k6BGFCdzm4nisLCPskV67%2Bw%40mail.gmail.com
> 
> .
>


-- 
Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuhFkK5DE%3D0-DtMm29WvaGFu6FvWJhDQ9A-Jk%3D-VZ%2Bvcg%40mail.gmail.com.

Re: [Logica-l] Bolsa de mestrado em lógica e fundamentos no IFCH da Unicamp

2018-10-02 Por tôpico Giorgio Venturi 
Obrigado! Já corrigi.

Abraço,
Giorgio

Il giorno mar 2 ott 2018 alle ore 11:03 Valeria de Paiva <
valeria.depa...@gmail.com> ha scritto:

> Giorgio,
> tem um typo no titulo do seu projeto. devia ser "unspeakable", nao tem
> esse c em "unspeackable".
>
> https://www.researchgate.net/publication/319059993_Arbitrariness_and_genericity_Or_how_to_speak_of_the_unspeackable
> uma ideia muito interesante!
> abracos
> Valeria
>
> On Tue, Oct 2, 2018 at 5:27 AM Giorgio Venturi 
> wrote:
>
>> Caras e caros,
>>
>> escrevo a respeito do processo seletivo do programa de pós-graduação de
>> filosofia da Unicamp (IFCH), onde estou desenvolvendo um projeto Jovem
>> Pesquisador da FAPESP em lógica e fundamentos da matemática.
>>
>> O título é "Arbitrariedade e genericidade. Ou sobre como falar do
>> indizível" e este projeto mira estudar os limites da expressividade
>> linguística no contexto da matemática e da teoria dos conjuntos (projeto
>> 
>> ).
>>
>> No contexto deste projeto a FAPESP financia uma bolsa de mestrado para
>> um  estudantes aprovado na seleção do programa de pós-graduação. A
>> inscrição online será até o dia 15/10/2018.
>>
>> Os candidados poderão apresentar um projeto baseado na descrição da bolsa
>> (em anexo), mas a partir dos proprios interesses.
>>
>> Para qualquer dúvida os interessados podem entrar em contato comigo:
>> gio.vent...@gmail.com
>>
>> Abraços,
>> Giorgio
>>
>> --
>> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAECRgWWso9jJu0M6F%3Ddg%3D0hKgS-k6BGFCdzm4nisLCPskV67%2Bw%40mail.gmail.com
>> 
>> .
>>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://research.nuance.com/author/valeria-de-paiva/
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuhFkK5DE%3D0-DtMm29WvaGFu6FvWJhDQ9A-Jk%3D-VZ%2Bvcg%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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAECRgWXzx4894mVNwcgKLpJy2i0YjxmdhV69g-ph64hxGL4DeQ%40mail.gmail.com.