Please distribute among your colleagues:

-------------------


CALL FOR PAPERS

    THIRD INTERNATIONAL WORKSHOP ON
    COMPUTATIONAL MODELS OF SCIENTIFIC
    REASONING AND APPLICATIONS (III CMSRA)

    Argentine National Library, Buenos Aires
September 14-15, 2003
    Draft Papers due by May 30, 2003.

    A special issue of the
    Journal of Applied Logic (edited by Dov Gabbay)
    will be devoted to the best original
papers presented in the workshop.

    (please see also www.lip.uns.edu.ar/cmsra)

Purpose
-------
  The purpose of this workshop is to bring together
practitioners in the several fields involved in
the computational models of scientific reasoning (Logic,
  KR&R, Cognitive Sciences, Epistemology and Theory of Science,
among others) in order to exchange the results of their
ongoing research, share their experiences and speculate
about their impact on the new information technologies.


Scope
-----
  The scope of the workshop includes (but is not limited to)
the following areas:

1. Inference Procedures

    Ampliative Inference
    Argumentative and Defeasible Reasoning
    Analogy, Induction and Abduction
    Paraconsistent Logics
    Plausible and Hypothetical Reasoning
    Causal and Explanatory Reasoning
    Hypothesis Formation, Learning and Discovery
    Coherence, Explanation and Acceptance
    Procedural Rationality
    Distributed Scientific Inference

2. Philosophical Aspects of the Computational
    Models of Scientific Reasoning

    Computational Epistemology and Theory of Science
    Cognitive Theory Formation
    Acceptance and Decision Making
    Reasoning as opposed to Logic
    Concept Formation and Conceptual Change
    Design in Scientific Method
    The Growth of Knowledge

3. Social Metaphors

    Science as Distributed Computing
    Models of Science Distributed over Large
       Networks (grids, semantic webs)
    Internet Epistemology
    Self-Organizing Agents
    Team Theory
    Rules of Negotiation
    Social Choice
    Sociology of Knowledge
    Evolutionary Epistemology

4. Applications

    New Information Technologies
    Computational Theories in the Sciences
    Intelligent Data Mining
    Agent-Based Scientific Discovery
    Modelling Agreement
    Intelligent Protocols for E-Commerce


Program Committee
-----------------

Diderik Batens
    Wijsbegeerte
    Universiteit Gent - Belgium
    Diderik.Batens@rug.ac.be

Jean-Yves Béziau
Institut de Logique
Université de Neuchâtel - Switzerland
    Jean-Yves.Beziau@unine.ch

Otávio Bueno
    Department of Philosophy
University of South Carolina - USA
    obueno@sc.edu

Walter Carnielli
    Centre for Logic and Epistemology
State University of Campinas - Brasil
    carniell@cle.unicamp.br

Marcelo Coniglio
    Centre for Logic and Epistemology
State University of Campinas - Brasil
    coniglio@cle.unicamp.br

Claudio Delrieux
Universidad Nacional del Sur - Argentina
    claudio@acm.org

Steven French
School of Philosophy
University of Leeds - UK
    s.r.d.french@leeds.ac.uk

Lorenzo Magnani
    Department of Philosophy & Computational Philosophy Laboratory
University of Pavia - ITALY, and
    Program in Philosophy, Science, and Technology
    Georgia Institute of Technology - USA
    lmagnani@cc.gatech.edu

David Pearce
Universidad Rey Juan Carlos, Madrid - Spain
    d.pearce@escet.urjc.es

Luis Moniz Pereira
Centro de Inteligência Artificial - CENTRIA
    Universidade Nova de Lisboa - Portugal
    lmp@di.fct.unl.pt


Submission Information
----------------------

  Submissions should arrive by May 30. Electronic
submissions (LaTeX, Acrobat pdf or poscript)
are preferred. Send a 5 page draft paper to:

Claudio Delrieux
Universidad Nacional del Sur - ARGENTINA
p. o. box 127 - (8000) Bahia Blanca - Argentina
       claudio@acm.org
       Tel: 54 - 291 - 4595101 ext. 3381
       Fax: 54 - 291 - 4595154


Important Dates
---------------
     May 30:    Draft papers (about 5 pages) due
     June 30:   Notification of acceptance
     July 30:   Camera-Ready papers & Prereg. due