MODEL-BASED REASONING
IN SCIENCE AND ENGINEERING
ABDUCTION, VISUALIZATION, AND SIMULATION

http://www.unipv.it/webphilos_lab/courses/progra1.html


MBR'04


Pavia, Italy, December 16-18, 2004


Last Updated: Nov 8,  2004


GENERAL INFORMATION

From Thursday 16 to Saturday 18 December 2004 (three days) the
International Conference
"MODEL-BASED REASONING IN SCIENCE AND ENGINEERING:
ABDUCTION, VISUALIZATION, AND SIMULATION"
will be held at the University of Pavia (near Milan, Italy).

The conference continues the theme of the
Conferences "Model-Based Reasoning in Scientific Discovery" MBR'98 and
"Model-Based Reasoning: Scientific Discovery, Technological Innovation, and Values" MBR'01

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

 
 

PROGRAM

The conference will deal with the logical, epistemological, and cognitive aspects
of modeling practices employed in science and engineering, 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 engineering from the following list:

- 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
- model-based reasoning and technological innovation

INVITED SPEAKERS WHO ALREADY ACCEPTED TO GIVE
A PRESENTATION AT MBR'04

- Atocha Aliseda, Instituto de Investigaciones Filosoficas Universidad
  Nacional  Autonoma de Mexico (UNAM), Mexico City, MEXICO
- Diderik Batens, Centre for Logic and Philosophy of Science,
  Universiteit Gent, Ghent, BELGIUM
- Walter Carnielli, CLEHC  State University of Campinas - UNICAMP,
   Campinas, SP, Brazil

- Balakrishnan Chandrasekaran, Laboratory for Artificial Intelligence Research,
  Department of Computer and Information Sience, Columbus, OH, USA.
- Kenneth D. Forbus, Walter P. Murphy Professor of Computer Science and  Education,
  Northwestern University, Evanston, IL, USA
- Dov Gabbay, Department of Computer Science, King's College, London,  UK
- David Gooding, Science Studies Centre, Department of Psychology
  University of Bath, Bath, UK
- Michael E. Gorman, School of Engineering and Applied Science,
  University of Virginia, Charlottesville, VA, USA
- Theo A.F. Kuipers, Dept. of Philosophy, University of Groningen,
  Groningen, NETHERLANDS
- Michael Leyton, DIMACS, Busch Campus, Rutgers University,
  New Brunswick, NJ, USA
- Ping, Li
, Department of Philosophy, Sun Yat-sen (Zhongshan) University,
  Guangzhou, P.R.CHINA

- Lorenzo Magnani, Department of Philosophy, University of Pavia,
  Pavia, ITALY and Baruch College, The City University of New York,
  New York, USA
- Claudio Pizzi, Department of Philosophy and Social Sciences,
  University of Siena, Siena, ITALY
- Barbara Tversky, Stanford University, Stanford, CA
- John Woods, Department of Philosophy,  University of British Columbia, 
  Vancouver and 
Department of Computer Science, King's College, London,  UK
- Andrea Woody, Department of Philosophy, University of Washington
  Seattle, WA, USA



SUBMISSIONS OF PAPERS and SYMPOSIA PROPOSAL

All submitted papers will be carefully refereed. The precise format
of the conference will be fixed after we have an idea of the number of
accepted papers. We expect approximately  40 contributed presentations some of 40
and others of 20 minutes.  There will be several invited papers of 1 hour.
A selected subset will be invited for inclusion (subject to additional refereeing)
in a book which will constitute an advanced handbook for researchers in this area.
The book will be published by an international
publishing house. Moreover another selected subset will be invited
for inclusion (subject to additional refereeing) in special issues of suitable
international journals.
 

Authors must submit
an electronic version
- formatted in Microsoft Word or RTF, 
PS or PDF ( in this last two cases please include source  - DOC, TEX, etc. -  file)
  -
of an extended abstract (total word count aproximately 1000-1200).  
The file must also contain a  300 WORD abstract
that will be used for the conference web site/booklet.


