coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Papers: Special Issue M4M

From: Carlos Areces <carlos AT science.uva.nl>
To: areces AT loria.fr
Cc: Computational.Semantics AT kub.nl, DG-LIST-request AT LISTSERV.UGA.EDU, IFCoLog-all AT dfki.de, ISWORLD-request AT LISTSERV.HEANET.IE, Johanna.Laakso AT univie.ac.at, Listserv AT cnusc.fr, PetriNets AT daimi.au.dk, aaai AT sumex-aim.stanford.edu, acl AT cs.columbia.edu, agentnews AT cs.umbc.edu, agents AT cs.umbc.edu, aiia AT di.unito.it, ail-l AT austin.onu.edu, aiml AT mac.com, aisb AT cogs.susx.ac.uk, alp AT doc.ic.ac.uk, announce AT cogs.susx.ac.uk, apng-all AT apng.org, asci AT twi.tudelft.nl, asl AT math.uiuc.edu, atp_alias AT cs.jcu.edu.au, behavior AT cs.umbc.edu, bra-types AT cs.chalmers.se, cade AT research.att.com, calculemus-ig AT calculemus.net, calligramme AT loria.fr, caml-list AT pauillac.inria.fr, categories AT mta.ca, cav-all AT csa.cs.technion.ac.il, ccl AT ps.uni-sb.de, ccp AT sics.se, cfp-ll AT iks.cs.tu-berlin.de, cg AT cs.uah.edu, cg AT ling.ohio-state.edu, ckbs-int AT cs.keele.ac.uk, cl-all AT coli.uni-sb.de, cl-stud AT coli.uni-sb.de, cl AT itri.brighton.ac.uk, clp AT comp.nus.edu.sg, clp AT cs.cmu.edu, clp AT iscs.nus.edu.sg, clpr-users AT comp.nus.edu.sg, cluk AT dcs.shef.ac.uk, cogling AT ucsd.edu, coil-contribute AT dcs.napier.ac.uk, colibri AT let.uu.nl, collinsp AT scot.ac.uk, comlab AT comlab.ox.ac.uk, community AT mlnet.org, complog AT cs.nmsu.edu, comprox AT doc.ic.ac.uk, compulog-deduction AT cs.bham.ac.uk, compulog AT doc.imperial.ac.uk, compulognet-parimp AT clip.dia.fi.upm.es, compunode AT compulog.org, compunode AT dfki.de, concurrency AT cwi.nl, coq-club AT pauillac.inria.fr, corpora AT hd.uib.no, cost249 AT elis.rug.ac.be, cs-logic AT cs.indiana.edu, csl99org AT eucmos.sim.ucm.es, csl AT dbai.tuwien.ac.at, csp AT carlit.toulouse.inra.fr, cup AT icot.or.jp, d.w.miller AT warwick.ac.uk, dataling AT cst.ku.dk, dataloger AT cs.chalmers.se, dbworld AT cs.wisc.edu, deduktion AT intellektik.informatik.tu-darmstadt.de, deptling AT uiuc.edu, discipl AT inria.fr, dl AT dl.kr.org, dma-list AT nic.surfnet.nl, eacsl AT dimi.uniud.it, eatcs-it AT cs.unibo.it, edu.au AT cs.uu.nl, elsa AT gia.ist.utl.pt, elsnet AT cogsci.ed.ac.uk, elsnet-list AT elsnet.org, facs AT lboro.ac.uk, fg-db AT informatik.uni-rostock.de, finite-model-theory AT lists.RWTH-Aachen.DE, fireworks AT cs.auc.dk, flprog AT informatik.uni-muenchen.de, fm-info AT air16.larc.nasa.gov, folli AT fwi.uva.nl, fom AT cs.nyu.edu, formal-methods AT cs.uidaho.edu, fotfs AT math.uni-bonn.de, fr-sem AT frmug.org, fsdm AT it.uq.edu.au, fuzzy-mail AT vexpert.dbai.tuwien.ac.at, g.b.keene AT exeter.ac.uk, gazette AT sfs.nphil.uni-tuebingen.de, genetic_programming AT yahoogroups.com, geral AT di.fc.ul.pt, glp-list AT inf.tu-dresden.de, glp AT first.gmd.de, gps AT kdnuggets.com, graduiertenkolleg-infos AT ims.uni-stuttgart.de, gragra AT i3.informatik.rwth-aachen.de, grkk-koord AT informatik.uni-hamburg.de, grkk-ueberregional AT informatik.uni-hamburg.de, gulp AT di.unipi.it, haskell AT dcs.gla.ac.uk, haskell AT haskell.org, helge.dyvik AT foli.uib.no, helge.dyvik AT lili.uib.no, hpsg-l AT lists.stanford.edu, humanist AT brownvm.bitnet, humanist AT lists01.Princeton.EDU, iclp99pub AT cs.nmsu.edu, iclppubl AT cs.kuleuven.ac.be, idss AT socs.uts.edu.au, ifmsig AT cs.tcd.ie, igpl AT doc.ic.ac.uk, ikbs AT caad.ed.ac.uk, imalaia AT laas.fr, info AT folli.org, info-elra AT calva.net, info AT xrce.xerox.com, infoagents AT gmd.de, institutnicod-diffusion AT ens.fr, uccvma.bitnet AT vm1.nodak.edu, isabelle-users AT cl.cam.ac.uk, isworld AT irlearn.ucd.ie, jelia AT CTIMA.UMA.ES, kaw AT swi.psy.uva.nl, kgs AT dbai.tuwien.ac.at, kgs AT logic.at, kgs AT logic.tuwien.ac.at, kr-postings AT kr.org, kr AT kr.org, krr-actions AT irst.itc.it, finhutc.bitnet AT cunyvm.cuny.edu, lassaign AT logique.jussieu.fr, lfcs-interest AT dcs.ed.ac.uk, lfg AT lists.stanford.edu, lfg AT lists.stanford.edu, lics-request AT dcs.ed.ac.uk, lics AT research.bell-labs.com, linear AT cs.stanford.edu, ling AT csd.uwo.ca, linguist AT listserv.linguistlist.org, List AT ProofTheory.org, ln-request AT pollux.cnusc.fr, logic-list AT Helsinki.FI, logic-list AT cs.rice.edu, logic-ml AT logic.jaist.ac.jp, logic AT cs.stanford.edu, loom-forum AT isi.edu, lot AT let.uu.nl, lp-internet AT doc.ic.ac.uk, lpnmr AT cs.engr.uky.edu, lprolog-list AT cis.upenn.edu, lprolog AT central.cis.upenn.edu, lprolog AT cs.umn.edu, mercury-users AT cs.mu.oz.au, mfpsmail AT math.tulane.edu, mizar-forum AT mizar.uwb.edu.pl, ml-request AT ics.uci.edu, ml AT ics.uci.edu, mol AT cis.upenn.edu, monet-all-members AT aber.ac.uk, mrg AT itc.it, news-announce-conferences AT uunet.uu.net, nl-kr AT cs.rochester.edu, nl-kr AT cs.rpi.edu, nlcl AT cogs.susx.ac.uk, nlp-ia AT bosoleil.ci.umoncton.ca, nlpeople AT dai.ed.ac.uk, nobots AT lists.stanford.edu, nordlingnet AT uib.no, nuprllist AT CS.Cornell.EDU, ozsl-list AT fwi.uva.nl, ozsl-list AT wins.uva.nl, palmer AT think.net, papm AT dcs.ed.ac.uk, penguists AT BABEL.ling.upenn.edu, procos-request AT jiscmail.ac.uk, prog-lang AT diku.dk, prog-logique AT irisa.fr, prog AT sushi.stanford.edu, prolog AT cis.upenn.edu, prolog-vendors AT sics.se, pvs AT csl.sri.com, qed AT mcs.anl.gov, qphysics AT aber.ac.uk, quintus-users AT sics.se, rewriting AT ens-lyon.fr, risc AT idf.ext.jussieu.fr, roughset AT cs.uregina.ca, salt AT essex.ac.uk, semantik AT rz.uni-duesseldorf.de, senseval-discuss AT listserv.hum.gu.se, sep AT phil.ufl.edu, seworld AT cs.colorado.edu, sicstus-users AT sics.se, siggen AT black.bgu.ac.il, sigparse-list AT cs.cmu.edu, sigparse AT cs.cmu.edu, students.chi AT xerox.com, theorem-provers AT ai.mit.edu, theory-logic AT cs.cmu.edu, theoryc AT www.cs.vt.edu, theorynt AT LISTSERV.NODAK.EDU, types AT cis.upenn.edu, uil-ots AT let.uu.nl, unification AT sics.se, ura-list AT Helsinki.FI, users AT mozart-oz.org, vki-list AT dfki.de, zoe AT logique.jussieu.fr, zforum AT prg.ox.ac.uk, THEORY-A AT LISTSERV.NODAK.EDU, amast AT cs.utwente.nl, compost AT ipd.info.uni-karlsruhe.de, ea AT ira.uka.de, jml AT cs.iastate.edu, prologia AT prologianet.univ-mrs.fr, puml-list AT cs.york.ac.uk, sdlnews AT sdl-forum.org, spin_list AT research.bell-labs.com, stochver AT cs.bham.ac.uk
Subject: [Coq-Club] Call for Papers: Special Issue M4M
Date: Mon, 6 Sep 2004 19:09:23 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

                       Call for Papers for

                     "Methods for Modalities"

          A Special Issue of the Journal of Applied Logic
      (http://www.sciencedirect.com/science/journal/15708683)

The workshop `Methods for Modalities' (M4M) organized every two
years aims to bring together researchers interested in developing
proof tools and decision methods for modal logic broadly conceived,
including description logic, hybrid logic, temporal logic, etc.

During 1993 M4M-3, the third instance of the workshop was organized
in Nancy, France.  We have been invited by the Journal of Applied
Logic to prepare a Special Issue containing selected publications
from the workshop, in addition to other articles that might fit
within the  topics of interest of M4M.   For that reason we are now
distributing this Call for Papers.

TOPICS OF INTEREST OF M4M

The following list is provided as an example of suitable topics for
the Special Issue. All topics should concern modal-like logics,
broadly conceived.  The list is by no means exhaustive and is given
in an arbitrary order:

* Automated theorem proving
* Decision methods
* Proof methods
* Standard and non-standard inference problems
* Model checking
* Testing
* Expressive power
* Modelling
* Applications
* Successful uses of modal-like languages in other fields
* Knowledge representation

SUBMISSION DETAILS

The final version of accepted papers has to follow the standard
layout guidelines of the Journal of Applied Logic.  Instructions
for authors and the latex style files are available from

   http://staff.science.uva.nl/~m4m/SI/ ;

Although not mandatory, we suggest to use the corresponding style
files from that web-page also for your initial submission. The
issue aims at high quality papers with a length around 20 to max. 30
pages. Please send your submission in postscript or pdf no later
than October 31th, 2004 to


areces AT loria.fr.

Notice that all papers will be refereed to ensure that their
suitability for journal publication.

IMPORTANT DATES

Deadline for Submissions: October  31th, 2004
Reviews Due             : November 21th, 2004
Final Versions Due      : December 19th, 2004

GUEST EDITORS of the Special Issue

Dr. Carlos Areces
INRIA Lorraine
615, rue du Jardin Botanique
54602 Villers les Nancy Cedex, France
phone  : +33 (0)3 83 58 17 90
fax    : +33 (0)3 83 41 30 79
e-mail :
carlos.areces AT loria.fr
www    : http://www.loria.fr/~areces

[Coq-Club] Call for Papers: Special Issue M4M, Carlos Areces