Call for papers: Intl. Workshop on Computer Modelling of Scientific Reasoning (fwd)

[Imre Simon <is@ime.usp.br>]

------- start of forwarded message (RFC 934 encapsulation) -------
Date: Mon, 12 Nov 2001 15:34:00 -0300
From: Claudio Delrieux <usdelrie@criba.edu.ar>
To: cfp@uns.edu.ar
Subject: Call for papers: Intl. Workshop on Computer Modelling of
  Scientific Reasoning


    CALL FOR PAPERS

     SECOND INTERNATIONAL WORKSHOP ON
     COMPUTATIONAL MODELS OF SCIENTIFIC
     REASONING AND APPLICATIONS (II CMSRA)

     To be held together with the IC-AI 2002 Conference
     Monte Carlo Resort, Las Vegas, Nevada, USA
     June 24-27, 2002

     Draft Papers due by February 22, 2002.

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

Purpose
- -------
   In the era of distributed and decentralized information
   technologies, the role of reasoning and theorizing about
   knowledge becomes crucial for the design and control of
   information systems. 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

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
     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


Organizing Committee (in formation):
- -----------------------------------

     Jean-Yves Beziau
     CSLI - Centre for the Study of Language and Information
     Stanford University
     jyb@csli.stanford.edu

     Otávio Bueno
    Department of Philosophy
    California State University, Fresno
    obueno@csufresno.edu

     Walter Carnielli
     Centre for Logic and Epistemology
     State University of Campinas - Brasil
     carniell@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



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

   Submissions should arrive by February 22, 2002.
   Electronic submissions (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
- ---------------
       Feb.  22, 2002 (Friday):    Draft papers (about 5 pages) due
       March 21, 2002 (Thursday):  Notification of acceptance
       April 22, 2002 (Monday):    Camera-Ready papers & Prereg. due
       June 24-27, 2002:           CMSRA International Workshop
------- end -------