Re: [Logica-l] Já é Dia Mundial da Lógica na Austrália!

[Jorge Petrucio Viana]

E como diria o Grande Mago, Samuel: A Vida é o que acontece entre dois EBLs!

Em sex., 13 de jan. de 2023 às 17:01, Elaine Pimentel <
elaine.pimen...@gmail.com> escreveu:

> E, para comemorar, a SBL decidiu antecipar o lançamento da nossa
> iniciativa: "O primeiro EBL a gente nunca esquece!".
>
> A playlist já está no ar em:
>
> https://youtube.com/playlist?list=PLFURnt5EmcO1j5qE1PAd7IOHZsiAa6s_K
>
> O lançamento do projeto conta com os vídeos de: João Mendes, Evelyn
> Erickson, José Henrique Franco, Lídia Batinga e Elaine Pimentel. Se você
> quiser deixar a sua colaboração, basta nos enviar o vídeo, não há prazo
> limite.
>
> A iniciativa está listada na página do WLD 2023, organizado pelo CIPSH:
>
> https://wld.cipsh.international/wld2023.html
>
> Abraços lógicos,
>
> A Diretoria.
> --
> Sociedade Brasileira de Lógica
> http://sbl.org.br
> ___
>
> --
> 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/CAHQVs%2BVeqggnk07cpDx2DkR8W1m93%2BEk3Nmdymy4Cf3KPMjm%3DA%40mail.gmail.com
> 
> .
>

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

[Logica-l] 14 de Janeiro : Dia de Vestir Logicamente o Seu Animal de Estimação

[jean-yves beziau]

Descobri que o dia 14 de Janeiro não é só o Dia Mundial da Lógica, mas
também o Dia Nacional de Vestir o Seu Animal de Estimação:
https://nationaltoday.com/national-dress-up-your-pet-day/
Com o meu gato estou a trabalhar numa combinação dos dois:
https://www.logica-universalis.org/cat
JYB

-- 
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/CAF2zFLCszz9TzOV1KS9mAHzg0-NA3v7twqf3u%3DSK3JDfTg_jmA%40mail.gmail.com.

[Logica-l] ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (FINAL CFP)

[Guilherme Paulino-Passos]

Please circulate within your networks. Apologies for multiple postings.


FINAL CALL FOR PAPERS


The 39th International Conference on Logic Programming (ICLP 2023)
https://iclp2023.imperial.ac.uk/
London, UK
July 9-15, 2023

ICLP 2023 will be an in-person event in London, UK.



Important Dates: 
* Abstract registration: January 23, 2023
* Paper submission (regular, applications, thematic tracks): January 31, 
2023
* Notification to authors: February 28, 2023
* Revision submission (TPLP papers): March 20, 2023
* Paper submission (short papers, technical comms, recently published, 
demo, BoF): April 28, 2023
* Workshop proposals: March 20, 2023
* Final notifications (all paper kinds): May 19, 2023
* Camera-ready copy due (all paper kinds): May 26, 2023
* Conference: July 9-15, 2023
(Deadlines expire at the end of the day, anywhere on earth.)


SCOPE
Since the first conference held in Marseille in 1982, ICLP has been the 
premier international  event for presenting research in logic programming. 
 Contributions are sought in all areas of logic programming, including but 
not restricted to:


* Theoretical Foundations.
* Language Design and Programming Methodologies.
  ** Program Analysis and Optimization.
  ** Implementation Methodologies.
  ** Related Paradigms, Integration, and Synergies.
  ** Applications of Logic Programming.


TRACKS AND SPECIAL SESSIONS
Besides the main track, ICLP 2023 will host additional tracks:

* Applications Track: we invite submissions of papers on emerging and 
deployed applications of LP, describing all aspects of the development, 
deployment, and evaluation of logic programming systems to solve real-world 
problems, including interesting case  studies and benchmarks, and 
discussing lessons learned.
* Thematic Tracks: we invite submissions to two thematic tracks, exploring 
specific roles and potential for logic programming; these thematic tracks 
are:
   * Logic Programming and Machine Learning
   * Logic Programming and Explainability, Ethics, and Trustworthiness
