CFP: Workshop on Gentzen Systems and Beyond, Vienna (Austria), 13 July 2014

--001a1136a76a13892104f1a795c4
Content-Type: text/plain; charset=ISO-8859-1

------------------------------------------------------------------------------------

CALL FOR PAPERS

The Third International Workshop on
GENTZEN SYSTEMS AND BEYOND

http://vsl2014.at/pages/GSB-cfp.html

July 13, 2014

Vienna, Austria

Affiliated wtih CSL-LICS 2014.
Hosted by the 2014 Federated Logic Conference.
Part of Vienna Summer of Logic 2014.
------------------------------------------------------------------------------------

IMPORTANT DATES

Submission deadline April 13, 2014
Author notification May 9, 2014
Final version May 20, 2014
------------------------------------------------------------------------------------

PAPER SUBMISSIONS

Abstracts of 1-2 pages in EasyChair LaTeX style should be submitted
electronically as PDF files via the EasyChair submission site:

https://www.easychair.org/conferences/?conf=gsb3
------------------------------------------------------------------------------------

AIMS AND SCOPE

This is a workshop on Gentzen-style proof systems, their generalizations,
and extensions. Since the introduction of the sequent calculus and natural
deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms
have been used to construct proof systems for logics resisting a simpler
description, including hypersequents, deep inference systems, display
calculi, labelled deductive systems, tableaux, and proof nets, to name just
a few. The aim of this workshop is to explore and compare the motivations
for and relative merits of these different approaches. Potential topics for
talks include:

* Cut-elimination and its applications, e.g., decidability, complexity
results, interpolation, amalgamation, completeness proofs, computational
interpretations, etc.

* Scope, limitations, interrelationships, and philosophical aspects of
various formalisms.

A broader aim of the workshop is to build a bridge between researchers into
theoretical aspects of structural proof theory and the more
application-oriented goals of the proof theory community, particularly in
cases where the methods, such as constructing analytic systems, are shared.
------------------------------------------------------------------------------------

INVITED SPEAKERS

Alex Simpson, University of Edinburgh

Anna Zamansky, University of Haifa
------------------------------------------------------------------------------------

PROGRAM COMMITTEE

Roman Kuznets (University of Bern)
George Metcalfe (University of Bern)

--001a1136a76a13892104f1a795c4
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div style=3D"font-family:arial,sans-serif;font-size:13px"=
>--------------------------------------------------------------------------=
----------</div><div style=3D"font-family:arial,sans-serif;font-size:13px">=
<br>

</div><div style=3D"font-family:arial,sans-serif;font-size:13px">CALL FOR P=
APERS</div><div style=3D"font-family:arial,sans-serif;font-size:13px"><br><=
/div><div style=3D"font-family:arial,sans-serif;font-size:13px">The Third I=
nternational Workshop on=A0</div>

<div style=3D"font-family:arial,sans-serif;font-size:13px">GENTZEN SYSTEMS =
AND BEYOND</div><div style=3D"font-family:arial,sans-serif;font-size:13px">=
<br></div><div style=3D"font-family:arial,sans-serif;font-size:13px"><a hre=
f=3D"http://vsl2014.at/pages/GSB-cfp.html" target=3D"_blank">http://vsl2014=
.at/pages/GSB-cfp.html</a></div>

<div style=3D"font-family:arial,sans-serif;font-size:13px"><br></div><div s=
tyle=3D"font-family:arial,sans-serif;font-size:13px">July 13, 2014=A0</div>=
<div style=3D"font-family:arial,sans-serif;font-size:13px">=A0</div><div st=
yle=3D"font-family:arial,sans-serif;font-size:13px">

Vienna, Austria<br></div><div style=3D"font-family:arial,sans-serif;font-si=
ze:13px"><br></div><div style=3D"font-family:arial,sans-serif;font-size:13p=
x">Affiliated wtih CSL-LICS 2014.</div><div style=3D"font-family:arial,sans=
-serif;font-size:13px">

Hosted by the 2014 Federated Logic Conference.</div><div style=3D"font-fami=
ly:arial,sans-serif;font-size:13px">Part of Vienna Summer of Logic 2014.</d=
iv><div style=3D"font-family:arial,sans-serif;font-size:13px">-------------=
-----------------------------------------------------------------------</di=
v>

