[Logica-l] Fwd: Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines]

[D. Ventura]

ERRATA: deadline para submissão é May 8 ao invés de  May 27.

===


*18th Logical and Semantic Frameworks with Applications - LSFA 2023*
*1-2 July 2023*

   https://sites.google.com/ufg.br/lsfa2023

 Affiliated to FSCD 2023 ,
Rome, Italy

 *Final Call For Papers*

===

Logical and semantic frameworks are formal languages used to
represent logics, languages and systems. These frameworks provide
foundations for the formal specification of systems and computational
languages, supporting tool development and reasoning. The LSFA
series' objective is to put together theoreticians and practitioners
to promote new techniques and results, from the theoretical side, and
feedback on the implementation and the use of such techniques and
results, from the practical side.

See lsfa-workshop.github.io/ for more information.

LSFA *topics of interest* include, but are not limited to:

* Automated deduction
* Applications of logical and semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory

*Submissions*

Contributions should be written in English and submitted as *full *
*papers *(with a maximum of *16 pages*) or as *short papers* (with a
maximum of *6 pages*). They must be unpublished and not submitted
simultaneously for publication elsewhere. The papers should be
prepared in LaTeX using the *EPTCS style*. The submission should be
in the form of a PDF file uploaded to Easychair:

https://easychair.org/conferences/?conf=lsfa2023

The pre-proceedings, containing the reviewed papers, will be
available on the conference webpage by the time of the event.
*After the meeting*, the authors will be invited to *submit full*
*versions of their works for the post-proceedings publication in *
*EPTCS (TBC)*. At least *one of the authors of each submission must*
*register for the conference*. Presentations should be in English.

