From: Roy Dyckhoff <rd@cs.st-andrews.ac.uk>
To: event@in.tu-clausthal.de, compulognet-parimp@dia.fi.upm.es,
coq-club@pauillac.inria.fr, dbworld@cs.wisc.edu, dl@dl.kr.org,
eccai-individuals@uni-koblenz.de, kgs@logic.tuwien.ac.at,
kr@kr.org, rewriting@ens-lyon.fr, relmics-l@McMaster.CA,
acl2@cs.utexas.edu, agents@cs.umbc.edu, aiia@dis.uniroma1.it,
aiia@di.unito.it, saarlor@loria.fr, logic-list@helsinki.fi,
theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu,
loginf@lat.inf.tu-dresden.de, vki-list@dfki.de,
comlab@comlab.ox.ac.uk, complog@cs.nmsu.edu,
fg214@informatik.uni-kiel.de,
finite-model-theory@lists.rwth-aachen.de, fmics@inrialpes.fr,
isabelle-users@cl.cam.ac.uk, lfcs-interest@dcs.ed.ac.uk,
lfg@lists.stanford.edu, ccl@ps.uni-sb.de, clean-list@cs.kun.nl,
caml-list@inria.fr, colibri@let.uu.nl, meta-announce@cwi.nl
Subject: PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics
Date: Tue, 7 Apr 2009 03:46:36 +0100 [thread overview]
Message-ID: <p06240800c6006dd86fff@[192.168.0.4]> (raw)
[-- Attachment #1: Type: text/plain, Size: 1781 bytes --]
PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics
(affiliated with Tableaux 2009)
Call for Papers
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.
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.
[-- Attachment #2: Type: text/html, Size: 2190 bytes --]
reply other threads:[~2009-04-07 2:47 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='p06240800c6006dd86fff@[192.168.0.4]' \
--to=rd@cs.st-andrews.ac.uk \
--cc=acl2@cs.utexas.edu \
--cc=agents@cs.umbc.edu \
--cc=aiia@di.unito.it \
--cc=aiia@dis.uniroma1.it \
--cc=caml-list@inria.fr \
--cc=ccl@ps.uni-sb.de \
--cc=clean-list@cs.kun.nl \
--cc=colibri@let.uu.nl \
--cc=comlab@comlab.ox.ac.uk \
--cc=complog@cs.nmsu.edu \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=coq-club@pauillac.inria.fr \
--cc=dbworld@cs.wisc.edu \
--cc=dl@dl.kr.org \
--cc=eccai-individuals@uni-koblenz.de \
--cc=event@in.tu-clausthal.de \
--cc=fg214@informatik.uni-kiel.de \
--cc=finite-model-theory@lists.rwth-aachen.de \
--cc=fmics@inrialpes.fr \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=kgs@logic.tuwien.ac.at \
--cc=kr@kr.org \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lfg@lists.stanford.edu \
--cc=logic-list@helsinki.fi \
--cc=loginf@lat.inf.tu-dresden.de \
--cc=meta-announce@cwi.nl \
--cc=relmics-l@McMaster.CA \
--cc=rewriting@ens-lyon.fr \
--cc=saarlor@loria.fr \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=vki-list@dfki.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox