Humanist Discussion Group, Vol. 19, No. 629.
Centre for Computing in the Humanities, King's College London
www.kcl.ac.uk/humanities/cch/humanist/
www.princeton.edu/humanist/
Submit to: humanist_at_princeton.edu
[1] From: Computational Philosophy Laboratory - University (78)
of Pavia <cp-lab_at_unipv.it>
Subject: MBR06_CHINA Last Call for Papers
[2] From: geoff_at_cs.miami.edu (39)
Subject: Logic and Reasoning Workshop CFP
[3] From: Matthew Zimmerman <mz34_at_nyu.edu> (31)
Subject: Dates for 2006 TEI-C Members' Meeting
--[1]------------------------------------------------------------------
Date: Mon, 27 Feb 2006 06:45:22 +0000
From: Computational Philosophy Laboratory - University of
Pavia <cp-lab_at_unipv.it>
Subject: MBR06_CHINA Last Call for Papers
EXTENDED DEADLINE - Deadline March 1, 2006
******************************************************************
MODEL-BASED REASONING IN SCIENCE AND MEDICINE
The Second International Conference of Philosophy and Cognitive Science
MBR'06_CHINA
Guangzhou (Canton), China, July 3-5, 2006
Chairs: Ping Li and Lorenzo Magnani
http://www.unipv.it/webphilos_lab/mbr06.php
or
http://philosophy.zsu.edu.cn/kxzx/
******************************************************************
CALL FOR SYMPOSIA ALREADY ACCEPTED
MBR in Engineering and Robotic Systems
http://www.unipv.it/webphilos_lab/mbr06.php
******************************************************************
MBR COMMUNITY WEB SITE
http://www.unipv.it/webphilos_lab/cpl2/
******************************************************************
GENERAL INFORMATION
From Monday 3 to Wednesday 5 July 2006 (three days) the International
Conference "MODEL-BASED REASONING IN SCIENCE AND MEDICINE" will be held
at Sun Yat-Sen University in the city of Guangzhou.
The conference derives from a research cooperation between the
Department of Philosophy of Sun Yat-Sen University and the Department of
Philosophy of the University of Pavia and continues the themes both of
the Conferences "Model-Based Reasoning in Scientific Discovery" MBR'98,
"Model-Based Reasoning: Scientific Discovery, Technological Innovation,
and Values" MBR'01, and "Model-Based Reasoning in Science and
Engineering: Abduction, Visualization, and Simulation" MBR'04, and of
"the First International Conference of Philosophy and Cognitive Science:
Science, Cognition, and Consciousness", 2004.
The previous volumes derived from those conferences are:
L. Magnani and N. J. Nersessian (eds.) (2002), Model-Based Reasoning.
Science, Technology, Values,
Kluwer Academic/Plenum Publishers, New York.
http://www.wkap.nl/prod/b/0-306-47244-9
L. Magnani, N. J. Nersessian, and C. Pizzi (eds.) (2002), Logical and
Computational Aspects of Model-Based Reasoning,
Kluwer Academic, Dordrecht. http://www.wkap.nl/prod/b/1-4020-0791-4
L. Magnani, N. J. Nersessian, and P. Thagard (eds.) (1999), Model-Based
Reasoning in Scientific Discovery,
Kluwer Academic/Plenum Publishers, New York.
http://www.wkap.nl/prod/b/0-306-46292-3
(Chinese edition, translated and edited by Q. Yu and T. Wang, China
Science and Technology Press, Beijing, 2000).
Ping Li, Xiang. Chen, Zhilin Zhang, and Huaxia Zhang (eds.)(2004),
Science, Cognition, and Consciousness,
JiangXi People's Press, Nanchang, China.
PROGRAM
The conference will deal with the logical, epistemological, and
cognitive aspects of modeling practices employed in science and
medicine, including computational models of such practices. We solicit
papers that examine the role of abduction, visualization, and simulation
in model-based reasoning from philosophical, historical, sociological,
psychological, or computational perspectives.
RELEVANT RESEARCH AREAS
We call for papers that cover topics pertaining to
model-based reasoning in science and medicine from the following list:
- model-based reasoning in scientific discovery and conceptual changes
- the role of models in scientific and technological thinking
- model-based reasoning in scientific explanation
- model-based medical diagnosis
- model-based reasoning and traditional Chinese medicine
- model-based reasoning in engineering and robotics
- model-based reasoning and technological artefacts
- abduction
- visual, spatial, imagistic modeling and reasoning
- simulative modeling
- the role of diagrammatic representations
- computational models of visual and simulative reasoning
- causal and counterfactual reasoning in model construction
- visual analogy
- thought experimenting
- logical analyses related to model-based reasoning
- manipulative reasoning
- distributed model-based reasoning
- embodiment in model-based reasoning
[...]
--[2]------------------------------------------------------------------
Date: Mon, 27 Feb 2006 06:47:46 +0000
From: geoff_at_cs.miami.edu
Subject: Logic and Reasoning Workshop CFP
- Reminder ... Reminder ... Reminder ... Reminder ... Reminder ... Reminder ...
The CSR 2006 Workshop on
Logic for Automated Reasoning and Automated Reasoning for Logic (LARARL)
will be held 7th June 2006 as part of
The International Computer Science Symposium in Russia
St Petersburg, Russia, 8th - 12th June 2006
Submission deadline - 6th March 2006
Invited speaker - John Slaney
Workshop orgainzers - Boris Konev & Geoff Sutcliffe
This workshop will bring together practioners and researchers who are
concerned
with the logics that underlie automated reasoning, and the use of automated
reasoning to investgate logics and their applications. Reasoning in all forms
(automated, interactive, etc) and all logics (classical, non-classical, all
orders, etc) is of interest to the workshop. The workshop will be divided into
two tracks:
Logic for Automated Reasoning
+ Properties of logic that make them suitable for automated reasoning
+ New logics for which automated reasoning is possible
+ Reasoning calculi and inference rules for logics
+ System descriptions of implementations of logical calculi
+ Translations of and between logics to permit automated reasoning
+ Applications of logic for automated reasoning
Automated Reasoning for Logic
+ Investigations of axiomatizations of logics
+ Proof search and guidance for reasoning about logics
+ System descriptions specialized towards reasoning about logics
+ Experimental results from automated reasoning about logics
+ Challenge problems in logic for automated reasoning
+ Encoding application problems as logic problems
+ Applications of automated reasoning for logic
Submission of papers for presentation at the workshop, and proposals
for system
and application demonstrations at the workshop, are now invited. Submissions
will be reviewed, and a balanced program of high-quality contributions will be
selected. There is a 20 page limit. Full details of the workshop and submission
requirements are on the WWW page ...
http://www.cs.miami.edu/~geoff/Conferences/LARARL/
-------------------------------------------------------------------------------
--[3]------------------------------------------------------------------
Date: Mon, 27 Feb 2006 06:49:43 +0000
From: Matthew Zimmerman <mz34_at_nyu.edu>
Subject: Dates for 2006 TEI-C Members' Meeting
------------------------------------------------
2006 Text Encoding Initiative Consortium Members' Meeting
October 27-28, 2006
Victoria, British Columbia, Canada.
http://www.tei-c.org
------------------------------------------------
The 2006 TEI-C Members' Meeting will take place October 27 and 28th
in Victoria,
British Columbia, Canada. The gathering is hosted by the
Electronic Textual Cultures Lab and the Humanities Computing and Media
Centre at University of Victoria and will be held at the Hotel Grand
Pacific in Victoria
http://www.hotelgrandpacific.com/ . The TEI-C has secured
favorable room rates if you choose to stay there as well.
As in past years the first day of the meeting will consist of a program
of invited speakers. The second day will consist of a poster session,
special interest group meetings, and the TEI-C business meeting at which
our annual elections take place. The meeting is free of charge for
institutional members and subscribers, but attendance is open to
anyone. The
meeting fee charged to non-members and non-subscribers entitles you to
subscriber benefits for the remainder of the calendar year.
More information including a Call for Posters, a Call for Nominations,
and a Call for Registration will follow in the next months, but, in the
meantime, mark your calendar for this exciting event.
If you have any questions please direct your email to info_at_tei-c.org
MZ
_________________
Matthew Zimmerman
Chair
Text Encoding Initiative Consortium
Received on Mon Feb 27 2006 - 02:13:21 EST
This archive was generated by hypermail 2.2.0 : Mon Feb 27 2006 - 02:13:22 EST