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

Andrea Aler Tubella aler at irif.fr
Fri Dec 8 12:35:32 EST 2017


******************** First Call for Contributions *******************

                     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. 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 Strassburger (Inria Saclay)


More information about the Types-announce mailing list