The IEEE Computer Society Technical Committee on Multiple-Valued Logic (TCMVL) promotes research in the theory and application of many-valued systems. Its scope includes Multiple-valued Logic devices and circuits, algebra and formal aspects, fuzzy systems and soft computing, quantum and reversible computing, philosophical aspects, spectral. Selections from IEEE Symposium on Logic in Computer Science. Vol Issue 1, Pages (July ) Download full issue. Previous vol/issue. Next vol/issue. Actions for selected articles. Select all / Deselect all. Download PDFs Export citations. Show all article previews Show all article previews. Proceedings of the 23rd Annual Symposium on Logic in Computer Science (LICS ), Pittsburgh, Pennsylvania, June IEEE Computer Society Press. [ bib ] Henry DeYoung, Deepak Garg, and Frank Pfenning. An authorization logic with explicit time. 58th Annual IEEE Symposium on Foundations of Computer Science Berkeley, California October

Kanovich, M.I., , “Horn Programming in Linear Logic is NP-Complete”, in Proceedings of the Seventh Annual Symposium on Logic in Computer Science, Santa Cruz, IEEE . 34th Annual ACM/IEEE Symposium on Logic in Computer Science United Kingdom FLOC, University of Oxford /07/ On the Deduction Rule and the Number of Proof Lines In Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science. (LICS'91). IEEE Computer Society Press, , pp. Subsumed by the previous two journal articles. The Witness Function Method and Provably Recursive Functions Of Peano Arithmetic. The 58th Annual Symposium on Foundations of Computer Science (FOCS ), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in Berkeley, California on October 15–17, (Sunday through Tuesday). Important Dates: Submission deadline: 5 p.m. Pacific Time, April 6,

In the Proceedings of the Symposium on Reliable Distributed Systems (SRDS ), Osaka, Japan, October Implementing IPv6 as a Peer-to-Peer Overlay Network. Lidong Zhou, Robbert van Renesse, and Michael Marsh. In the Proceedings of the Symposium on Reliable Distributed Systems (SRDS ), Osaka, Japan, October A subexponential algorithm for the discrete logarithm problem with applications to cryptography. In Proceedings of the 20th Annual Symposium on Foundations of Computer Science, S pages 55–60, Washington, DC, USA, IEEE Computer Society. (Cited on . The Symposium will mark the 35 th annual meeting of this flagship conference. The Symposium will be held on May , in San Jose, California at The Fairmont. Latest NewsEnd date: 21 May, The 56th Annual Symposium on Foundations of Computer Science (FOCS ), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in Berkeley, California on October 18–20, (Sunday through Tuesday). Important Dates: Submission deadline: 5 p.m. EDT, April 2,