* Recently Published Research Track: this track provides a forum to discuss 
important results related to logic programming that appeared recently (from 
January 2021 onwards) in selective journals and conferences, but have not 
been previously presented at ICLP.
* System Demonstrations: we invite submissions showcasing logic programming 
systems and implementations in a live setting. This track is not designed 
to be sales pitches, demonstrations are a way for the community to see the 
relevance, potential, and innovation of the tool and allow time for 
discussion with its creator.
* Birds-of-a-Feather (BoF) sessions: we invite proposals for sessions meant 
to provide an inclusive environment for colleagues with similar interests 
to meet for informal discussion. Proposers of BoF sessions should serve as 
discussion leaders only. BoFs are not intended to be presentations.


In addition,  ICLP 2023 will host:

* Doctoral Consortium and Mentoring Sessions: the Doctoral Consortium (DC) 
on Logic Programming provides students and early career researchers with 
the opportunity to present and discuss their research directions, obtain 
feedback from both peers and experts in the field, and participate in 
mentoring sessions on how to prepare and succeed for a research career. We 
will have leaders in logic programming research from academia and industry 
to give invited talks on their research areas. The best paper from the DC 
will be given the opportunity to make a presentation in a session of the 
main ICLP conference.
* Tutorials.
* Co-located Workshops.
* Summer School on Logic Programming.
* Logic Programming Contest.


SUBMISSION DETAILS
All submissions must be written in English.

We note that papers accepted at ICLP may appear either in
* Theory and Practice of Logic Programming Journal (TPLP), or
* Technical Communication Proceeding (TC) published by Electronic 
Proceedings in Theoretical Computer Science (EPTCS)


TPLP format is described at
  
 
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors


EPTCS format is described at
   http://style.eptcs.org/


All accepted papers will be presented during the conference. Authors of 
accepted papers will, by default, be automatically included in the list of 
ALP members, who will receive quarterly updates from the Logic Programming 
Newsletter at no cost.


Expected submissions:

* For Main Track, Application Track, and Thematic Tracks:
   * All papers must describe original, previously unpublished research, 
and must not simultaneously be submitted for publication elsewhere. These 
restrictions do not apply to previously accepted workshop papers with a 
limited audience and/or without archival proceedings.
   * Regular papers (14 pages in TPLP format, including references) The 
 accepted regular papers will be published in TPLP. The program co

[Logica-l] Já é Dia Mundial da Lógica na Austrália!

[Elaine Pimentel]

E, para comemorar, a SBL decidiu antecipar o lançamento da nossa
iniciativa: "O primeiro EBL a gente nunca esquece!".

A playlist já está no ar em:

https://youtube.com/playlist?list=PLFURnt5EmcO1j5qE1PAd7IOHZsiAa6s_K

O lançamento do projeto conta com os vídeos de: João Mendes, Evelyn
Erickson, José Henrique Franco, Lídia Batinga e Elaine Pimentel. Se você
quiser deixar a sua colaboração, basta nos enviar o vídeo, não há prazo
limite.

A iniciativa está listada na página do WLD 2023, organizado pelo CIPSH:

https://wld.cipsh.international/wld2023.html

Abraços lógicos,

A Diretoria.
--
Sociedade Brasileira de Lógica
http://sbl.org.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/CAHQVs%2BVeqggnk07cpDx2DkR8W1m93%2BEk3Nmdymy4Cf3KPMjm%3DA%40mail.gmail.com.

Re: [Logica-l] World Lógica Day-Centre for Logic '23

[Walter Carnielli]

Obrigado Elaine,

 Aguardamos você e mais um monte de gente :-)

abraços,

Walter

Em sex., 13 de jan. de 2023 15:27, Elaine Pimentel <
elaine.pimen...@gmail.com> escreveu:

