Call for Papers: III CMSRA
Luís Moniz Pereira
lmp@di.fct.unl.pt
Mon, 21 Apr 2003 09:39:52 +0100
This is a multi-part message in MIME format.
------=_NextPart_000_005B_01C307EA.0FFF7F10
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
=20
Please distribute among your colleagues:
-------------------
CALL FOR PAPERS
=20
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=20
Journal of Applied Logic (edited by Dov Gabbay)=20
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=20
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=20
Universiteit Gent - Belgium=20
Diderik.Batens@rug.ac.be=20
Jean-Yves B=E9ziau
Institut de Logique
Universit=E9 de Neuch=E2tel - Switzerland
Jean-Yves.Beziau@unine.ch=20
Ot=E1vio 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
=20
Marcelo Coniglio
Centre for Logic and Epistemology
State University of Campinas - Brasil
coniglio@cle.unicamp.br
=20
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=EAncia 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
------=_NextPart_000_005B_01C307EA.0FFF7F10
Content-Type: text/html;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<html xmlns:o=3D"urn:schemas-microsoft-com:office:office" =
xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:st2=3D"urn:schemas-microsoft-com:office:smarttags" =
xmlns:st1=3D"urn:schemas:contacts" =
xmlns=3D"http://www.w3.org/TR/REC-html40">
<head>
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Diso-8859-1">
<meta name=3DProgId content=3DWord.Document>
<meta name=3DGenerator content=3D"Microsoft Word 10">
<meta name=3DOriginator content=3D"Microsoft Word 10">
<link rel=3DFile-List href=3D"cid:filelist.xml@01C307E9.F16CA730">
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"Street"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"State"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"PlaceName"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"PlaceType"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"country-region"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"City"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"place"/>
<o:SmartTagType namespaceuri=3D"urn:schemas:contacts" =
name=3D"middlename"/>
<o:SmartTagType namespaceuri=3D"urn:schemas:contacts" name=3D"Sn"/>
<o:SmartTagType namespaceuri=3D"urn:schemas:contacts" =
name=3D"GivenName"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"address"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"date"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
name=3D"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 */=20
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=3DEN-US link=3Dblue vlink=3Dblue =
style=3D'tab-interval:36.0pt'>
<div class=3DSection1>
<p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span =
style=3D'font-size:
12.0pt'><o:p> </o:p></span></font></p>
<p class=3DMsoNormal style=3D'margin-bottom:12.0pt'><font size=3D3
face=3D"Times New Roman"><span style=3D'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=3D"9" Day=3D"14" =
Year=3D"2003">September 14-15,
2003</st2:date><br>
Draft Papers due by <st2:date Month=3D"5" Day=3D"30" =
Year=3D"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=3DGramE>papers</span> presented in the =
workshop.<br>
<br>
(<span class=3DGramE>please</span> see also <a
href=3D"http://www.lip.uns.edu.ar/cmsra" =
eudora=3Dautourl>www.lip.uns.edu.ar/cmsra</a>)<br>
<br>
Purpose<br>
-------<br>
The purpose of this workshop is to bring together<br>
<span class=3DGramE>practitioners</span> in the several fields =
involved in<br>
<span class=3DGramE>the</span> computational models of scientific
reasoning (Logic,<br>
KR&R, Cognitive Sciences, Epistemology and Theory of =
Science,<br>
<span class=3DGramE>among</span> others) in order to exchange the =
results
of their<br>
<span class=3DGramE>ongoing</span> research, share their =
experiences and
speculate<br>
<span class=3DGramE>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=3DGramE>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=E9ziau</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=E9</st1:GivenName> <st1:Sn>de
Neuch=E2tel</st1:Sn></st2:PersonName> - =
<st2:country-region><st2:place>Switzerland</st2:place></st2:country-regio=
n><br>
Jean-Yves.Beziau@unine.ch <br>
<br>
=
<st2:PersonName><st1:GivenName>Ot=E1vio</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=3DGramE>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=EAncia</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=3DGramE>submissions</span> (LaTeX, Acrobat pdf or =
poscript)<br>
<span class=3DGramE>are</span> preferred. Send a <span =
class=3DGramE>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=3DGramE>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=3DGramE>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=3DGramE>due</span><o:p></o:p></p>
</div>
</body>
</html>
------=_NextPart_000_005B_01C307EA.0FFF7F10--