Logic List Mailing Archive

CfP: 20th Latin American Symposium in Mathematical Logic, 1-5 July 2024, Uruguay

CALL FOR CONTRIBUTIONS

XX SLALM - 20th Latin American Symposium on Mathematical Logic
Uruguay
July 1 to 5, 2024

https://xxslalm.cmat.edu.uy/

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

The Latin American Symposium on Mathematical Logic (SLALM) is an event supported by the Association of Symbolic Logic that gathers the community of researchers in Logic from all Latin America and counts with the participation of leading researchers from all over the world. SLALM has served to reinforce mathematical logic on the continent.

XX SLALM will take place in Uruguay. Previous editions of SLALM have been organized in Chile, Brazil, Colombia, Venezuela, Argentina, Costa Rica, and Mexico.

Topics of interest to SLALM include, but are not limited to:

* Model Theory
* Set Theory
* Computability
* Logic in Computer Science
* Non-classical Logic
* Algebraic Logics
* Proof Theory
* History and Philosophy of Logic

PLENARY SPEAKERS
================

Carlos di Prisco, Universidad de los Andes, Colombia
Alejandro Díaz-Caro, Universidad de Buenos Aires, Argentina
Itala d'Ottaviano, Universidade de Campinas, Brazil
Alexandre Miquel, Universidad de la República, Uruguay
Samaria Montenegro, Universidad de Costa Rica, Costa Rica
Davide Sangiorgi, Universita' di Bologna, Italy
Peter Selinger, Dalhousie University, Canada

TUTORIAL
=========

* Set Theory
    Natasha Dobrinen, University of Notre Dame, USA

* Model Theory
    Nadja Hempel, Universität Düsseldorf, Germany

* Philosophy
    Marcos Silva, Universidade Federal de Pernambuco, Brazil

TALK SUBMISSION
===============

XX SLALM will be divided in five thematic sessions:

* Set Theory
* Model Theory
* Logic in Computer Science and Computability
* Non-classical Logics
* Philosophical logic

We welcome contributions in the form of an abstract which will be submitted to a specific thematic session. The abstracts will be reviewed by the chairs of the selected session to ensure that it fits within the scope of the session.

Abstracts must be written in English and must not exceed one page (excluding bibliography). To produce the abstract follow this LaTeX format: article style, font size 10pt, A4, empty page style and plain bibliography style.

Abstracts must be uploaded as a PDF file via EasyChair at:

      https://easychair.org/conferences/?conf=20slalm

IMPORTANT DATES
===============

We will accept submissions in two periods.

- Early submission deadline: March 31, 2024
- Notification: April 15, 2024
- Late submission deadline: From April 16 till May 31, 2024
- Notification: June 15

Early submissions are strongly encouraged. Late submissions may not be accepted due to space constraints of the sessions.

REGISTRATIO
============

Registration is open!

Information on the registration fees can be found on the XX SLALM homepage:

      https://xxslalm.cmat.edu.uy/

To register, you must first register as a user of the system by filling out the form at:

      https://xxslalm.cmat.edu.uy/register

It is possible to register and then make the payment later (the fee applied will be the one valid at the time of payment). In that case, to make the payment, please log in using the email and password you provided for registration.

Early registration deadline: April 30, 2024, 23:59 GMT-3 (Uruguay time).

GRANTS
======

XX SLALM will be able to offer a limited number of grants to support participation in the symposium. The amount of financial support will be subject to availability.

Grant applications are made as part of the registration procedure. Applicants must first register and then upload a short (one page) CV. It is not required to have paid the registration fee to apply for a grant.

Deadline for grant application: March 30 at 23:59 GMT-3 (Uruguay time).
Acceptance or rejection of grant application will be notified by April 15.

VENUE
=====

Information on the venue will be provided soon.

SCIENTIFIC COMMITTEE
====================

Cristina Brech, Universidade de São Paulo, Brazil
Manuela Busaniche, Universidad Nacional del Litoral, Argentina
Andrés Caicedo, University of Michigan, USA
Xavier Caicedo Ferrer, Universidad de los Andes, Colombia
Russell Miller, University of New York, USA
Lourdes del Carmen González Huesca, Universidad Nacional Autónoma de México, México
Deidre Haskell, McMaster University, Canada
Octavio Malherbe, Universidad de la República, Uruguay
Antonio Montalbán, University of California - Berkeley, USA (chair)
Alf Onshuus, Universidad de los Andes, Colombia
Héctor Pasten, Pontificia Universidad Católica de Chile, Chile
Luiz Carlos Pereira, Pontifícia Universidade Católica do Rio de Janeiro, Brazil
Elaine Pimentel, University College London, UK

LOCAL COMMITTEE
===============

Walter Ferrer
Juan Pablo García
Mauricio Guillermo (chair)
Octavio Malherb
Alberto Pardo
Universidad de la República, Uruguay

--
Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
-----------------------------------
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php