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.
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.