> Prezados Ítala, Walter, Juliana, Rodolfo e Marcelo,
>
> Excelente a programação. Estaremos lá!
>
> Abraços,
>
> On Fri, Jan 13, 2023 at 5:07 PM Walter Carnielli 
> wrote:
>
>> WORLD LOGIC DAY - CLE '23
>> Online Event
>> January 16, 2023
>> 10:00-12:00 (UTC/GMT -3)
>> Link: https://meet.google.com/gon-mjxb-uyj
>>
>>
>> Program (UTC/GMT -3)
>>
>> 10:00-10:20 Prof. Itala Loffredo D`Ottaviano - CLE/Unicamp
>> - Perspective about the The São Paulo School of Advanced Science on
>> Contemporary Logic, Rationality, and Information – SPLogIC
>> https://www.cle.unicamp.br/splogic/
>> - Other  personal perspectives
>>
>> 10:20-10:40 Prof.Walter Carnielli - CLE and IFCH - Unicamp
>> - Recent research interests: Non-Classical Probabilities and
>> Reasoning- New FAPESP Thematic Project
>>
>> 10:40-11:00 Prof, Juliana Bueno-Soler - FT and CLE - Unicamp
>> - Advances in Possibilistic Logic
>>
>> 11:00-11:20 Dr. Rodolfo Ertola Biraben - CLE - Unicamp
>> - Recent  research
>>
>> 11:20-11:40 Walter Carnielli interviews Dr. Felipe Abraão - CLE- Unicamp
>>
>> 11:40-12:00 Prof. Marcelo E. Coniglio - CLE and IFCH - Unicamp
>> - On Logics of Formal Incompatibility
>>
>> Abstract: Marcelo E. Coniglio Centre for Logic, Epistemology and the
>> History of Science, and Institute of Philosophy and the Humanities- Uniamp
>> and Guilherme V. Toledo The Spiegel Mathematics & Computer Center Bar Ilan
>> University, Israel Abstract: In this talk we propose a generalization of
>> logics of formal inconsistency (LFIs) to systems dealing with the concept
>> of incompatibility, expressed by means of a binary connective. The basic
>> idea is that having two incompatible formulas to hold trivializes a
>> deduction, and as a special case, a formula becomes consistent (in the
>> sense of LFIs) when it is incompatible with its own negation. We show how
>> this notion extends that of consistency in LFIs in a non-trivial way,
>> presenting conservative translations for many simple LFIs into some of the
>> most basic logics of incompatibility. We provide semantics for the new
>> logics, as well as decision procedures, based on restricted
>> non-deterministic matrices. The use of non-deterministic semantics with
>> restrictions is justified by the fact that, as proved here, these systems
>> are not algebraizable according to Blok-Pigozzi nor are they
>> characterizable by finite Nmatrices.
>>
>> 12:00 Closure
>> Data
>> 16/01/2023 - 10:00
>> Language Portuguese, Brazil
>>
>> --
>> 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/CAOrCsLcorRzn1es45%3DhgLdmsPR80UeNPqnnCsAM9F4L1q6FThw%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/CAOrCsLeKQkcpSdfTz%3D5q%2BkOT26%3DX5%3D7fNRVgGNBJaaUgd5RHeQ%40mail.gmail.com.

Re: [Logica-l] World Lógica Day-Centre for Logic '23

[Elaine Pimentel]

Prezados Ítala, Walter, Juliana, Rodolfo e Marcelo,

Excelente a programação. Estaremos lá!

Abraços,

On Fri, Jan 13, 2023 at 5:07 PM Walter Carnielli 
wrote:

> WORLD LOGIC DAY - CLE '23
> Online Event
> January 16, 2023
> 10:00-12:00 (UTC/GMT -3)
> Link: https://meet.google.com/gon-mjxb-uyj
>
>
> Program (UTC/GMT -3)
>
> 10:00-10:20 Prof. Itala Loffredo D`Ottaviano - CLE/Unicamp
> - Perspective about the The São Paulo School of Advanced Science on
> Contemporary Logic, Rationality, and Information – SPLogIC
> https://www.cle.unicamp.br/splogic/
> - Other  personal perspectives
>
> 10:20-10:40 Prof.Walter Carnielli - CLE and IFCH - Unicamp
> - Recent research interests: Non-Classical Probabilities and
> Reasoning- New FAPESP Thematic Project
>
> 10:40-11:00 Prof, Juliana Bueno-Soler - FT and CLE - Unicamp
> - Advances in Possibilistic Logic
>
> 11:00-11:20 Dr. Rodolfo Ertola Biraben - CLE - Unicamp
> - Recent  research
>
> 11:20-11:40 Walter Carnielli interviews Dr. Felipe Abraão - CLE- Unicamp
>
> 11:40-12:00 Prof. Marcelo E. Coniglio - CLE and IFCH - Unicamp
> - On Logics of Formal Incompatibility
>
> Abstract: Marcelo E. Coniglio Centre for Logic, Epistemology and the
> History of Science, and Institute of Philosophy and the Humanities- Uniamp
> and Guilherme V. Toledo The Spiegel Mathematics & Computer Center Bar Ilan
> University, Israel Abstract: In this talk we propose a generalization of
> logics of formal inconsistency (LFIs) to systems dealing with the concept
> of incompatibility, expressed by means of a binary connective. The basic
> idea is that having two incompatible formulas to hold trivializes a
> deduction, and as a special case, a formula becomes consistent (in the
> sense of LFIs) when it is incompatible with its own negation. We show how
> this notion extends that of consistency in LFIs in a non-trivial way,
> presenting conservative translations for many simple LFIs into some of the
> most basic logics of incompatibility. We provide semantics for the new
> logics, as well as decision procedures, based on restricted
> non-deterministic matrices. The use of non-deterministic semantics with
> restrictions is justified by the fact that, as proved here, these systems
> are not algebraizable according to Blok-Pigozzi nor are they
> characterizable by finite Nmatrices.
>
> 12:00 Closure
> Data
> 16/01/2023 - 10:00
> Language Portuguese, Brazil
>
> --
> 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/CAOrCsLcorRzn1es45%3DhgLdmsPR80UeNPqnnCsAM9F4L1q6FThw%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%2BW3Y6eNoFEhb_5doHZcOWef41S-9pNpb8iV2Szzx1LCMA%40mail.gmail.com.

