Analytic Proof Systems 3
(3rd International Workshop on Analytic Proof Systems)
will be held
October 15th, 2007,
as part of the
The 14th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning
October 15-19, 2007
Yerevan, Armenia
For the preliminary workshop program
click here
Analyticity is a topic that connects foundational issues in logic
with applications, mainly in automated deduction and analysis of proofs.
The workshop
is primarily intended to enhance awareness for its topic and to promote
corresponding discussions and contacts between experienced experts and
younger colleagues.
Topics of Interests include
- Old and new types of analytic calculi: sequent calculi,
tableaux, matrix systems, connection method, hypersequents, ...
- Cut elimination and Normalization: new methods, complexity,
abstract approaches
- Proof search: modelling proof search, streamlining calculi,
model extraction
- Relation to other methods: analytic systems and resolution,
dialogue games, programming languages
- Extracting information from analytic proofs: extraction of
algorithms, constructivity, model construction,
Herbrand's theorem
Organization
Depending on the number of conributors
Analytic Proof Systems 3 will be a half or full day workshop.
There will be two invited speakers -
Richard Zach (U Calgary) and
Norbert Preining (TU Wien) -
a number of contributed
talks, and (if time permits) a Panel Discussion on challenges
in proof theory within computer science.
Program Committee and Organizers:
- Matthias Baaz, University of Technology, Vienna
- Christian Fermüller, University of Technology, Vienna
The workshop will be co-sponsered by the
International Kurt Gödel Society and will (most probably)
include a workshop dinner to which contributors are invited.
Submission
Please submit a 1-2 page abstract to
analytic@logic.at
The selected abstracts will be made available electronically.
Important dates
- Submission deadline: September 17, 2007
- Notification of acceptance: September 22, 2007
- Workshop: October 15, 2007