Not later than

June 20, 2004

please send electronically the extended abstract
to the Prof. Magnani at the address

  lorenzo.magnani@unipv.it)


SYMPOSIA PROPOSALS

Not later than

July 20, 2004.



please send electronically a two pages symposium proposal
(3-5 presentations)
  to the Prof. Magnani at the address

 lorenzo.magnani@unipv.it)




A RIGID LAW ON PRIVACY IN ITALY DOES NOT FAVOR MORE
COMFORTABLECOMPUTATIONAL METHODS OF PAYMENTS
(CONFERENCE AND ACCOMMODATION FEES), SORRY.
PLEASE FOLLOW THE INSTRUCTIONS INDICATED BELOW.

 
 REGISTRATION AND FURTHER INFORMATION

PLEASE REGISTER by email, fax or air mail by
sending to PROGRAM CHAIR Lorenzo Magnani  first and last name,
function, institution, full
address, phone, fax and email.

For information about paper submission and the program that is not
available on the web site, please contact the program chair.

Registration Fees:

Before October 15, 2004:

          Standard:   Euro 180,00           (to participate in all the activities of the Conference
                                                            Social Dinner and Reception included)

          Phd Students: Euro 120,00

          Students (Undergraduates): Free

After  October 15, 2004:

          Standard:   Euro 240,00            (to participate in all the activities of the Conference
                                                            Social Dinner and Reception Included)

          Phd Students: Euro 160,00

          Students (Undergraduates): Free

One day only:  Euro 100,00

No refunds will be granted after  December 1st
Terms & Conditions: an administration fee of Euro 75,00 will be charged for cancellations confirmed in writing by  December 1st. We regret that no refund can be made after that date, for whatever reason,although substitutions will be acceptable if notified in writing before the event.

METHOD OF PAYMENT: 

SWIFT TRANSFER

Bank (Swift) Transfer to BANCA REGIONALE EUROPEA S.p.A
BRANCH PAVIA - Sede
SWIFT BREUITM2 301
Bank Code 06906.11301
CIN V
Acc. n. 43008 COMITATO CONVEGNI E. W. I. C.
IBAN: IT48V0690611301000000043008.
Please indicate  CONVEGNO INTERNAZIONALE MBR04.
Please ask your BANK to clearly indicate in the order of payment
your first and last NAME.
In case of problems please contact Elena Gandini 
Local Organizer
elena@acrossevents.com).
If you prefer, you can mail an international check to
CONVEGNO INTERNAZIONALE  MBR04,
Dipartimento di Filosofia, Piazza Botta 6,
27100 Pavia, Italy .


ACCOMMODATION 

To book a reservation please fill and fax this
ACCOMMODATION FORM to
+39-0382-23215  (dr. Elena Gandini Local Organizer).
POSSIBLY BEFORE NOV 1, 2004.
For further information please email
Elena Gandini Local Organizer
elena@acrossevents.com).
Please do not send email messages containing your credit card data.

All accommodation is hotel-based with en-suite facilities (the prices are per room per day).
 
Hotel Moderno ****Euro 103,00 (single b&b) Euro138,00 (double b&b)
 
Hotel Ariston *** Euro 80,00(single) Euro 110,00 (double), Breakfast Euro 10,00
 
Hotel Excelsior *** Euro 50,00(single) Euro 73,00(double) 
                               Euro 62,00(D/S) breakfast Euro 6,00
 
Hotel Ritz***  Euro 65,00 (single b&b) Euro 87,00 (double b&b)
 
Hotel Excelsior (from the station walk east)
Hotel Moderno (from the station walk north)
Hotel Ritz (San Genesio-PV); an Hotel bus service is available.
To reach Hotel Ariston take the bus n. 3 or taxi.

PENALTY
In case of no show the Hotels will charged you their
own penalty. For further information, please contact  the
local organiser Elena Gandini elena@acrossevents.com.

