The following four papers authored by Parsifal team members have been accepted to CSL-LICS 2014:
- Anupam Das. Pigeonhole and related combinatorial principles in deep inference and monotone systems
- Danko Ilik. Axioms and Decidability for Type Isomorphism in Presence of Sums
- Nicolas Guenot and Lutz Strassburger. Symmetric Normalisation for Intuitionistic Logic
- Kaustuv Chaudhuri and Nicolas Guenot. Equality and Fixpoints in the Calculus of Structures
