Noticias de la Internet
En http://www.bell-labs.com/topic/conferences/lics/ se encuentra información sobre unas 60
reuniones sobre lógica. Incluye, entre otras, Symposium on Logical Formalizations of
Commonsense Reasoning, Theorem Proving with Analytic Tableaux and Related Methods,
Algebraic and Logic Programming, Association for Symbolic Logic, International Conference
on Automated Deduction, Workshop on Computational Propositional Logic, Computer Science
Logic, International Conference on Formal and Applied Practical Reasoning, Higher-Order
Algebra, Logic and Term Rewriting, Higher Order Logic Theorem Proving and Applications,
International Congress of Logic, Methodology, and Philosophy of Science, International
Conference on Temporal Logic, International Logic Programming Symposium, International
Conference on Logic Programing, International Symposium on Multiple-Valued Logic, Logical
Foundations of Computer Science, Logic in Computer Science, Logic Programming and
Nonmonotonic Reasoning, Non-Standard Logics and Logical Aspects of Computer Science,
Conference on Typed Lambda Calculi and Applications y Workshop on Logic, Language,
Information and Computation.
En números próximos de este boletín explicaremos más cómo conectarse a los servicios de Internet.
Regresar a la página de Modus Ponens
Regresar a la página de Raymundo
Regresar a la página del IIF