LO feeds

LO
  The Journal of Symbolic Logic
  ICLP
  CADE
  Workshop on Logic, Language, Information and Computation
  Journal of Applied Logic
  Science of Computer Programming
  Theory and Practice of Logic Programming
  Annals of Pure and Applied Logic
  Mathematical Structures in Computer Science
  CAV
  Conference on Algebra and Coalgebra in Computer Science
  Paraconsistent Computational Logic
  Journal of Applied Non-Classical Logics
  Logical Methods in Computer Science
  FoSSaCS
  TLCA
  RTA
  Journal of Logic and Computation
  ESOP
  Journal of Automated Reasoning
  LPAR
  Journal of Logic, Language and Information
  PPDP
  CSF(W)
  Logic Journal of the IGPL / Bulletin of the IGPL
  Formal Modeling and Analysis of Timed Systems
  ACM Transactions on Computational Logic (TOCL)
  Quantitative Evaluation of Systems
  TACAS
  LPNMR
  Fundamenta Informaticae
  JELIA
  TIME
  IFIP TCS
  Studia Logica
  Interactive Theorem Proving
  CSL
  LICS
  Automated Technology for Verification and Analysis
  CONCUR
  Electronic Notes in Theoretical Computer Science
  Description Logics Workshops