[Logica-l] Fwd: QPL 2024 - Second Call for Papers

[Joao Marcos]

-- Forwarded message -
===
QPL 2024 - Second Call for Papers
===

The 21st International Conference on Quantum Physics and Logic (QPL 2024)

Buenos Aires, Argentina, July 15-19, 2024

https://qpl2024.dc.uba.ar


Quantum Physics and Logic is an annual conference that brings together
academic and industry researchers working on mathematical foundations of
quantum computation, quantum physics, and related areas. The main focus is
on the use of algebraic and categorical structures, formal languages, type
systems, semantic methods, as well as other mathematical and computer
scientific techniques applicable to the study of physical systems, physical
processes, and their composition. Work applying quantum-inspired techniques
and structures to other fields (such as linguistics, artificial
intelligence, and causality) is also welcome.

===
Important Dates
===

Abstract submission deadline: 26 February 2024
Paper submission deadline: 4 March 2024
Notification: 29 April 2024
Camera-ready deadline: 15 June 2024
Conference: 15 July – 19 July 2023

All deadlines are stated with respect to the Anywhere on Earth (AoE) time
zone.

===
Submissions guidelines
===

Prospective speakers are invited to submit one (or more) of the following:

* Proceedings paper. This consists of a 5-12 page paper. It must provide
sufficient evidence of results of genuine interest, in sufficient detail,
for the program committee to assess the merits of the work. Proceedings
submissions must use the EPTCS style files.

* Talk proposal. This consists of a 3-page summary along with a link to a
separate published paper or preprint. If the published paper or preprint is
not publicly available (e.g. not open access), then it must be included in
full after the summary.

* Poster. This consists of a 3-page abstract of (partial) results or work
in progress.

* Programming tool submission. This consists of a 3-page description of a
programming tool or framework, with a strong preference for open-source
contributions.

Submission is via EasyChair at the following URL:

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


===
Presentations
===

Authors of accepted submissions will be invited to present their work
during the conference (e.g. by giving a talk, presenting a poster, or tool
demo).

There will be an award for Best Student Paper at the discretion of the
Program Committee. Papers eligible for the award are those where all the
authors are students at the time of submission.

===
Conference Proceedings
===

Conference proceedings will be published in Electronic Proceedings in
Theoretical Computer Science (EPTCS) after the conference.

===
QPL 2024 Programme Committee
===

Barbara Amaral, Universidade de São Paulo, Brazil
Pablo Arrighi, Inria & Université Paris-Saclay, France
Miriam Backens, University of Birmingham, UK
Rui Soares Barbosa, International Iberian Nanotechnology Laboratory,
Portugal
Alessandro Bisio, Università di Pavia, Italy
Titouan Carette, École Polytechnique, France
Ulysse Chabaud, Inria, École Normale Supérieure, France
Giulio Chiribella, The University of Hong Kong, Hong Kong
Bob Coecke, Quantinuum, UK
Alejandro Díaz-Caro, Universidad Nacional de Quilmes & Universidad de
Buenos Aires, Argentina (Co-chair)
Ross Duncan, Quantinuum, UK
Pierre-Emmanuel Emeriau, Quandela, France
Stefano Gogioso, University of Oxford, UK
Amar Hadzihasanovic, Tallinn University of Technology, Estonia
Chris Heunen, The University of Edinburgh, UK
Matty Hoban, University of Oxford, UK
Federico Holik, Universidad Nacional de La Plata, Argentina
Dominic Horsman, University of Oxford, UK
Emmanuel Jeandel, LORIA, France
Martti Karvonen, University College London, UK
Kohei Kishida, University of Illinois, Urbana-Champaign, USA
Aleks Kissinger, University of Oxford, UK
Ravi Kunjwal, Université libre de Bruxelles, Belgium
Martha Lewis, University of Bristol, UK
Shane Mansfield, Quandela, France
Simon Martiel, IBM Quantum, France
Konstantinos Meichanetzidis, University of Oxford, UK
Mio Murao, The University of Tokyo, Japan
Ognyan Oreshkov, Université Libre de Bruxelles, Belgium
Anna Pearson, Quantinuum, UK
Simon Perdrix, LORIA, France
Robert Rand, University of Chicago, USA
Neil Ross, Dalhousie University, Canada
Mehrnoosh Sadrzadeh, University College London, UK
Ana Belén Sainz, University of Gdańsk, Poland

[Logica-l] Mathematical Proof Between Generations

[Joao Marcos]

Mathematical Proof Between Generations
by Jonas Bayer, Christoph Benzmüller, Kevin Buzzard,
Marco David, Leslie Lamport, Yuri Matiyasevich,
Lawrence Paulson, Dierk Schleicher, Benedikt Stock,
and Efim Zelmanov
https://www.ams.org/journals/notices/202401/rnoti-p79.pdf

A proof is one of the most important concepts of mathematics. However,
there is a striking difference between how a proof is defined in
theory and how it is used in practice. This puts the unique status of
mathematics as exact science into peril. Now may be the time to
reconcile theory and practice, i.e., precision and intuition, through
the advent of computer proof assistants. This used to be a topic for
experts in specialized communities. However, mathematical proofs have
become increasingly sophisticated, stretching the boundaries of what
is humanly comprehensible, so that leading mathematicians have asked
for formal verification of their proofs. At the same time, major
theorems in mathematics have recently been computer-verified by people
from outside of these communities, even by beginning students. This
article investigates the different definitions of a proof, the gap
between them, and possibilities to build bridges. It is written as a
polemic or a collage by different members of the communities in
mathematics and computer science at different stages of their careers,
challenging well-known preconceptions and exploring new perspectives.

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LieP33SKGbTZej74tKwn1MNqRcZJO_OdTWd7wDSW1ZZEQ%40mail.gmail.com.