20 years of deep inference, call for participation

20 years of deep inference, call for participation

[Lutz Strassburger]

******************** Call for Participation *************************

                      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

- bring together researchers in the area of deep inference to exchange
    ideas and to discuss their current work, and

- present this vast growing field in a coherent, easy accessible way
    to other communities in all areas of logic in computer science. In
    particular, there will be a gentle introduction to deep inference
    given by Willem Heijltjes (University of Bath).


Invited Talks:
--------------

Willem Heijltjes (University of Bath):
"An introduction to deep inference"

Alessio Guglielmi(University of Bath):
"Two Unifying Structural Principles"

Dominic Hughes (UC Berkeley):
"Some incoherent musings on deep inference and combinatorial proofs"

Anupam Das (University of Copenhagen):
"Proof complexity of deep inference: a survey"


Contributed Talks:
------------------

Joseph Paulus: "Deep-Inference Intersection Types"
Ross Horne: "Truely Concurrent Processes in the Calculus of Structures"
Elaine Pimentel: "Sequentialising nested systems"
Sonia Marin: "Nested sequents for modal logics and beyond"
Benjamin Ralph: "Deep Inference, Herbrand???s Theorem and Expansion Proofs"


Registration:
-------------

Please use the FLoC registration page:

<http://www.floc2018.org/register/>

Note: Early registration ends on June 6!


Accomodation:
-------------

can be booked via the FLoC accomodation page:

<http://www.floc2018.org/accommodation/>


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

Andrea Aler-Tubella (IRIF, CNRS & Univ. Diderot)
Lutz Stra??burger (Inria Saclay)




[For admin and other information see: http://www.mta.ca/~cat-dist/ ]