[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


*************************************

                    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
7 July 2018: Workshop


Organization:
-------------

Andrea Aler Tubella (IRIF- CNRS & Univ. Paris Diderot)
Lutz Stra├čburger (Inria Saclay)

Reply via email to