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