A very limited number of less expensive rooms is available
in the several Colleges (some of them historical) of the ancient University of Pavia.

If the Hotels above will be completely booked other Hotels are available,
in this last case please email

dr. Elena Gandini Local Organizer e-mail: elena@acrossevents.com

IMPORTANT DATES

Submission deadline..............................June 20   2004
Notification of acceptance.....................15 Sept   2004
Conference............................................16-18 Dec   2004
Final papers............................due.........15 Feb 2005
 

PROGRAM CHAIR 

Lorenzo MAGNANI

Department of Philosophy and Computational Philosophy Laboratory
University of Pavia, Piazza Botta 6, 27100 Pavia, Italy
Office: +39-0382-506283, Home: +39-0383-371067
Fax: +39-0382-23215
&

Weissman Distinguished Visiting Professor
Department of Philosophy, Baruch College,
1 Bernard Baruch Way, New York , NY 10010
Office: +646-312-4367, Fax: +646- 312-4361, Home: 646-432-9309
Email:  lorenzo.magnani@unipv.it


PROGRAM COMMITTEE 

- Atocha Aliseda, Instituto de Investigaciones Filosoficas Universidad
  Nacional  Autonoma de Mexico (UNAM), Mexico City, MEXICO
- Diderik Batens, Centre for Logic and Philosophy of Science,
  Universiteit Gent, Ghent, Belgium
- Walter Carnielli, CLEHC  State University of Campinas - UNICAMP,
   Campinas, SP, Brazil
- Simon Colton, Department of Computing, Imperial College London
  London, United Kingdom
- Roberto Cordeschi,
Department of Communication Sciences
,
   University of Salerno,
Salerno , ITALY
- Kenneth D. Forbus, Northwestern University,
  Evanston, IL, USA
- Dov Gabbay, Department of Computer Science, King's College, London,  UK
- Ronald N. Giere, Department of Philosophy, University of Minnesota,
   Minneapolis, MN,  USA
 - David Gooding, Science Studies Centre, Department of Psychology
   University of Bath, Bath, UK
 - Elke Kurz-Milcke, College of Computing, Georgia Institute of Technology
   Atlanta, GA, USA
 - Michael Leyton, DIMACS Busch Campus, Rutgers University,
   New Brunswick, NJ, USA
- Lorenzo Magnani, Department of Philosophy, University of Pavia,
  Pavia, ITALY and Baruch College, The City University of New York,
  New York, USA
- Wendy C. Newstetter, Georgia  Institute of Technology/Emory University school of Medicine,
  Atlanta, GA, USA
- Claudio Pizzi, Department of Philosophy and Social Sciences,
  University of Siena, Siena, ITALY
- Stefanelli Mario, Dipartimento di Informatica e Sistemistica, Università di
  Pavia, Pavia, ITALY
- Ryan D. Tweney, Professor of Psychology, Bowling Green State University
  Bowling Green, OH, USA
- Riccardo Viale,
Lascomes (Laboratory of Cognitive, Methodological and Socio-Economic Sciences) -
   Fondazione Rosselli, Torino, Italy
 
- John Woods, Department of Philosophy,  University of British Columbia, 
  Vancouver and 
Department of Computer Science, King's College, London,  UK
- Andrea Woody, Department of Philosophy, University of Washington
  Seattle, WA, USA
- Xiang Chen, Department of Philosophy, California Lutheran University
  Thousand Oaks, CA, USA

LOCAL ORGANIZER 

dr. Elena Gandini
Across Events s.r.l.
Via A. Moro, 12
27021 Bereguardo (PV) Italy
mobile +39 349 55 41 915
e-mail: elena@acrossevents.com
www.acrossevents.com

LOCAL ORGANIZING COMMITTEE 

Elena Gandini (elena@acrossevents.com), Riccardo Dossena
(riki.dox@libero.it), Lorenzo Magnani (lmagnani@unipv.it),
(Department of Philosophy, University of Pavia, Pavia, Italy)
Stefanelli Mario (mstefa@aim.unipv.it), Matteo Piazza (pimat@yahoo.com),
(Dipartimento di Informatica e Sistemistica, Università di  Pavia, Pavia, Italy) 

