Colegas, Isto pode ser de interesse para estudantes de pós-graduação e pós-doutorandos. Abs
Marcelo ------------------------------------------------------------------------------ PhDs in Logic 2020: PhDs in Logic XII (2020) Freie Universität Berlin Berlin, Germany, April 27-29, 2020 https://www.easychair.org/cfp/phdsinlogic2020 “PhDs in Logic” is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20-25 minutes) presentations by PhD students, master students and first-year postdocs on their research. We are happy to announce that the 12th edition of “PhDs in Logic” will take place at the Freie Universität Berlin, Germany, from April 27 to 29, 2020. Submission Guidelines PhD students, master students and first-year postdocs in logic from disciplines, that include but are not limited to philosophy, mathematics and computer science are invited to submit an extended abstract on their research. Submitted abstracts should be no longer than 2 pages, including the relevant references. Each abstract will be anonymously reviewed by the scientific committee. Accepted abstracts will be presented by their authors in a short presentation during the conference. The deadline for abstract submission is 10th January 2020, and the notification of acceptance will be sent by 28th February 2020. Please submit your anonymized abstract in the Easychair format via: https://easychair.org/conferences/?conf=phdsinlogic2020 We welcome students to participate in PhDs in Logic XII regardless of whether they want to submit a contribution. Students interested in participating, even without giving a talk, are kindly asked to register. For more information please consult our webpage: https://www.mi.fu-berlin.de/phdsinlogic2020/ List of Topics Mathematical logic Philosophical logic Logic in computer science Logic, logic, and logic! Committees Scientific Commitee Christoph Benzmüller (FU Berlin) Markus Brill (TU Berlin) Juliana Bueno-Soler (CLE - State University of Campinas) Walter Carnielli (CLE - State University of Campinas) Marcelo Coniglio (CLE - State University of Campinas) Ronald de Haan (University of Amsterdam) Norbert Gratzl (LMU, Munich) Jobst Heitzig (PIK, Potsdam) Jesse Heyninck (TU Dortmund) Bruno Jacinto (University of Lisbon) Alessandra Marra (LMU Munich) Alessandra Palmigiano (VU Amsterdam) Luca Reggio (University of Bern) Abílio Rodrigues (Federal University of Minas Gerais) Daniel Skurt (Ruhr University Bochum) Sumit Sourabh (University of Amsterdam) Christian Straßer (Ruhr University Bochum) Amanda Vidal (Czech Academy of Sciences) Heinrich Wansing (Ruhr University Bochum) Organizing committee Sara Ayhan (Ruhr University Bochum) Ana Cholodovskis (LMU Munich) David Fuenmayor (Freie Universität Berlin) Sarah Hiller (Freie Universität Berlin) Invited Speakers Marianna Antonutti Marfori (LMU Munich, Germany) Christoph Benzmüller (FU Berlin, Germany) Hannes Leitgeb (LMU Munich, Germany) Sara Negri (University of Helsinki, Finland) Alexander Steen (University of Luxembourg) Peter Verdée (Catholic University of Louvain, Belgium) Venue The conference will be held in Berlin-Dahlem at the Freie Universität Berlin (Main Campus) from April 27 to 29, 2020. Important: attendance is free but registration is required! Contact All questions about submissions should be emailed to phdsinlo...@gmail.com Sponsors MATH+ Berlin Association for Symbolic Logic ASL Student Travel Awards Attendance to PhDs in Logic 2020 is free (registration is required though). ASL offers modest student travel awards to attend ASL meetings and ASL-Sponsored meetings. Students must be members of the ASL in order to apply. Applications must be received three months prior to the start of the meeting. More information under: https://aslonline.org/meetings/student-travel-awards/ -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D36ZmCjeaUJ8T9_7wjWOgVE7uKmTY5LgOxjoJQFdSAhtUw%40mail.gmail.com.