coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics
chronological Thread
- From: Roy Dyckhoff <rd AT cs.st-andrews.ac.uk>
- To: event AT in.tu-clausthal.de, compulognet-parimp AT dia.fi.upm.es, coq-club AT pauillac.inria.fr, dbworld AT cs.wisc.edu, dl AT dl.kr.org, eccai-individuals AT uni-koblenz.de, kgs AT logic.tuwien.ac.at, kr AT kr.org, rewriting AT ens-lyon.fr, relmics-l AT McMaster.CA, acl2 AT cs.utexas.edu, agents AT cs.umbc.edu, aiia AT dis.uniroma1.it, aiia AT di.unito.it, saarlor AT loria.fr, logic-list AT helsinki.fi, theorem-provers AT ai.mit.edu, theory-logic AT cs.cmu.edu, loginf AT lat.inf.tu-dresden.de, vki-list AT dfki.de, comlab AT comlab.ox.ac.uk, complog AT cs.nmsu.edu, fg214 AT informatik.uni-kiel.de, finite-model-theory AT lists.rwth-aachen.de, fmics AT inrialpes.fr, isabelle-users AT cl.cam.ac.uk, lfcs-interest AT dcs.ed.ac.uk, lfg AT mailman.stanford.edu, ccl AT ps.uni-sb.de, clean-list AT cs.kun.nl, caml-list AT inria.fr, colibri AT let.uu.nl, meta-announce AT cwi.nl
- Subject: [Coq-Club] PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics
- Date: Tue, 7 Apr 2009 03:46:36 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Title: PRNCL 2009 - Workshop on Proofs and Refutations in Non-Cla
PRNCL 2009 - Workshop on Proofs and Refutations in
Non-Classical Logics
(affiliated with Tableaux 2009)
Call for Papers
July 6, 2009, Oslo, Norway
July 6, 2009, Oslo, Norway
http://www.loria.fr/~galmiche/PRNCL09.html
* 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.
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.
* 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.
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.
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.
* Detailed information about topics and submission can be found
on the web page.
* Program Committee : R. Dyckhoff (Univ. St Andrews, Scotland);
C. Fermueller (T.U. Wien, Austria); D. Galmiche (LORIA - UHP, France);
D. Larchey-Wendling (LORIA - CNRS, France); F. Pfenning (CMU
Pittsburgh, USA); A. Waaler (Univ. Oslo, Norway)
* Important dates: extended abstract submission: May 15, 2009; Notification: June 2, 2009.
* Program Committee : R. Dyckhoff (Univ. St Andrews, Scotland);
C. Fermueller (T.U. Wien, Austria); D. Galmiche (LORIA - UHP, France);
D. Larchey-Wendling (LORIA - CNRS, France); F. Pfenning (CMU
Pittsburgh, USA); A. Waaler (Univ. Oslo, Norway)
* Important dates: extended abstract submission: May 15, 2009; Notification: June 2, 2009.
- [Coq-Club] PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics, Roy Dyckhoff
Archive powered by MhonArc 2.6.16.