23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

Source URL: www.cs.rhul.ac.uk

Program of the Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE 21–24 June 2011, Toronto, Ontario, Canada The symposium is sponsored by the IEEE Computer Society’s Technical Committee on Mathematical

Source URL: lics.rwth-aachen.de

2015 IEEE Symposium on Security and Privacy TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits Ebrahim M. Songhori∗ , Siam U. Hussain∗ , Ahmad-Reza Sadeghi† , Thomas Schneider† , Farinaz Kous

Source URL: www.ieee-security.org

• Electronic engineering
• Digital electronics
• Electronics
• Electronic design automation
• Electronic design
• Logic in computer science
• Cryptographic protocols
• Garbled circuit
• Boolean circuit
• Sequential logic
• Logic synthesis
• Standard cell

Call for Workshop Proposals LICS 2011 26th IEEE Symposium on Logic In Computer Science http://www2.informatik.hu-berlin.de/lics/lics11/ The twenty-sith IEEE Symposium on Logic In Computer Science (LICSwill be held

Source URL: lics.rwth-aachen.de

• Logic in computer science
• Symposium on Logic in Computer Science

CALL FOR PAPERS Twenty-Second Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS10th – 14th July 2007, Wrocław, Poland http://www.informatik.hu-berlin.de/lics/lics07/

Source URL: lics.rwth-aachen.de

23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

Source URL: www.cs.rhul.ac.uk

Gundersen, T., Heijltjes, W. and Parigot, MAtomic lambda-calculus : A typed lambda-calculus with explicit sharing. In: Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 31

Source URL: www.cs.bath.ac.uk

Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania

Source URL: www.cis.upenn.edu

• Computer science
• Rajeev Alur
• Formal sciences
• Automata theory
• Model checking
• IEEE Symposium on Logic in Computer Science
• Formal methods
• Formal verification
• Symposium on Theory of Computing
• Theoretical computer science
• Applied mathematics
• Logic in computer science

Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014

Source URL: eacsl.kahle.ch

• Logic in computer science
• IEEE Symposium on Logic in Computer Science
• Kleene award
• Association for Computing Machinery
• Federated Logic Conference
• ACM SIGACT
• Theoretical computer science
• Computer science
• Applied mathematics

Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair)

Source URL: stacs2009.informatik.uni-freiburg.de

• Computer science
• Academic publishing
• University of Freiburg
• Susanne Albers
• Proceedings
• IEEE Symposium on Logic in Computer Science
• Electronic submission
• CONFER
• Theoretical computer science
• Symposium on Theoretical Aspects of Computer Science
• Academia