[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Only two days left for submission ... TWENTY YEARS OF DEEP INFERENCE Oxford, July 7, 2018 Part of FLoC 2018 <https://www.lix.polytechnique.fr/~lutz/orgs/TYDI2018.html> Aim and Scope: -------------- Deep inference is a paradigm for designing deductive proof systems. The inference rules in such systems can perform arbitrary rewriting inside formulas. This is very different from what one would expect from more traditional formalisms, like sequent calculus or natural deduction, where formulas are always decomposed along their main connective. The purpose of this workshop is to - present this vast growing field in a coherent, easy accessible way to other communities in all areas of logic in computer science, and - bring together researchers in the area of deep inference to exchange ideas and to discuss their current work. Invited Speakers: ----------------- Alessio Guglielmi (University of Bath) Willem Heijltjes (University of Bath) Contributions: -------------- Since we will not publish any proceedings, we accept talks about work in progress as well as already published/submitted work and surveys. However, we do not allow work that is presented at another FLoC event. Submission Instructions: ------------------------ If you want to give a talk please submit an abstract 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 25 May 2018: Final version for USB flash drive 7 July 2018: Workshop Organization: ------------- Andrea Aler Tubella (IRIF - CNRS & Univ. Paris Diderot) Lutz Straßburger (Inria Saclay & LIX, Ecole Polytechnique)