<div dir="ltr">CALL FOR CONTRIBUTIONS<br><br>XX SLALM - 20th Latin American Symposium on Mathematical Logic<br>Uruguay<br>July 1 to 5, 2024<br><br><a href="https://urldefense.com/v3/__https://xxslalm.cmat.edu.uy/__;!!IBzWLUs!TJvwb6m8BGR2_sf0-2XX8neov9pr6i4xfSSt4fQGlcN8sqaAXKeEc1xfWniCRobsDSgDIoUoHexGwXmCW4uMHZ76chXh0kMNop6j9Snm$">https://xxslalm.cmat.edu.uy/</a><br><br>+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++<br><br>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.<br><br>XX SLALM will take place in Uruguay. Previous editions of SLALM have been organized in Chile, Brazil, Colombia, Venezuela, Argentina, Costa Rica, and Mexico.<br><br>Topics of interest to SLALM include, but are not limited to:<br><br>* Model Theory<br>* Set Theory<br>* Computability<br>* Logic in Computer Science<br>* Non-classical Logic<br>* Algebraic Logics<br>* Proof Theory<br>* History and Philosophy of Logic<br><br>PLENARY SPEAKERS<br>================<br><br>Carlos di Prisco, Universidad de los Andes, Colombia<br>Alejandro Díaz-Caro, Universidad de Buenos Aires, Argentina<br>Itala d'Ottaviano, Universidade de Campinas, Brazil<br>Alexandre Miquel, Universidad de la República, Uruguay<br>Samaria Montenegro, Universidad de Costa Rica, Costa Rica<br>Davide Sangiorgi, Universita' di Bologna, Italy<br>Peter Selinger, Dalhousie University, Canada<br><br>TUTORIAL<br>=========<br><br>* Set Theory<br>    Natasha Dobrinen, University of Notre Dame, USA<br><br>* Model Theory<br>    Nadja Hempel, Universität Düsseldorf, Germany <br><br>* Philosophy<br>    Marcos Silva, Universidade Federal de Pernambuco, Brazil<br><br>TALK SUBMISSION<br>===============<br><br>XX SLALM will be divided in five thematic sessions:<br><br>* Set Theory <br>* Model Theory<br>* Logic in Computer Science and Computability<br>* Non-classical Logics<br>* Philosophical logic   <br><br>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.<br><br>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. <div><br>Abstracts must be uploaded as a PDF file via EasyChair at:<br><br>      <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=20slalm__;!!IBzWLUs!TJvwb6m8BGR2_sf0-2XX8neov9pr6i4xfSSt4fQGlcN8sqaAXKeEc1xfWniCRobsDSgDIoUoHexGwXmCW4uMHZ76chXh0kMNonOjFfW3$">https://easychair.org/conferences/?conf=20slalm</a>         <br><br>IMPORTANT DATES<br>===============<br><br>We will accept submissions in two periods.<br><br>- Early submission deadline: March 31, 2024<br>- Notification: April 15, 2024<br>- Late submission deadline: From April 16 till May 31, 2024<br>- Notification: June 15<br><br>Early submissions are strongly encouraged. Late submissions may not be accepted due to space constraints of the sessions.<br><br>REGISTRATION<br>=============<br><br>Registration is open!<br><br>Information on the registration fees can be found on the XX SLALM homepage:<br><br>      <a href="https://urldefense.com/v3/__https://xxslalm.cmat.edu.uy/__;!!IBzWLUs!TJvwb6m8BGR2_sf0-2XX8neov9pr6i4xfSSt4fQGlcN8sqaAXKeEc1xfWniCRobsDSgDIoUoHexGwXmCW4uMHZ76chXh0kMNop6j9Snm$">https://xxslalm.cmat.edu.uy/</a><br><br>To register, you must first register as a user of the system by filling out the form at:<br><br>      <a href="https://urldefense.com/v3/__https://xxslalm.cmat.edu.uy/register__;!!IBzWLUs!TJvwb6m8BGR2_sf0-2XX8neov9pr6i4xfSSt4fQGlcN8sqaAXKeEc1xfWniCRobsDSgDIoUoHexGwXmCW4uMHZ76chXh0kMNolwkAw3f$">https://xxslalm.cmat.edu.uy/register</a><br><br>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.    <br><br>Early registration deadline: April 30, 2024, 23:59 GMT-3 (Uruguay time).<br><br>GRANTS<br>=======<br><br>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.<br><br>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.  <br><br>Deadline for grant application: March 30 at 23:59 GMT-3 (Uruguay time).<br>Acceptance or rejection of grant application will be notified by April 15.  <br><br>VENUE<br>=====<br><br>Information on the venue will be provided soon.<br><br>SCIENTIFIC COMMITTEE<br>====================<br><br>Cristina Brech, Universidade de São Paulo, Brazil<br>Manuela Busaniche, Universidad Nacional del Litoral, Argentina<br>Andrés Caicedo, University of Michigan, USA<br>Xavier Caicedo Ferrer, Universidad de los Andes, Colombia<br>Russell Miller, University of New York, USA<br>Lourdes del Carmen González Huesca, Universidad Nacional Autónoma de México, México<br>Deidre Haskell, McMaster University, Canada<br>Octavio Malherbe, Universidad de la República, Uruguay<br>Antonio Montalbán, University of California - Berkeley, USA (chair)<br>Alf Onshuus, Universidad de los Andes, Colombia<br>Héctor Pasten, Pontificia Universidad Católica de Chile, Chile<br>Luiz Carlos Pereira, Pontifícia Universidade Católica do Rio de Janeiro, Brazil<br>Elaine Pimentel, University College London, UK<br><br>LOCAL COMMITTEE<br>===============<br><br>Walter Ferrer<br>Juan Pablo García<br>Mauricio Guillermo (chair)<br>Octavio Malherb<br>Alberto Pardo<br>Universidad de la República, Uruguay<br clear="all"><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><font face="arial, sans-serif"><span style="color:rgb(32,31,30)">Elaine.</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">-----------------------------------</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">Elaine Pimentel</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">Associate Professor in Programming Principles, Logic, and Verification</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">Department of Computer Science</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">University College London</span></font></div><div dir="ltr"><font face="arial, sans-serif"><font color="#201f1e"><a href="https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!TJvwb6m8BGR2_sf0-2XX8neov9pr6i4xfSSt4fQGlcN8sqaAXKeEc1xfWniCRobsDSgDIoUoHexGwXmCW4uMHZ76chXh0kMNoi77hTwO$" target="_blank">https://sites.google.com/site/elainepimentel/</a></font><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">-----------------------------------</span></font><br></div></div></div></div></div></div></div>