[TYPES/announce] FLoC 2018 Workshop: Twenty years of deep inference

[lutz at lix.polytechnique.fr]

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)