Manda aí pra gente, o artigo. Abs, D.
-------------------------------------------------- From: "Julio Fontana" <[email protected]> Sent: Thursday, December 16, 2010 2:01 PM To: <[email protected]> Subject: [Logica-l] Res: Doutorismo > Se o doutorismo existe em Filosofia? Claro. Onde poderia mais existir? Os > filósofos se sentem parte de uma elite intelectual. Como dizia Popper, os > filósofos sofrem de megalomania desde de Platão. > > Leiam o artigo Crítica da Arrogância Pura de Alberto Oliva publicado na > revista > Promotheus. > Julio Fontana > Bacharel em Filosofia pela PUC-Rio > Especialização em cultura clássica greco-latina. > > > > > ________________________________ > De: "[email protected]" <[email protected]> > Para: [email protected] > Enviadas: Quinta-feira, 16 de Dezembro de 2010 12:00:02 > Assunto: Digest Logica-l, volume 58, assunto 12 > > Enviar submissões para a lista de discussão Logica-l para > [email protected] > > Para se cadastrar ou descadastrar via WWW, visite o endereço > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > ou, via email, envie uma mensagem com a palavra 'help' no assunto ou > corpo da mensagem para > [email protected] > > Você poderá entrar em contato com a pessoa que gerencia a lista pelo > endereço > [email protected] > > Quando responder, por favor edite sua linha Assunto assim ela será > mais específica que "Re: Contents of Logica-l digest..." > > > Tópicos de Hoje: > > 1. Re: novo periódico: Investigação ? Filosófica (Joao Marcos) > 2. Seminários LoLITA / UFRN - 17Dez2010 (Joao Marcos) > 3. Fwd: LICS 2011 Call for Papers (Joao Marcos) > 4. WoLLIC 2011 - Chamada de Trabalhos - Prazo-limite se aproxima > (01/Jan/2011) (Ruy de Queiroz) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Wed, 15 Dec 2010 12:02:02 -0300 > From: Joao Marcos <[email protected]> > Subject: Re: [Logica-l] novo periódico: Investigação ? Filosófica > To: rodrigo cid <[email protected]> > Cc: Lista acadêmica brasileira dos profissionais e estudante , s da > área de LOGICA <[email protected]> > Message-ID: > <[email protected]> > Content-Type: text/plain; charset=UTF-8 > >> É com grande prazer que lançamos o periódico *Investigação ? Filosófica*. >> Nosso objetivo principal ao criá-lo é por à disposição da comunidade >> acadêmica de Filosofia um meio de publicação mais abrangente > > Só posso parabenizar a iniciativa. > >> que os meios tradicionais e que não sofra de doutorismo. >> Doutorismo é a atitude de muitos editores de periódicos de filosofia >> de apenas aceitarem textos de doutores sem levar em conta a qualidade. > > Isto existe mesmo, na área de Filosofia? > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > > > ------------------------------ > > Message: 2 > Date: Wed, 15 Dec 2010 13:24:41 -0300 > From: Joao Marcos <[email protected]> > Subject: [Logica-l] Seminários LoLITA / UFRN - 17Dez2010 > To: Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA <[email protected]> > Message-ID: > <[email protected]> > Content-Type: text/plain; charset=UTF-8 > > Mais um seminário do > Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações > da UFRN: > > > *Logicamente*: um Ambiente Virtual de Aprendizagem para Lógica baseado > em roteiros de aprendizagem > http://groups.google.com/group/lolita-ufrn/web/lolita-seminars#PCAT-17122010 > --Patrick C. A. Terrematte (PPgSC - DIMAp / UFRN) > Local: Sala de reuniões do DIMAp > Data: 17-Dez-10, 09:00-10:00 > > Resumo: > A Lógica é um campo de estudos relacionado a diversos cursos de > graduação, e através de sua aplicação em vários domínios é possível > aprimorar a análise de informações e processos de raciocínio. Na > maioria destes cursos, a Lógica representa um desafio pedagógico tanto > para professores como para alunos, e é notável o número de reprovações > e desistências na disciplina. Uma das razões desse problema está na > distância entre os aspectos repetitivos dos exercícios de aprendizagem > e o aspecto criativo da própria atividade de pesquisar ou aplicar > Lógica, seja profissionalmente na acadêmia, ou na indústria. Dada a > necessidade de fornecer uma base sólida na disciplina, e desenvolver > criativamente o próprio processo de aprendizagem, nós propomos o > Logicamente, um Ambiente Virtual de Aprendizagem (AVA) para o ensino > e a aprendizagem de Lógica. Nosso AVA é formado por um conjunto de > Objetos de Aprendizagem combinados com seus respectivos roteiros de > aprendizagem. O Logicamente ilustra algoritmos e conceitos > fundamentais de Lógica, assim como possibilita aos alunos conduzirem > atividades práticas envolvendo o aprendizado e compreensão da Lógica > em áreas como a Teoria da Demonstração e a Semântica da Lógica. > > > ------------------------------ > > Message: 3 > Date: Wed, 15 Dec 2010 18:09:52 -0300 > From: Joao Marcos <[email protected]> > Subject: [Logica-l] Fwd: LICS 2011 Call for Papers > To: Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA <[email protected]> > Message-ID: > <[email protected]> > Content-Type: text/plain; charset=UTF-8 > > ---------- Forwarded message ---------- > > > Twenty-Sixth Annual IEEE Symposium on > > LOGIC IN COMPUTER SCIENCE (LICS 2011) > > June 21--24, 2011, Toronto, Canada > > http://www.informatik.hu-berlin.de/lics/lics11/ > > CALL FOR PAPERS > > > LICS 2011 will be held at the Fields Institute on the campus of the > University > of Toronto in Toronto, Ontario, Canada, from June 21st to the 24th, 2011. > > The LICS Symposium is an annual international forum on theoretical and > practical topics in computer science that relate to logic broadly > construed. > We invite submissions on topics that fit under that rubric. > Suggested, but not exclusive, topics of interest for submissions include: > automata theory, automated deduction, categorical models and logics, > concurrency and distributed computation, constraint programming, > constructive mathematics, database theory, description logics, > domain theory, finite model theory, formal aspects of program analysis, > formal methods, higher-order logic, hybrid systems, lambda and combinatory > calculi, linear logic, logical aspects of bioinformatics, logical aspects > of > computational complexity, logical aspects of quantum computation, > logical frameworks, logic in artificial intelligence, logics of programs, > logic programming, modal and temporal logics, model checking, > probabilistic systems, process calculi, programming language > semantics, proof theory, reasoning about security, rewriting, type > systems and type theory, and verification. > > > Tutorial Day: > At LICS 2011, we will start a series of tutorials on the core areas > of logic in computer science. Rather than focussing on a specialised > topic, these tutorials will highlight the basic questions, techniques and > motivation of a broader area. The tutorials are aimed to be accessible > to all LICS participants. In 2011, we will have two half-day tutorials on > Finite Model Theory and Semantics respectively, to be held on June 20. > The speakers will be > * Albert Atserias (UPC Barcelona) on Finite Model Theory and > * Prakash Panangaden (McGill University, Montreal) on Semantics. > > > Invited Speakers: > * Naoki Kobayashi, Tohoku University > http://www.kb.ecei.tohoku.ac.jp/~koba/ > * Andrei Krokhin, University of Durham > http://www.dur.ac.uk/andrei.krokhin/ > * Toniann Pitassi, University of Toronto > http://www.cs.toronto.edu/~toni/ > * Ashish Tiwari, SRI > http://www.csl.sri.com/users/tiwari/ > > > Important Dates: > * Workshop Proposals Deadline: 16 November 2010 > * Paper Registration Deadline (with short abstracts): 5 January 2011 > * Paper Submission Deadline: 12 January 2011 > * Author Notification: 7 March 2011 > * Final Versions for the Proceedings: 4 April 2011 > * Conference: 21?24 June 2011 > (All deadlines are 11:59pm GMT.) > > Authors are required to submit a paper title and a short abstract of > about 100 words > before submitting the extended abstract of the paper. All > submissions will be electronic. > > All deadlines are firm; late submissions will not be considered. > Submission is open at > http://www.easychair.org/conferences/?conf=lics2011. > > > Submission Instructions: > Every extended abstract must be submitted in the IEEE Proceedings > two-column camera-ready format and may be no longer than 10 pages > including reference with a font size of 10pt. The LaTeX style files > are available at > http://www2.informatik.hu-berlin.de/lics/lics11/sub-ins.html. > > The abstract must be in English and provide sufficient detail to allow > the program committee to assess the merits of the paper. > It should begin with a succinct statement of the issues, > a summary of the main results, and a brief explanation of their > significance and relevance to the conference and to > computer science, all phrased for the non-specialist. > Technical development directed to the specialist should follow. > References and comparisons with related work should be included. > If necessary, detailed proofs of technical results can be included in a > clearly-labelled appendix following the 10-page extended abstract. > This material may be read at the discretion of the program committee. > > Extended abstracts not conforming to the above requirements > concerning format and length may be rejected without further > consideration. > > The results must be unpublished and not submitted for publication > elsewhere, including the proceedings of other symposia or workshops. > The PC chair should be informed of closely related work submitted to a > conference or journal in advance of submission. > All authors of accepted papers will be expected to sign copyright > release forms. One author of each accepted paper will be expected to > present it at the conference. > > > Short Presentations: > LICS 2011 will have a session of short (10 minute) presentations. > This session is intended for descriptions of work in progress, student > projects, and relevant research being published elsewhere; other brief > communications may be acceptable. Submissions for these presentations, > in the form of short abstracts (1 or 2 pages long), should be entered > at the LICS 2011 submission site. Dates will be posted at the LICS > website. > > > Program Chair: > Martin Grohe, Humboldt Univ., Berlin > [email protected] > > > Program Committee: > Eli Ben-Sasson, Technion, Haifa > Patrick Baillot, CNRS & ENS, Lyon > Patricia Bouyer-Decitre, ENS, Cachan > Balder ten Cate, UC Santa Cruz > Thierry Coquand, Univ. of Gothenburg > Victor Dalmau, UPF, Barcelona > Josée Desharnais, Univ. Laval, Québec > Kousha Etessami, Univ. of Edinburgh > Philippa Gardner, Imperial College, London > Rob van Glabbeek, NICTA, Sydney > Guillem Godoy, UPC, Barcelona > Martin Grohe, HU Berlin > Martin Hofmann, LMU Munich > Vineet Kahlon, NEC Labs, Princeton > Stephan Kreutzer, Univ. of Oxford > Dale Miller, INRIA, Saclay > Leonardo de Moura, Microsoft Research, Redmond > Luke Ong, Univ. of Oxford > Benjamin Rossman, MIT, Cambridge > Davide Sangiorgi, Univ. of Bologna > Luc Segoufin, INRIA & ENS, Cachan > Matt Valeriote, McMaster Univ., Hamilton > Andrei Voronkov, Univ. of Manchester > Igor Walukiewicz, Univ. of Bordeaux > Thomas Wilke, Univ. of Kiel > > > Kleene Award for Best Student Paper: > An award in honour of the late S.~C.~Kleene will be given for the > best student > paper, as judged by the program committee. Details concerning > eligibility > criteria and procedure for consideration for this award will be > posted at the LICS > website. The program committee may decline to make the award or may > split > it among several papers. > > > Special Issue: > Full versions of upto 3 accepted papers, to be selected by the > program committee, > will be invited for submission to the Journal of the ACM. Additional > selected papers > will be invited to the special issue of the open-access journal > Logical Methods in > Computer Science. > > > Affiliated Workshops: > As in previous years, there will be a number of workshops affiliated > with LICS 2011; > information will be posted at the LICS website. > > > Conference Co-Chairs: > * Benoit Larose, Champlain Regional College > [email protected] > * Matt Valeriote, McMaster Univ., Hamilton > [email protected] > > > Workshops Co-Chairs: > * Adriana Compagnoni, Stevens Inst. of Technology, New-Jersey > * Maribel Fernández, King's College London > > > Publicity Co-Chairs: > * Andrzej Murawski, Univ. of Leicester > * Stephan Kreutzer, Univ. of Oxford > > > Treasurer: > * Martín Escardó, Univ. of Birmingham > > > General Chair: > * Rajeev Alur > Univ. of Pennsylvania, Philadelphia > [email protected] > > > Organizing Committee: > Martín Abadi, Rajeev Alur (chair), Paul Beame, Maria Paola Bonacina, > Samuel Buss, Edmund M. Clarke, Adriana Compagnoni, Martín Escardó, > Maribel Fernández, Lance Fortnow, Jürgen Giesl, Martin Grohe, > Jean-Pierre Jouannaud, Phokion Kolaitis, Stephan Kreutzer, Benoit > Larose, Johann (Janos) A. Makowsky, Burkard Monien, Andrzej Murawski, > Jens Palsberg, Andrew Pitts, Philip Scott, Matt Valeriote > > > Advisory Board: > Martín Abadi, Samson Abramsky, Yuri Gurevich, Thomas A. Henzinger, > Claude Kirchner, Phokion Kolaitis, Dexter Kozen, Ursula Martin, John > Mitchell, Luke Ong, Leszek Pacholski, Gordon Plotkin, Andre Scedrov, > Moshe Y. Vardi, Glynn Winskel > > > Sponsorship: > The symposium is sponsored by the IEEE Technical Committee on > Mathematical Foundations of Computing in cooperation with the > Association for Symbolic Logic, the European Association for > Theoretical Computer Science, and the Fields Institute. > > > ------------------------------ > > Message: 4 > Date: Thu, 16 Dec 2010 09:09:35 -0300 > From: Ruy de Queiroz <[email protected]> > Subject: [Logica-l] WoLLIC 2011 - Chamada de Trabalhos - Prazo-limite > se aproxima (01/Jan/2011) > To: Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA <[email protected]> > Message-ID: > <[email protected]> > Content-Type: text/plain; charset=ISO-8859-1 > > *WoLLIC 2011 > 18th Workshop on Logic, Language, Information and Computation * > *May 18th to 21st, 2011 > * > > *University of Pennsylvania > Philadelphia, USA* > > *Scientific Sponsorship* > *Interest Group in Pure and Applied Logics > (IGPL<http://www.cin.ufpe.br/~igpl/> > )* > *The Association for Logic, Language and Information > (FoLLI<http://www.folli.org/> > )* > *Association for Symbolic Logic (ASL <http://www.aslonline.org/>)* > *European Association for Theoretical Computer Science > (EATCS<http://www.eatcs.org/> > )* > *European Association for Computer Science Logic > (EACSL<http://www.eacsl.org/> > )* > *Sociedade Brasileira de Computação (SBC <http://www.sbc.org.br/>)* > *Sociedade Brasileira de Lógica (SBL <http://www.cle.unicamp.br/sbl/>)* > > *Organisation* > *Department of Mathematics <http://www.math.upenn.edu/>, University of > Pennsylvania <http://www.upenn.edu/>, USA > Centro de Informática <http://www.cin.ufpe.br/>, Universidade Federal de > Pernambuco <http://www.ufpe.br/>, Brazil * > > ------------------------------ > There will be a Special Session honoring Max Kanovich on the occasion of > his > 65-th birthday > Speakers include John Mitchell, Mitsuhiro Okada, Paul Rowe, and others > (tba)Call > for PapersWoLLIC <http://wollic.org/> is an annual international forum on > inter-disciplinary research involving formal logic, computing and > programming theory, and natural language and reasoning. Each meeting > includes invited talks and tutorials as well as contributed papers. The > eighteenth WoLLIC will be held at the University of Pennsylvania, > Philadelphia, USA, from May 18th to 21st, 2011. It is sponsored by the > Association > for Symbolic Logic <http://www.aslonline.org/> (ASL), the Interest Group > in > Pure and Applied Logics <http://www.cin.ufpe.br/~igpl> (IGPL), the The > Association for Logic, Language and Information > <http://www.folli.org/>(FoLLI), > the European Association for Theoretical Computer > Science<http://www.eatcs.org/> (EATCS), > the European Association for Computer Science Logic > <http://www.eacsl.org/> (EACSL), > the Sociedade Brasileira de Computação <http://www.sbc.org.br/> (SBC), and > the Sociedade Brasileira de Lógica <http://www.cle.unicamp.br/sbl/> (SBL). > > *Paper submission* > Contributions are invited on all pertinent subjects, with particular > interest in cross-disciplinary topics. Typical but not exclusive areas of > interest are: foundations of computing and programming; novel computation > models and paradigms; broad notions of proof and belief; formal methods in > software and hardware development; logical approach to natural language > and > reasoning; logics of programs, actions and resources; foundational aspects > of information organization, search, flow, sharing, and protection. > Proposed > contributions should be in English, and consist of a scholarly exposition > accessible to the non-specialist, including motivation, background, and > comparison with related works. They must not exceed 10 pages (in font 10 > or > higher), with up to 5 additional pages for references and technical > appendices. The paper's main results must not be published or submitted > for > publication in refereed venues, including journals and other scientific > meetings. It is expected that each accepted paper be presented at the > meeting by one of its authors. Papers must be submitted electronically at > the WoLLIC 2011 EasyChair website. (Please go to > http://wollic.org/wollic2011/instructions.html for instructions.) A title > and single-paragraph abstract should be submitted by January 1, and the > full > paper by January 8 (firm date). Notifications are expected by February 21, > and final papers for the proceedings will be due by March 1 (firm date). > > *Proceedings* > The proceedings of WoLLIC 2011, including both invited and contributed > papers, will be published in advance of the meeting as a volume in > Springer's LNCS <http://www.springer.com/lncs> series. In addition, > abstracts will be published in the Conference Report section of the *Logic > Journal of the IGPL*, and selected contributions will be published as a > special post-conference WoLLIC 2011 issue of the Annals of Pure and > Applied > Logic (to be confirmed). > > *Invited Speakers* > > *Rajeev Alur* <http://www.cis.upenn.edu/~alur/> (Philadelphia) > *Rosalie Iemhoff* <http://www.phil.uu.nl/~iemhoff/eigen.html> (Utrecht) > *John Mitchell* <http://theory.stanford.edu/people/jcm/> (Stanford) > *Vladimir Voevodsky* <http://www.math.ias.edu/~vladimir/Site3/home.html> > (Princeton) > *Yoad Winter* <http://www.phil.uu.nl/~yoad/> (Utrecht) > *Michael Zakharyaschev* <http://www.dcs.bbk.ac.uk/~michael/> (London) > > *Student Grants* > ASL sponsorship of WoLLIC 2011 will permit ASL student members to apply > for > a modest travel grant (deadline: February 18, 2011). See > http://www.aslonline.org/studenttravelawards.html for details. > > *Important Dates* > > January 1, 2011: Paper title and abstract deadline > January 8, 2011: Full paper deadline (firm) > February 21, 2011: Author notification > March 1, 2011: Final version deadline (firm) > > *Programme Committee* > > Sergei Artemov <http://web.cs.gc.cuny.edu/~sartemov/> (New York) > Jeremy Avigad <http://www.andrew.cmu.edu/user/avigad/> (Pittsburgh) > Arnold Beckman <http://www.cs.swan.ac.uk/~csarnold/> (Swansea) > Lev Beklemishev <http://www.mi.ras.ru/~bekl/> (Moscow) (CHAIR) > Alessandro Berarducci <http://www.dm.unipi.it/~berardu/> (Pisa) > Andreas Blass <http://www.math.lsa.umich.edu/~ablass/> (Ann Arbor) (tbc) > Sam Buss <http://www.math.ucsd.edu/~sbuss/> (San Diego) > Achim Jung <http://www.cs.bham.ac.uk/~axj/> (Birmingham) > Benedikt Löwe <http://staff.science.uva.nl/~bloewe/> (Amsterdam) > Janos Makowsky <http://www.cs.technion.ac.il/~janos/> (Haifa) > Michael Moortgat <http://www.let.uu.nl/~ctl/docenten/moortgat.html> > (Utrecht) > Vincent van Oostrom <http://www.phil.uu.nl/~oostrom/> (Utrecht) > Prakash Panangaden <http://www.cs.mcgill.ca/~prakash/> (Montréal) > Rohit Parikh <http://www.sci.brooklyn.cuny.edu/cis/parikh/> (New York) > Ruy de Queiroz <http://www.cin.ufpe.br/~ruy> (Recife) > Alexander Shen <http://www.poncelet.ru/pers/shen.htm> (Marseilles and > Moscow) > Bas Spitters <http://www.cs.ru.nl/~spitters/> (Nijmegen) > Helmut Veith <http://www7.in.tum.de/~veith/> (Wien) > Yde Venema <http://staff.science.uva.nl/~yde/> (Amsterdam) > Scott Weinstein <http://www.cis.upenn.edu/~weinstei/> (Philadelphia) > Frank Wolter <http://www.csc.liv.ac.uk/~frank/> (Liverpool) > > *Steering Committee* > > Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid > Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, > Ruy > de Queiroz. > > *Organising Committee* > > Vivek Nigam <http://www.math.upenn.edu/~vnigam/> (U Penn) > Anjolina G. de Oliveira <http://www.cin.ufpe.br/~ago> (U Fed Pernambuco) > Ruy de Queiroz <http://www.cin.ufpe.br/~ruy> (U Fed Pernambuco) > (co-chair) > Andre Scedrov <http://www.cis.upenn.edu/~scedrov/> (U Penn) (co-chair) > > *Further information* > Contact one of the Co-Chairs of the Organising Committee. > > *Web page* > http://wollic.org/wollic2011/ > > > ------------------------------ > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > Fim da Digest Logica-l, volume 58, assunto 12 > ********************************************* > > > > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
