<!doctype html public "-//W3C//DTD W3 HTML//EN">
<html><head><style type="text/css"><!--
blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 }
--></style><title>PRNCL 2009 - Workshop on Proofs and Refutations in
Non-Cla</title></head><body>
<div><b>PRNCL 2009 - Workshop on Proofs and Refutations in
Non-Classical Logics</b></div>
<div>(affiliated with Tableaux 2009)</div>
<div><b>Call for Papers</b><br>
July 6, 2009, Oslo, Norway</div>
<div>http://www.loria.fr/~galmiche/PRNCL09.html<br>
<br>
* There are various ways to design a refutation-based deduction
system. Deduction systems where refutations completely replace proofs
as first-class citizens, with a set of rules inductively defining
refutation trees; systems combining proof-rules and refutation
mechanisms (or criteria) which can occur at various levels of the
proof-search process; systems where provability and refutability play
dual roles, i.e., proofs and refutations are both first-class
citizens; systems where refutations are understood as mechanisms that
build counter-models: for example, semantic information is
collected and may converge to a counter-model as the search process
evolves.<br>
<br>
Such approaches are applicable to a wide range of logics like
sub-structural logics, intermediate logics and their extensions, modal
or temporal logics, even to type theory. The deduction systems can be
based on various structures/methods: sequents, tableaux, natural
deduction, connections, proof-nets, games, etc.<br>
</div>
<div>The aim of the workshop is to provide a forum of discussion
between researchers interested in non-classical logics in the
perspective of proof and refutation systems.<br>
</div>
<div>* Detailed information about topics and submission can be found
on the web page.<br>
<br>
* Program Committee : R. Dyckhoff (Univ. St Andrews, Scotland);<br>
C. Fermueller (T.U. Wien, Austria); D. Galmiche (LORIA - UHP,
France);<br>
D. Larchey-Wendling (LORIA - CNRS, France); F. Pfenning (CMU<br>
Pittsburgh, USA); A. Waaler (Univ. Oslo, Norway)<br>
<br>
* Important dates: extended abstract submission: May 15, 2009;
Notification: June 2, 2009.</div>
<div><br></div>
</body>
</html>