[Logica-l] World Lógica Day-Centre for Logic '23

[Walter Carnielli]

WORLD LOGIC DAY - CLE '23
Online Event
January 16, 2023
10:00-12:00 (UTC/GMT -3)
Link: https://meet.google.com/gon-mjxb-uyj


Program (UTC/GMT -3)

10:00-10:20 Prof. Itala Loffredo D`Ottaviano - CLE/Unicamp
- Perspective about the The São Paulo School of Advanced Science on
Contemporary Logic, Rationality, and Information – SPLogIC
https://www.cle.unicamp.br/splogic/
- Other  personal perspectives

10:20-10:40 Prof.Walter Carnielli - CLE and IFCH - Unicamp
- Recent research interests: Non-Classical Probabilities and
Reasoning- New FAPESP Thematic Project

10:40-11:00 Prof, Juliana Bueno-Soler - FT and CLE - Unicamp
- Advances in Possibilistic Logic

11:00-11:20 Dr. Rodolfo Ertola Biraben - CLE - Unicamp
- Recent  research

11:20-11:40 Walter Carnielli interviews Dr. Felipe Abraão - CLE- Unicamp

11:40-12:00 Prof. Marcelo E. Coniglio - CLE and IFCH - Unicamp
- On Logics of Formal Incompatibility

Abstract: Marcelo E. Coniglio Centre for Logic, Epistemology and the
History of Science, and Institute of Philosophy and the Humanities- Uniamp
and Guilherme V. Toledo The Spiegel Mathematics & Computer Center Bar Ilan
University, Israel Abstract: In this talk we propose a generalization of
logics of formal inconsistency (LFIs) to systems dealing with the concept
of incompatibility, expressed by means of a binary connective. The basic
idea is that having two incompatible formulas to hold trivializes a
deduction, and as a special case, a formula becomes consistent (in the
sense of LFIs) when it is incompatible with its own negation. We show how
this notion extends that of consistency in LFIs in a non-trivial way,
presenting conservative translations for many simple LFIs into some of the
most basic logics of incompatibility. We provide semantics for the new
logics, as well as decision procedures, based on restricted
non-deterministic matrices. The use of non-deterministic semantics with
restrictions is justified by the fact that, as proved here, these systems
are not algebraizable according to Blok-Pigozzi nor are they
characterizable by finite Nmatrices.

12:00 Closure
Data
16/01/2023 - 10:00
Language Portuguese, Brazil

-- 
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/CAOrCsLcorRzn1es45%3DhgLdmsPR80UeNPqnnCsAM9F4L1q6FThw%40mail.gmail.com.

[Logica-l] Fwd: PhD position in Theoretical Philosophy at Stockholm University

[Joao Marcos]

-- Forwarded message -

The Department of Philosophy at Stockholm University advertises a PhD
position in Theoretical Philosophy, which includes epistemology,
metaphysics, logic, philosophy of language, philosophy of mind, philosophy
of science, as well as the history of philosophy. Applications in any area
of theoretical philosophy are welcome, and all applications will be given
equal consideration, but we particularly encourage applications in the
areas of logic and philosophy of mind.



Closing date: 31 January 2023.



The full announcement, including contact details for enquiries, is
available here:

https://www.su.se/om-universitetet/jobba-på-su/lediga-jobb/doktorandplatser-1.507590
 (svenska)

and here:

https://www.su.se/english/about-the-university/work-at-su/available-jobs/phd-student-positions-1.507588
 (English)

-- 
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_Lj5M25TTMEdB0LL6XeYf62LHLs-DFTsB21OFwvvu0FAwQ%40mail.gmail.com.