CONFERENCE SITE: 

Collegio Ghislieri, Piazza Ghislieri, 27100 PAVIA, Italy,
phone +39 0382 37861. http://www.ghislieri.it/
 
 

The Conference is sponsored by
UNIVERSITY OF PAVIA, ITALY
UNIVERSITY OF SIENA, ITALY
COMUNE DI PAVIA

MIUR (Ministero dell'Università e della Ricerca Scientifica e
Tecnologica), ITALY
CARIPLO (Cassa di Risparmio delle Provincie Lombarde)
 

HOW TO REACH PAVIA 

LINATE Airport: www.sea-aeroportimilano.it/linate
People arriving by plane at LINATE should take the bus to the
CENTRAL STATION of Milan (cf below fron this Station to Pavia).
In LINATE it could be convenient to take a Taxi because the
airport is close to the center of Milan. 

 
Moreover, the bus company SGEA (www.sgea.it, click on LINEE TURISTICHE)
offers six runs from LINATE to Pavia at
9.00, 10.00, 12.00 AM and 2.00, 3.30, 5.00, 8.30 10.30 PM. The last stop is Pavia, near
the station (see again our updated web page for possible alterations of this time-table)
(from Pavia to LINATE six runs at 5.00, 7.30, 10.00 AM, 1.00, 2.00, 4.00, 6.00, 8.00 PM)
(one hour trip; EURO 13,00 return ticket, EURO 8,00 one way ticket). In Pavia
there is only one station. The easiest way to reach the center of the town is to get
off at the station and than take the bus n. 3.


 

MALPENSA 2000 and OLD MALPENSA Airports : 

www.sea-aeroportimilano.it/malpensa

(usually people arrive to Malpensa 2000 and not to OLD MALPENSA):
People arriving by plane at MALPENSA 2000 (also called MALPENSA
2000 Terminal 1) or at "old" MALPENSA (now called MALPENSA NORTH
but also called Malpensa 2000 Terminal 2) should  take the bus
to the CENTRAL STATION of  Milan. There is also a bus AND A shuttle
TRAIN (Malpensa Express) from Malpensa 2000 to the NORTH STATION (Piazzale Cadorna)
of Milan, in this case from NORTH Station you will have to take the underground MM2 (green line)
to the Central Raylway Station: trains to Pavia leave from Central station.
Moreover,
the bus company SGEA (www.sgea.it, click on LINEE TURISTICHE) offers various runs
from MALPENSA 2000 to Pavia
  at  9.00, 11:00 AM, 1:30 3:00, 5:00, 7:00, 9:30, PM (from Pavia to MALPENSA 2000
and to OLD MALPENSA various runs at 7.00, 9:00, 11:00 AM, 1:00, 3:15, 5:00, 7:00 PM)
(one hour and half trip; €18,00 retourn tiket, €12,00 one way ticket).

The last stop is Pavia, near the station (see again our updated web page for possible alterations
of this time-table) In Pavia there is  only onestation.
The easiest way to reach the center of the town is to get off at the station and than take the bus n. 3.


There are trains from MILAN (Central Raylway Station) to PAVIA and vice
Versa about every an hour www.trenitalia.it (routes: MILAN-GENOVA; MILAN-VENTIMIGLIA;
MILAN-LA SPEZIA; MILAN-SAVONA; MILAN-SESTRI LEVANTE; MILAN-IMPERIA;
MILAN-ALBENGA; Pavia is the first stop only if the train is not slow, that is,
if it is not, in ITALIAN, "L", locale).

 
 

In Pavia there is only one railway station. The easiest way to reach the
center of the town is to get off at the station and than take the bus
n. 3. 

 

For any further information do not hesitate to contact our local organizer,
Elena Gandini at elena@acrossevents.com