[TYPES/announce] Twenty years of deep inference workshop- last CfP

act of 1-3 pages in pdf format via the EasyChair submission page: <https://easychair.org/conferences/?conf=tydi0> Important Dates: 15 April 2018: abstract submission deadline 15 May 2018: Author notification 7 July 2018: Workshop Organization: ----- Andrea Aler T

[TYPES/announce] Twenty Years of Deep Inference workshop- second CfP

-- 15 April 2018: abstract submission deadline 15 May 2018: Author notification 7 July 2018: Workshop Organization: ----- Andrea Aler Tubella (IRIF, CNRS & Univ. Paris Diderot) Lutz Straßburger (Inria Saclay)

[TYPES/announce] Twenty Years of Deep Inference workshop: first CfP

2018: Author notification 7 July 2018: Workshop Organization: ----- Andrea Aler Tubella (IRIF, CNRS & Univ. Paris Diderot) Lutz Strassburger (Inria Saclay)