Workshop on Structures and Deduction at ICALP

The “deep inference/calculus of structures” gang is organizing a workshop at ICALP (July 16-17) on “Structures and Deduction: The Quest for the Essence of Proofs.” Deadline for paper submissions is April 15. Another opportunity to visit Lisbon.

Leave a Reply

Your email address will not be published. Required fields are marked *