Bulletin of Symbolic Logic 18 (1):150-151 (2012)
AbstractThis is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair).
Similar books and articles
Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Centro de Lógica, Epistemologia e História da Ciência, Unicamp.
Theory and Application of Satisfiability Testing - Sat 2011: 14th International Conference, Sat 2011, Ann Arbor, Mi, Usa, June 19-22, 2011: Proceedings. [REVIEW]Karem A. Sakallah & Laurent Simon (eds.) - 2011 - Springer.
On Fork Arrow Logic and its Expressive Power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Southeast Asian Conference on Logic: Proceedings of the Logic Conference, Singapore, 1981.C.-T. Chong & M. J. Wicks (eds.) - 1983 - Elsevier.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Reasoning About Local Properties in Modal Logic.Wiebe van der Hoek, Hans van Ditmarsch & Barteld Kooi - unknown
Editorial: Standing on the Verge: Lessons and Limits From the Empirical Study of Consciousness.Richard Brown - 2012 - Consciousness and Cognition 21 (2):597-599.
Proceedings of the Poster Session of the 29th Annual West Coast Conference on Formal Linguistics (WCCFL 29).Hiroki Nomoto - forthcoming - In Proceedings of the Poster Session of the 29th Anual West Coast Conference on Formal Linguistics (WCCFL 29). University of Arizona Linguistics Circle.
Kant and the Philosophical Tradition – Kant Today. Brazilian-Italian-Portuguese Kant Conference. Bericht Zur Tagung Vom 22.–25. Januar 2008 in Verona Und Padua. [REVIEW]Margit Ruffing - 2008 - Kant Studien 99 (3):387-392.
Alternatives of Informed Consent for Storage and Use of Human Biological Material for Research Purposes: Brazilian Regulation.Gabriela Marodin, Paulo Henrique Condeixa de França, Jennifer Braathen Salgueiro, Marcia Luz da Motta, Gysélle Saddi Tannous & Anibal Gil Lopes - 2012 - Developing World Bioethics 12 (3):127-131.
Added to PP
Historical graph of downloads