1 Nov 08:01 2004

### Re:ICALP workshop proposal: Applications of New Proof Theory

At 15:24 +0200 28.10.04, Charles A Stewart wrote: >I talked yesterday with Alessio about the possibility of putting >together a workshop that would highlight the kind of proof theory >that we like: deep inference, rewriting modulo, and generally >good proof theory. I think the idea of "new proof theory" is a way >to get away from the unhealthy conservatism that cripples so much >work on proof theory done in the LICS community. I think the workshop might be a good idea. I checked with Catuscia (who's PC chair) and she told me that what we do fits ICALP very well. I'm not sure about "new proof theory" etc. I would go for a lower, technical profile rather than an ideological one. The workshop organisation might be a collaboration with Nancy, also as a nice way to conclude our Procope project. What do you think Francois? A theme could be "Deep inference and proof nets", or something like that, joining in the broadest sense our common themes. Since we organised in Dresden already several workshops along these lines, we should have a certain credibility. One common goal to state could be getting to deductive proof nets. A more provocative idea could be to dedicate the workshop to something like "towards deductive proof nets", but I don't know how many people share my feelings about the subject... One thing I'd like to do is having a face-to-face discussion about the issues in the last several emails about strategic goals, ways to(Continue reading)