------------------------------------------------- ------------------------------------------------- Plenary lectures ------------------------------------------------- Carlos Areces (INRIA Nancy Grand Est) Logics to Describe and Change ------------------------------------------------- Carlos Caleiro (Department of Mathematics, TU Lisbon) ------------------------------------------------- Gregory Chaitin (IBM T. J. Watson Research Center, New York) Life as evolving software ------------------------------------------------- Newton da Costa (UFSC/USP) ------------------------------------------------- Hans van Ditmarsch (Dept. of Logic, University of Sevilla) Dynamic Epistemic Logic ------------------------------------------------- Richard L. Epstein (Advanced Reasoning Forum) Reasoning about the World as Process ------------------------------------------------- Louis F. Goble (Department of Philosophy, Willamette University) Deontic Logic (Adapted) for Normative Conflicts ------------------------------------------------- Carlos Di Prisco (Instituto Venezolano de Investigaciones Cienticas) ------------------------------------------------- José Iovino (University of Texas at San Antonio) ------------------------------------------------- ------------------------------------------------- The Future of Logic - Roundtable Jean-Yves Beziau, UFRJ (Org)
Logic was a major field or research in the XXth century, it had a tremendous influence on computer science, mathematics, philosophy, linguistics ... We may wonder if in the next future, the XXIth century, the power of logic will go on developing, if challenging new logical theories will be created, if innovative applications will appear changing the face of the world. Four logicians will talk about this issue from four different perspectives: Walter Carnielli, UNICAMP, (Computation) Oswaldo Chateaubriand, PUC-Rio (Metaphysics) Decio Krause, UFSC (Philosophy of Science) Francisco Miraglia, USP (Mathematics) ------------------------------------------------- ------------------------------------------------- Turing Session Machines from Turing to Quantum ------------------------------------------------- ------------------------------------------------- Pannel Section on Critical Thinking and Logic (in Portuguese and in English) Exchange of teaching and pedagogical experiences. Walter Carnielli (UNICAMP) Richard L. Epstein (Advanced Reasoning Forum) ------------------------------------------------- ------------------------------------------------- And parallel sessions of contributed papers. ------------------------------------------------- ------------------------------------------------- _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
