[TYPES/announce] 20th Latin American Symposium in Mathematical Logic

[Elaine Pimentel]

CALL FOR CONTRIBUTIONS

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

https://urldefense.com/v3/__https://xxslalm.cmat.edu.uy/__;!!IBzWLUs!TJvwb6m8BGR2_sf0-2XX8neov9pr6i4xfSSt4fQGlcN8sqaAXKeEc1xfWniCRobsDSgDIoUoHexGwXmCW4uMHZ76chXh0kMNop6j9Snm$ 

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

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://urldefense.com/v3/__https://easychair.org/conferences/?conf=20slalm__;!!IBzWLUs!TJvwb6m8BGR2_sf0-2XX8neov9pr6i4xfSSt4fQGlcN8sqaAXKeEc1xfWniCRobsDSgDIoUoHexGwXmCW4uMHZ76chXh0kMNonOjFfW3$ 

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.

REGISTRATION
=============

Registration is open!

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

      https://urldefense.com/v3/__https://xxslalm.cmat.edu.uy/__;!!IBzWLUs!TJvwb6m8BGR2_sf0-2XX8neov9pr6i4xfSSt4fQGlcN8sqaAXKeEc1xfWniCRobsDSgDIoUoHexGwXmCW4uMHZ76chXh0kMNop6j9Snm$ 

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

      https://urldefense.com/v3/__https://xxslalm.cmat.edu.uy/register__;!!IBzWLUs!TJvwb6m8BGR2_sf0-2XX8neov9pr6i4xfSSt4fQGlcN8sqaAXKeEc1xfWniCRobsDSgDIoUoHexGwXmCW4uMHZ76chXh0kMNolwkAw3f$ 

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://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!TJvwb6m8BGR2_sf0-2XX8neov9pr6i4xfSSt4fQGlcN8sqaAXKeEc1xfWniCRobsDSgDIoUoHexGwXmCW4uMHZ76chXh0kMNoi77hTwO$ 
-----------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240319/13f48e94/attachment-0001.htm>