+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 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 TUTORIALS ========= * 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. REGISTRATION ============ 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 Malherbe Alberto Pardo Universidad de la República, Uruguay -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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_LgNO6hxGZfDyR6QXOrBpqO%2BX-thJknsTucS5%3DrMjJvNsA%40mail.gmail.com.
