<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:st2="urn:schemas-microsoft-com:office:smarttags" xmlns:st1="urn:schemas:contacts" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<meta name=ProgId content=Word.Document>
<meta name=Generator content="Microsoft Word 10">
<meta name=Originator content="Microsoft Word 10">
<link rel=File-List href="cid:filelist.xml@01C307E9.F16CA730">
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="Street"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="State"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PlaceName"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PlaceType"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="country-region"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="City"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="place"/>
<o:SmartTagType namespaceuri="urn:schemas:contacts" name="middlename"/>
<o:SmartTagType namespaceuri="urn:schemas:contacts" name="Sn"/>
<o:SmartTagType namespaceuri="urn:schemas:contacts" name="GivenName"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="address"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="date"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PersonName"/>
<!--[if gte mso 9]><xml>
<o:OfficeDocumentSettings>
<o:DoNotRelyOnCSS/>
</o:OfficeDocumentSettings>
</xml><![endif]--><!--[if gte mso 9]><xml>
<w:WordDocument>
<w:GrammarState>Clean</w:GrammarState>
<w:DocumentKind>DocumentEmail</w:DocumentKind>
<w:EnvelopeVis/>
<w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
</w:WordDocument>
</xml><![endif]--><!--[if !mso]>
<style>
st2\:*{behavior:url(#default#ieooui) }st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-parent:"";
margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;
text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
{color:blue;
text-decoration:underline;
text-underline:single;}
span.EmailStyle17
{mso-style-type:personal-reply;
mso-style-noshow:yes;
mso-ansi-font-size:10.0pt;
mso-bidi-font-size:10.0pt;
font-family:Arial;
mso-ascii-font-family:Arial;
mso-hansi-font-family:Arial;
mso-bidi-font-family:Arial;
color:navy;}
span.GramE
{mso-style-name:"";
mso-gram-e:yes;}
@page Section1
{size:612.0pt 792.0pt;
margin:72.0pt 90.0pt 72.0pt 90.0pt;
mso-header-margin:35.4pt;
mso-footer-margin:35.4pt;
mso-paper-source:0;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 10]>
<style>
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:"Table Normal";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman";}
</style>
<![endif]-->
</head>
<body lang=EN-US link=blue vlink=blue style='tab-interval:36.0pt'>
<div class=Section1>
<p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='margin-bottom:12.0pt'><font size=3
face="Times New Roman"><span style='font-size:12.0pt'>Please distribute among
your colleagues:<br>
<br>
-------------------<br>
<br>
<br>
CALL FOR PAPERS<br>
<br>
THIRD INTERNATIONAL WORKSHOP ON<br>
COMPUTATIONAL MODELS OF SCIENTIFIC<br>
REASONING AND APPLICATIONS (</span></font><st2:PersonName><st1:GivenName>III</st1:GivenName>
<st1:Sn>CMSRA</st1:Sn></st2:PersonName>)<br>
<br>
Argentine National Library, <st2:City><st2:place>Buenos
Aires</st2:place></st2:City><br>
<st2:date Month="9" Day="14" Year="2003">September 14-15,
2003</st2:date><br>
Draft Papers due by <st2:date Month="5" Day="30" Year="2003">May
30, 2003</st2:date>.<br>
<br>
A special issue of the <br>
Journal of Applied Logic (edited by <st2:PersonName><st1:GivenName>Dov</st1:GivenName>
<st1:Sn>Gabbay</st1:Sn></st2:PersonName>) <br>
will be devoted to the best original<br>
<span class=GramE>papers</span> presented in the workshop.<br>
<br>
(<span class=GramE>please</span> see also <a
href="http://www.lip.uns.edu.ar/cmsra" eudora=autourl>www.lip.uns.edu.ar/cmsra</a>)<br>
<br>
Purpose<br>
-------<br>
The purpose of this workshop is to bring together<br>
<span class=GramE>practitioners</span> in the several fields involved in<br>
<span class=GramE>the</span> computational models of scientific
reasoning (Logic,<br>
KR&R, Cognitive Sciences, Epistemology and Theory of Science,<br>
<span class=GramE>among</span> others) in order to exchange the results
of their<br>
<span class=GramE>ongoing</span> research, share their experiences and
speculate<br>
<span class=GramE>about</span> their impact on the new information
technologies.<br>
<br>
<br>
Scope<br>
-----<br>
The scope of the workshop includes (but is not limited to)<br>
<span class=GramE>the</span> following areas:<br>
<br>
1. Inference Procedures<br>
<br>
Ampliative Inference<br>
Argumentative and Defeasible Reasoning<br>
Analogy, Induction and Abduction<br>
Paraconsistent Logics<br>
Plausible and Hypothetical Reasoning<br>
Causal and Explanatory Reasoning<br>
Hypothesis Formation, Learning and Discovery<br>
Coherence, Explanation and Acceptance<br>
Procedural Rationality<br>
Distributed Scientific Inference <br>
<br>
2. Philosophical Aspects of the Computational<br>
Models of Scientific Reasoning<br>
<br>
Computational Epistemology and Theory of Science<br>
Cognitive Theory Formation<br>
Acceptance and Decision Making<br>
Reasoning as opposed to Logic<br>
Concept Formation and Conceptual Change<br>
Design in Scientific Method<br>
The Growth of Knowledge<br>
<br>
3. Social Metaphors<br>
<br>
Science as Distributed Computing<br>
Models of Science Distributed over Large<br>
Networks (grids, semantic webs)<br>
Internet Epistemology<br>
Self-Organizing Agents<br>
Team Theory<br>
Rules of Negotiation<br>
Social Choice<br>
Sociology of Knowledge<br>
Evolutionary Epistemology<br>
<br>
4. Applications<br>
<br>
New Information Technologies<br>
Computational Theories in the Sciences<br>
Intelligent Data Mining<br>
Agent-Based Scientific Discovery<br>
Modelling Agreement<br>
Intelligent Protocols for E-Commerce<br>
<br>
<br>
Program Committee<br>
-----------------<br>
<br>
<st2:PersonName><st1:GivenName>Diderik</st1:GivenName> <st1:Sn>Batens</st1:Sn></st2:PersonName><br>
Wijsbegeerte <br>
Universiteit Gent - <st2:country-region><st2:place>Belgium</st2:place></st2:country-region>
<br>
Diderik.Batens@rug.ac.be <br>
<br>
<st1:GivenName>Jean</st1:GivenName>-<st2:PersonName><st1:GivenName>Yves</st1:GivenName>
<st1:Sn>Béziau</st1:Sn></st2:PersonName><br>
<st2:PersonName><st1:GivenName>Institut</st1:GivenName> <st1:Sn>de
Logique</st1:Sn></st2:PersonName><br>
<st2:PersonName><st1:GivenName>Université</st1:GivenName> <st1:Sn>de
Neuchâtel</st1:Sn></st2:PersonName> - <st2:country-region><st2:place>Switzerland</st2:place></st2:country-region><br>
Jean-Yves.Beziau@unine.ch <br>
<br>
<st2:PersonName><st1:GivenName>Otávio</st1:GivenName> <st1:Sn>Bueno</st1:Sn></st2:PersonName><br>
Department of Philosophy<br>
<st2:place><st2:PlaceType>University</st2:PlaceType> of <st2:PlaceName>South
Carolina</st2:PlaceName></st2:place> - <st2:country-region><st2:place>USA</st2:place></st2:country-region><br>
obueno@sc.edu<br>
<br>
<st2:PersonName><st1:GivenName>Walter</st1:GivenName> <st1:Sn>Carnielli</st1:Sn></st2:PersonName><br>
Centre for Logic and Epistemology<br>
<st2:place><st2:PlaceType>State</st2:PlaceType> <st2:PlaceType>University</st2:PlaceType></st2:place>
of <st2:City><st2:place>Campinas</st2:place></st2:City> - Brasil<br>
carniell@cle.unicamp.br<br>
<br>
<st2:PersonName><st1:GivenName>Marcelo</st1:GivenName> <st1:Sn>Coniglio</st1:Sn></st2:PersonName><br>
Centre for Logic and Epistemology<br>
<st2:place><st2:PlaceType>State</st2:PlaceType> <st2:PlaceType>University</st2:PlaceType></st2:place>
of <st2:City><st2:place>Campinas</st2:place></st2:City> - Brasil<br>
coniglio@cle.unicamp.br<br>
<br>
<st2:PersonName><st1:GivenName>Claudio</st1:GivenName> <st1:Sn>Delrieux</st1:Sn></st2:PersonName><br>
<st2:PersonName><st1:GivenName>Universidad</st1:GivenName> <st1:middlename>Nacional</st1:middlename>
<st1:Sn><span class=GramE>del</span> Sur</st1:Sn></st2:PersonName> - <st2:country-region><st2:place>Argentina</st2:place></st2:country-region><br>
claudio@acm.org<br>
<br>
<st2:PersonName><st1:GivenName>Steven</st1:GivenName> <st1:Sn>French</st1:Sn></st2:PersonName><br>
<st2:place><st2:PlaceType>School</st2:PlaceType> of <st2:PlaceName>Philosophy</st2:PlaceName></st2:place><br>
<st2:place><st2:PlaceType>University</st2:PlaceType> of <st2:PlaceName>Leeds</st2:PlaceName></st2:place>
- <st2:country-region><st2:place>UK</st2:place></st2:country-region><br>
s.r.d.french@leeds.ac.uk<br>
<br>
<st2:PersonName><st1:GivenName>Lorenzo</st1:GivenName> <st1:Sn>Magnani</st1:Sn></st2:PersonName><br>
Department of Philosophy & Computational Philosophy
Laboratory<br>
<st2:place><st2:PlaceType>University</st2:PlaceType> of <st2:PlaceName>Pavia</st2:PlaceName></st2:place>
- <st2:country-region><st2:place>ITALY</st2:place></st2:country-region>, and<br>
Program in Philosophy, Science, and Technology<br>
Georgia Institute of Technology - <st2:country-region><st2:place>USA</st2:place></st2:country-region><br>
lmagnani@cc.gatech.edu<br>
<br>
<st2:PersonName><st1:GivenName>David</st1:GivenName> <st1:Sn>Pearce</st1:Sn></st2:PersonName><br>
<st2:PersonName><st1:GivenName>Universidad</st1:GivenName> <st1:middlename>Rey</st1:middlename>
<st1:middlename>Juan</st1:middlename> <st1:Sn>Carlos</st1:Sn></st2:PersonName>,
<st2:State><st2:place>Madrid</st2:place></st2:State> - <st2:country-region><st2:place>Spain</st2:place></st2:country-region><br>
d.pearce@escet.urjc.es<br>
<br>
<st2:PersonName><st1:GivenName>Luis</st1:GivenName> <st1:middlename>Moniz</st1:middlename>
<st1:Sn>Pereira</st1:Sn></st2:PersonName><br>
<st2:PersonName><st1:GivenName>Centro</st1:GivenName> <st1:Sn>de
Inteligęncia</st1:Sn></st2:PersonName> Artificial - CENTRIA<br>
Universidade Nova <st1:Sn>de Lisboa</st1:Sn> - <st2:country-region><st2:place>Portugal</st2:place></st2:country-region><br>
lmp@di.fct.unl.pt<br>
<br>
<br>
Submission Information<br>
----------------------<br>
<br>
Submissions should arrive by May 30. Electronic<br>
<span class=GramE>submissions</span> (LaTeX, Acrobat pdf or poscript)<br>
<span class=GramE>are</span> preferred. Send a <span class=GramE>5 page</span>
draft paper to:<br>
<br>
<st2:PersonName><st1:GivenName>Claudio</st1:GivenName>
<st1:Sn>Delrieux</st1:Sn></st2:PersonName><br>
<st2:PersonName><st1:GivenName>Universidad</st1:GivenName>
<st1:middlename>Nacional</st1:middlename> <st1:Sn><span class=GramE>del</span>
Sur</st1:Sn></st2:PersonName> - <st2:country-region><st2:place>ARGENTINA</st2:place></st2:country-region><br>
<st2:address><st2:Street><span
class=GramE>p</span>. o. box 127</st2:Street> -</st2:address> (8000) <st2:City><st2:place>Bahia
Blanca</st2:place></st2:City> - <st2:country-region><st2:place>Argentina</st2:place></st2:country-region><br>
claudio@acm.org<br>
Tel: 54 - 291 - 4595101 ext. 3381<br>
Fax: 54 - 291 - 4595154<br>
<br>
<br>
Important Dates<br>
---------------<br>
May 30: Draft papers (about 5 pages)
due<br>
June 30: Notification of acceptance<br>
July 30: Camera-Ready papers & Prereg.
<span class=GramE>due</span><o:p></o:p></p>
</div>
</body>
</html>