According to the submissions' quality, the chairs will promote the
further publication of journal revised versions of the papers.
Previous LSFA Special Issues have been published in journals such
as The Logical J. of the IGPL, Theoretical Computer Science and
Mathematical Structures in Computer Sciences (see the LSFA page
https://lsfa-workshop.github.io/).

*Important dates (*extended deadlines
*)*
* *Abstract*: *April 22 **April 29* (AoE)
* *Submission*: *April 29 **May 27 *(AoE)
* *Notification*: *May 27*
* *Preliminary proceedings* version due: *June 10*
* Submission for *final proceedings*: *TBC*
* *Final version*: *TBC*


*Invited Speakers*
  * Cynthia Kop  (Radboud
University Nijmegen, The Netherlands)
[shared session with LFMTP'23 ]
  * Brigitte Pientka  (McGill
University, Canada)
  * Pablo Barenbaum  (UBA & UNQ, Argentina)

 *note*: shared session with LFMTP'23  on
July 2.

*Program Committee*

  Sandra Alves  (Universidade
de Porto, Portugal)
  Carlos Areces  (Universidad Nacional de
Cordoba, Argentina)
  Mauricio Ayala-Rincón  (Universidade de
Brasília, Brazil)
  Haniel Barbosa  (Universidade Federal de
Minas Gerais, Brazil)
  Eduardo Bonelli  (Stevens University, US)
  David Cerna  (Czech Academy of Sciences
Institute of Computer Science)
  Alejandro Diaz-Caro  (UNQ & ICC
CONICET-UBA, Argentina)
  Marcelo Finger  (Universidade de São
Paulo, Brazil)
  Pascal Fontaine
 (University
of Liege, Belgium)
  Lourdes del Carmen González Huesca
 (UNAM, Mexico)
  Giulio Guerrieri 
(Aix-Marseille
Université, France)
  Fairouz Kamareddine  (Heriot-Watt
University, UK)
  Delia Kesner   (Université Paris Cité,
France)
  Temur Kutsia  (Johannes Kepler
University Linz, Austria) - Co-Chair
  Marina Lenisa  (Università
di Udine, Italy)
  Mircea Marin  (West University
of Timisoar

[Logica-l] Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines]

[D. Ventura]

===


*18th Logical and Semantic Frameworks with Applications - LSFA 2023*
*1-2 July 2023*

   https://sites.google.com/ufg.br/lsfa2023

 Affiliated to FSCD 2023 ,
Rome, Italy

 *Final Call For Papers*

===

Logical and semantic frameworks are formal languages used to
represent logics, languages and systems. These frameworks provide
foundations for the formal specification of systems and computational
languages, supporting tool development and reasoning. The LSFA
series' objective is to put together theoreticians and practitioners
to promote new techniques and results, from the theoretical side, and
feedback on the implementation and the use of such techniques and
results, from the practical side.

See lsfa-workshop.github.io/ for more information.

LSFA *topics of interest* include, but are not limited to:

* Automated deduction
* Applications of logical and semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory

*Submissions*

Contributions should be written in English and submitted as *full *
*papers *(with a maximum of *16 pages*) or as *short papers* (with a
maximum of *6 pages*). They must be unpublished and not submitted
simultaneously for publication elsewhere. The papers should be
prepared in LaTeX using the *EPTCS style*. The submission should be
in the form of a PDF file uploaded to Easychair:

https://easychair.org/conferences/?conf=lsfa2023

The pre-proceedings, containing the reviewed papers, will be
available on the conference webpage by the time of the event.
*After the meeting*, the authors will be invited to *submit full*
*versions of their works for the post-proceedings publication in *
*EPTCS (TBC)*. At least *one of the authors of each submission must*
*register for the conference*. Presentations should be in English.

According to the submissions' quality, the chairs will promote the
further publication of journal revised versions of the papers.
Previous LSFA Special Issues have been published in journals such
as The Logical J. of the IGPL, Theoretical Computer Science and
Mathematical Structures in Computer Sciences (see the LSFA page
https://lsfa-workshop.github.io/).

*Important dates (*extended deadlines
*)*
* *Abstract*: *April 22 **April 29* (AoE)
* *Submission*: *April 29 **May 27 *(AoE)
* *Notification*: *May 27*
* *Preliminary proceedings* version due: *June 10*
* Submission for *final proceedings*: *TBC*
* *Final version*: *TBC*


*Invited Speakers*
  * Cynthia Kop  (Radboud
University Nijmegen, The Netherlands)
[shared session with LFMTP'23 ]
  * Brigitte Pientka  (McGill
University, Canada)
  * Pablo Barenbaum  (UBA & UNQ, Argentina)

 *note*: shared session with LFMTP'23  on
July 2.

*Program Committee*

  Sandra Alves  (Universidade
de Porto, Portugal)
  Carlos Areces  (Universidad Nacional de
Cordoba, Argentina)
  Mauricio Ayala-Rincón  (Universidade de
Brasília, Brazil)
  Haniel Barbosa  (Universidade Federal de
Minas Gerais, Brazil)
  Eduardo Bonelli  (Stevens University, US)
  David Cerna  (Czech Academy of Sciences
Institute of Computer Science)
  Alejandro Diaz-Caro  (UNQ & ICC
CONICET-UBA, Argentina)
  Marcelo Finger  (Universidade de São
Paulo, Brazil)
  Pascal Fontaine
 (University
of Liege, Belgium)
  Lourdes del Carmen González Huesca
 (UNAM, Mexico)
  Giulio Guerrieri 
(Aix-Marseille
Université, France)
  Fairouz Kamareddine  (Heriot-Watt
University, UK)
  Delia Kesner   (Université Paris Cité,
France)
  Temur Kutsia  (Johannes Kepler
University Linz, Austria) - Co-Chair
  Marina Lenisa  (Università
di Udine, Italy)
  Mircea Marin  (West University
of Timisoara, Romania)
  Mariano Moscato 

Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?

[Walter Carnielli]

Lendo abaixo nesse mesmo post,alguém perguntou a seguinte questão para o
GPT 3 e o GPT4,  comparando respostas: prove que a  média aritmética de
dois primos ímpares em sequência não pode ser primo.

O GPT3 escreveu uma besteira absoluta  (está em PDF no post).

O GPT4 respondeu errado, "provou", com um lero-lero que engana qualquer
amador, que a média aritmética de dois primos ímpares é par , o que é
falso. Por exemplo 7 e 11 são primos consecutivos, e a média aritmética é 9.

Nenhum deles respondeu o óbvio: se  são dois primos ímpares  consecutivos,
a média aritmética é um inteiro, mas está entre dois consecutivos e
obviamente não pode fazer parte dos primos.

Parece que nem o GPT4 entende o conceito de consecutivo.

O Terence Tao usou para fazer spreadsheet, mas não muito mais do que isso
pode ser feito nem no GPT4.

Continua sendo um Rolando Lero que agora é um office boy mais competente.
Longíssimo de fazer alguma matemática como Isabelle, LEAN ou COQ.

Claro que não está "qualificado para trabalhar como um  matemático".


W.



Em sex., 21 de abr. de 2023 17:29, Joao Marcos 
escreveu:

> > Um dos melhores usos é justamente gerar lero lero, exigido em algumas
> situações.
> >
> > Ele também faz o contrário, pega um texto e gera ítens de ação.
>
> Há inúmeros bons usos possíveis --- para os "bons usuários".
> Vejam, por exemplo, este post to Terence Tao:
> https://mathstodon.xyz/@tao/110172426733603359
>
> JM
>
> --
> http://sequiturquodlibet.googlepages.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/CAOrCsLeYECg88k7XR-imXDeoqELcRvrTvvzE_DgiZvdynm0-cg%40mail.gmail.com.

[Logica-l] Re: GPT-4 está qualificado para trabalhar como um matemático?

[Cassiano Terra Rodrigues]

Um pouco além dos chatosgpt:


https://twitter.com/TivadarDanka/status/1649721970886594561?t=MMPZdP9t2DOyIXQxnnb_mw&s=19


Saudações, bom fim de semana.
cass.

Voltar ao início <#m_-6681382763063017626_digest_top>
> Você recebeu esse resumo porque está inscrito para receber atualizações
> deste grupo. Você pode alterar suas configurações na página de associação
> do grupo
> 
> .
> Para cancelar sua inscrição neste grupo e deixar de receber e-mails do
> mesmo, envie um e-mail para logica-l+unsubscr...@dimap.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/CALYh6%2BvbgV5n273EiVZMKmCaKqECpDOEoV-PBUY%2BTNnYFXao%2BQ%40mail.gmail.com.