<div style=3D"font-family:arial,sans-serif;font-size:13px"><br></div><div s=
tyle=3D"font-family:arial,sans-serif;font-size:13px">IMPORTANT DATES<br></d=
iv><div style=3D"font-family:arial,sans-serif;font-size:13px"><br></div><di=
v style=3D"font-family:arial,sans-serif;font-size:13px">

Submission deadline<span style=3D"white-space:pre-wrap">	</span>April 13, 2=
014</div><div style=3D"font-family:arial,sans-serif;font-size:13px">Author =
notification<span style=3D"white-space:pre-wrap">	</span>May 9, 2014</div><=
div style=3D"font-family:arial,sans-serif;font-size:13px">

Final version<span style=3D"white-space:pre-wrap">	        </span>May 20, 2=
014</div><div style=3D"font-family:arial,sans-serif;font-size:13px"><div>--=
---------------------------------------------------------------------------=
-------</div>

<div><br></div><div>PAPER SUBMISSIONS</div><div><br></div><div>Abstracts of=
 1-2 pages in EasyChair LaTeX style should be submitted electronically as P=
DF files via the EasyChair submission site:</div><div><br></div><div><a hre=
f=3D"https://www.easychair.org/conferences/?conf=3Dgsb3" target=3D"_blank">=
https://www.easychair.org/conferences/?conf=3Dgsb3</a></div>

<div></div><div>-----------------------------------------------------------=
-------------------------</div></div><div style=3D"font-family:arial,sans-s=
erif;font-size:13px"><br></div><div style=3D"font-family:arial,sans-serif;f=
ont-size:13px">

AIMS AND SCOPE<br></div><div style=3D"font-family:arial,sans-serif;font-siz=
e:13px"><br></div><div style=3D"font-family:arial,sans-serif;font-size:13px=
">This is a workshop on Gentzen-style proof systems, their generalizations,=
 and extensions. Since the introduction of the sequent calculus and natural=
 deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms h=
ave been used to construct proof systems for logics resisting a simpler des=
cription, including hypersequents, deep inference systems, display calculi,=
 labelled deductive systems, tableaux, and proof nets, to name just a few. =
The aim of this workshop is to explore and compare the motivations for and =
relative merits of these different approaches. Potential topics for talks i=
nclude:</div>

<div style=3D"font-family:arial,sans-serif;font-size:13px"><br></div><div s=
tyle=3D"font-family:arial,sans-serif;font-size:13px">* Cut-elimination and =
its applications, e.g., decidability, complexity results, interpolation, am=
algamation, completeness proofs, computational interpretations, etc.</div>

<div style=3D"font-family:arial,sans-serif;font-size:13px"><br></div><div s=
tyle=3D"font-family:arial,sans-serif;font-size:13px">* Scope, limitations, =
interrelationships, and philosophical aspects of various formalisms.</div>
<div style=3D"font-family:arial,sans-serif;font-size:13px">
<br></div><div style=3D"font-family:arial,sans-serif;font-size:13px">A broa=
der aim of the workshop is to build a bridge between researchers into theor=
etical aspects of structural proof theory and the more application-oriented=
 goals of the proof theory community, particularly in cases where the metho=
ds, such as constructing analytic systems, are shared.</div>

<div style=3D"font-family:arial,sans-serif;font-size:13px">----------------=
--------------------------------------------------------------------</div><=
div style=3D"font-family:arial,sans-serif;font-size:13px"><br></div><div st=
yle=3D"font-family:arial,sans-serif;font-size:13px">

INVITED SPEAKERS</div><div style=3D"font-family:arial,sans-serif;font-size:=
13px"><br></div><div style=3D"font-family:arial,sans-serif;font-size:13px">=
Alex Simpson, University of Edinburgh</div><div style=3D"font-family:arial,=
sans-serif;font-size:13px">

<br></div><div style=3D"font-family:arial,sans-serif;font-size:13px">Anna Z=
amansky, University of Haifa</div><div style=3D"font-family:arial,sans-seri=
f;font-size:13px">---------------------------------------------------------=
---------------------------<br>

</div><div style=3D"font-family:arial,sans-serif;font-size:13px"><br></div>=
<div style=3D"font-family:arial,sans-serif;font-size:13px">PROGRAM COMMITTE=
E</div><div style=3D"font-family:arial,sans-serif;font-size:13px"><br></div=
>
<div style=3D"font-family:arial,sans-serif;font-size:13px">
Roman Kuznets (University of Bern)</div><div style=3D"font-family:arial,san=
s-serif;font-size:13px">George Metcalfe (University of Bern)</div></div>

--001a1136a76a13892104f1a795c4--