[Logica-l] Call for Applications: 100 grants - “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information” at CLE/Unicamp, Brazil
* Important deadlines & procedures: -Applications from January 15th to February 22th, 2020 -Notification of acceptance till March 23th, 2020 -Fast application track: https://splogic.org/call-for-entries/ - For further info: cle.fapesp.lo...@gmail.com We are delighted to inform that the “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SPLogiC”, promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp),Brazil, will be held at Unicamp from July 13th to 24th, 2020. The School, funded by Sao Paulo Research Foundation (FAPESP), celebrates the 90th anniversary of Newton da Cost and aims at: - Providing an overview of the state-of-art methodology and research on contemporary logic (featuring non-classical logics), rationality and information. - Attracting qualified candidates to work on research institutions in the State of São Paulo. The program comprises 9 courses and 9 plenary talks delivered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions by the students. Topics to be covered include: • History and Philosophy of Paraconsistent Logics • The Australian, Belgian Brazilian,and Israeli schools on paraconsistency • Logic and Reasoning • Logic and Information • Logic and Argumentation • Methodological aspects on interpreting, translating and combining logics • Logic, Probabiity and Artificial Intelligence. The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the two weeks. Undergraduate, graduate students and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. For additional information visit the WebSite: https//splogc.org **Please circulate!** We look forward to receiving you! Itala M. Loffredo D’Ottaviano, Coordinator Walter Carnielli, Advisory Committee Chair --- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil -- 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/CA%2Bob58M1oLifZnUaCUct1Sx7O8e83amrNv50QJDW1UUpFg6M-A%40mail.gmail.com.
[Logica-l] Fwd: LATD 2020: Call for Papers
-- Forwarded message - From: MathFuzzLog working group Date: Mon, Jan 13, 2020 at 2:32 PM Subject: LATD 2020: Call for Papers To: math fuzzlog LOGIC, ALGEBRA AND TRUTH DEGREES 2020 (LATD 2020) 14-18 September, 2020 Tbilisi, Georgia https://www.logic.at/latd2020/ *** CALL FOR PAPERS Logic, Algebra and Truth Degrees 2020 (LATD 2020) will be held on 14-18 September 2020 at the Ilia State University in Tbilisi, Georgia. LATD 2020 is one of the main events of the Tbilisi Autumn of Logic (http://tbilisilogicautumn2020.scienceontheweb.net/), a series of conferences and summer schools taking place in Tbilisi promoting research in pure and applied logic at an international level. The conference will be preceded by the Sixteenth International Tbilisi Summer School in Logic and Language (https://www.logic.at/tbilisi20/) devoted to courses on core topics of LATD 2020. The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields. We invite contributions on any relevant aspects of logical systems (including many valued, fuzzy, substructural, modal and quantum logics), in particular: * Proof theory and computational complexity * Algebraic semantics and abstract algebraic logic * First-order, higher-order and modal formalisms * Geometric and game-theoretic aspects * Applications and foundational issues Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style (https://easychair.org/publications/for_authors) and submitted via https://easychair.org/my/conference?conf=latd2020 IMPORTANT DATES Submission deadline: 1 April 2020 Notification: 1 June 2020 Early registration deadline: 15 June 2020 Late registration deadline: 31 August 2020 Conference: 14-18 September 2020 INVITED SPEAKERS Bahareh Afshari (University of Amsterdam) Mamuka Jibladze (Razmadze Mathematical Institute) Matteo Mio (Ecole Normale Superieure de Lyon) Daniele Mundici (University of Florence) Sara Negri (University of Helsinki) Carles Noguera (Czech Academy of Sciences) Alessandra Palmigiano (Vrije Univesiteit Amsterdam) James Raftery (University of Pretoria) PROGRAMME COMMITTEE Matthias Baaz (Vienna University of Technology) Nick Bezhanishvili (Chair, University of Amsterdam) Marta Bilkova (Czech Academy of Sciences) Agata Ciabattoni (Vienna University of Technology) Petr Cintula (Czech Academy of Sciences) David Gabelaia (Razmadze Mathematical Institute) Nick Galatos (University of Denver) Mai Gehrke (University of Nice) Lluis Godo (Artificial Intelligence Research Institute, III-CSCIC) John Harding (New Mexico State University) Wesley Holliday (University of California, Berkeley) Rosalie Iemhoff (Utrecht University) Peter Jipsen (Chapman University) Alexander Kurz (Chapman University) Vincenzo Marra (University of Milan) George Metcalfe (University of Bern) Tommaso Moraschini (University of Barcelona) Luca Spada (University of Salerno) Kazushige Terui (Kyoto University) Yde Venema (University of Amsterdam) ORGANIZING COMMITTEE Nino Antidze (Vienna University of Technology) Matthias Baaz (Chair, Vienna University of Technology) David Gabelaia (Razmadze Mathematical Institute) Gianluca Grilletti (University of Amsterdam) Anella Lolic (Vienna University of Technology) Ilma Lolic (Vienna University of Technology) Tamar Tsopurashvili (Ilia State University) -- 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%3D34VNheuU39EAzqsBEDQFgKfUbNjALn2-e7xFW9JJn_EEA%40mail.gmail.com.
[Logica-l] Fwd: LATD 2020: Call for Papers
-- Forwarded message - LOGIC, ALGEBRA AND TRUTH DEGREES 2020 (LATD 2020) 14-18 September, 2020 Tbilisi, Georgia https://www.logic.at/latd2020/ *** CALL FOR PAPERS Logic, Algebra and Truth Degrees 2020 (LATD 2020) will be held on 14-18 September 2020 at the Ilia State University in Tbilisi, Georgia. LATD 2020 is one of the main events of the Tbilisi Autumn of Logic (http://tbilisilogicautumn2020.scienceontheweb.net/), a series of conferences and summer schools taking place in Tbilisi promoting research in pure and applied logic at an international level. The conference will be preceded by the Sixteenth International Tbilisi Summer School in Logic and Language (https://www.logic.at/tbilisi20/) devoted to courses on core topics of LATD 2020. The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields. We invite contributions on any relevant aspects of logical systems (including many valued, fuzzy, substructural, modal and quantum logics), in particular: * Proof theory and computational complexity * Algebraic semantics and abstract algebraic logic * First-order, higher-order and modal formalisms * Geometric and game-theoretic aspects * Applications and foundational issues Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style (https://easychair.org/publications/for_authors) and submitted via https://easychair.org/my/conference?conf=latd2020 IMPORTANT DATES Submission deadline: 1 April 2020 Notification: 1 June 2020 Early registration deadline: 15 June 2020 Late registration deadline: 31 August 2020 Conference: 14-18 September 2020 INVITED SPEAKERS Bahareh Afshari (University of Amsterdam) Mamuka Jibladze (Razmadze Mathematical Institute) Matteo Mio (Ecole Normale Superieure de Lyon) Daniele Mundici (University of Florence) Sara Negri (University of Helsinki) Carles Noguera (Czech Academy of Sciences) Alessandra Palmigiano (Vrije Univesiteit Amsterdam) James Raftery (University of Pretoria) PROGRAMME COMMITTEE Matthias Baaz (Vienna University of Technology) Nick Bezhanishvili (Chair, University of Amsterdam) Marta Bilkova (Czech Academy of Sciences) Agata Ciabattoni (Vienna University of Technology) Petr Cintula (Czech Academy of Sciences) David Gabelaia (Razmadze Mathematical Institute) Nick Galatos (University of Denver) Mai Gehrke (University of Nice) Lluis Godo (Artificial Intelligence Research Institute, III-CSCIC) John Harding (New Mexico State University) Wesley Holliday (University of California, Berkeley) Rosalie Iemhoff (Utrecht University) Peter Jipsen (Chapman University) Alexander Kurz (Chapman University) Vincenzo Marra (University of Milan) George Metcalfe (University of Bern) Tommaso Moraschini (University of Barcelona) Luca Spada (University of Salerno) Kazushige Terui (Kyoto University) Yde Venema (University of Amsterdam) ORGANIZING COMMITTEE Nino Antidze (Vienna University of Technology) Matthias Baaz (Chair, Vienna University of Technology) David Gabelaia (Razmadze Mathematical Institute) Gianluca Grilletti (University of Amsterdam) Anella Lolic (Vienna University of Technology) Ilma Lolic (Vienna University of Technology) Tamar Tsopurashvili (Ilia State University) -- 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/CAO6j_Li%3Dhe17ePUhhPMn9x6kPm%2BJJkbSKfxxssg9Nhrs19_%2BMQ%40mail.gmail.com.