Logic List Mailing Archive

MBR09: Model-Based Reasoning in Science and Technology

17-19 Dec 2009
Campinas, Brazil

**********************************************************************

            MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY


            Abduction, Logic, and Computational Discovery


                            MBR'09_BRAZIL

                 (Fifth International MBR Conference)


                Campinas, Brazil, December 17-19, 2009

            Chairs: Lorenzo Magnani and Walter Carnielli


            http://www.unipv.it/webphilos_lab/mbr09.php


**********************************************************************

                      MBR COMMUNITY WEB SITE
               http://www.unipv.it/webphilos_lab/cpl2/

**********************************************************************


GENERAL INFORMATION


From Thursday 17 to Saturday 19 2009 (three days), the
International Conference MODEL-BASED REASONING IN SCIENCE AND
TECHNOLOGY will be held at the State University of Campinas ?
UNICAMP -  in the town of Campinas, SP, Brazil.

The conference derives from a research cooperation between the
State University of Campinas ? UNICAMP, the Department of
Philosophy of the University of Pavia (Italy) and the department
of Philosophy and Social Sciences of the University of Siena
(Italy)  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, "Model-Based Reasoning in Science
and Engineering: Abduction, Visualization, and Simulation"
MBR'04, and "Model-Based Reasoning in Science and Medicine",
MBR06_CHINA.

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

P. Li, X. Chen, Z. Zhang, and H. Zhang (eds.)(2004), Science,
Cognition, and Consciousness, JiangXi People's Press, Nanchang,
China.

L. Magnani and Li. Ping (eds.) (2006), Philosophical
Investigations from a Perspective of Cognition, Guangdong
People's Publishing House, Guangzhou, (published in Chinese).

L. Magnani (2006) (ed.), Model-Based Reasoning in Science and
Engineering. Cognitive Science, Epistemology, Logic, College
Publications, London.
http://www.amazon.co.uk/Model-Based-Reasoning-Science-Engineering/dp/190498
7230

L. Magnani and P. Li (eds.) (2007), Model-Based Reasoning in
Science, Technology, and Medicine, Series "Studies in
Computational Intelligence", Vol. 64, Springer, Berlin/New York.
http://www.springer.com/engineering/book/978-3-540-71985-4

CONFERENCE SITE

December 17:

Centre for Logic, Epistemology and the History of Science ? CLE,
State University of Campinas ? UNICAMP, P.O. Box 6133 13083-970
Campinas -SP, Brazil: details will be given in the second call
for papers. There will be a bus on December 17 morning from Royal
Palm Tower  to the UNICAMP Campus and back to the Hotel in the
evening of the same day.

December 18 and 19:

Royal Palm Tower Av. Royal Palm Plaza, 277 - Jd Nova Califrnia
Campinas/So Paulo Zip code 13.051-092 - Brazil Phone: (55 19)
2117-8000 Reservations: (55 19) 2117-8002 / 0800-727-6925 So
Paulo office: (55 11) 5505-1812
http://www.theroyal.com.br/index.php?id=13&L=1

PROGRAM

The conference will deal with the logical, epistemological, and
cognitive aspects of modeling practices employed in science and
cognitive science, including logical and  computational models of
such practices. We solicit papers that examine the role of
abduction, visualization, simulation, and other aspects in
model-based reasoning from philosophical, historical,
sociological, psychological, or computational perspectives. The
conference is also devoted to examine the impact of Model-Based
Reasoning research in the enhancement of various kinds of human
cognitive skills, mental, hybrid, manipulatory, etc.

RELEVANT RESEARCH AREAS


We call for papers that cover topics pertaining to model-based
reasoning in science and human cognition from the following list:

    - affordances, artifacts, and model-based reasoning
    - brain, neuroscience, and model-based reasoning
    - abduction
    - logical analyses related to model-based reasoning
    - 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
    - manipulative reasoning
    - distributed model-based reasoning
    - distributed cognition, embodiment, and model-based reasoning
    - model-based reasoning in  scientific discovery and conceptual change
    - model-based reasoning and ethics
    - model-based reasoning and semiotics
    - model-based reasoning in scientific explanation
    - model-based medical diagnosis
    - model-based reasoning in engineering and robotics
    - model-based reasoning and technological artifacts
    - model-based reasoning and knowledge management
    - model-based reasoning and information technology
    - the role of models in scientific and technological thinking


THE CONFERENCE IS SPONSORED BY

Brazilian  Logic Society  (http://www.cle.unicamp.br/sbl/ )

Centre for Logic, Epistemology and the History of Science ? CLE
of the  State University of Campinas ? UNICAMP, Brazil
(http://www.cle.unicamp.br/index.php/)

Project ConsRel-  Logical Consequence and Combinations of Logics,
Brazil (http://consrel.iv.fapesp.br/)

University of Pavia, Department of Philosophy, Italy
(http://www.unipv.it/) University of Siena,

Department of Philosophy and Social Sciences, Italy
(http://www.unisi.it/ )

MIUR (Ministero dell'Universit della Ricerca Scientifica e
Tecnologica), Italy (http://www.miur.it/)


PROGRAM COMMITTEE

- Atocha Aliseda, Instituto de Investigaciones Filosoficas,
Universidad Nacional Autonoma de Mexico (UNAM)

- Silvana Borutti, Department of Philosophy, University of Pavia,
ITALY

- Eduardo Bustos, Department of Logic, History and Philosophy of
Science at UNED (Spanish Open University), Madrid, SPAIN

- Walter Carnielli, Department of Philosophy, Institute of
Philosophy and Human Sciences, State University of Campinas,
BRAZIL

- Marcelo Esteban Coniglio, Department of Philosophy, Institute of
Philosophy and Human Sciences, State University of Campinas,
BRAZIL

- Itala D'Ottaviano, Department of Philosophy, Institute of
Philosophy and Human Sciences, State University of Campinas,
BRAZIL

- Roberto Cordeschi, Department of Philosophy, "La Sapienza"
University of Rome, ITALY

- Roberto Feltrero, Department of Logic, History and Philosophy
of Science at UNED (Spanish Open University), Madrid, SPAIN

- Marcello Frixione, Department of Communication Sciences,
University of Salerno, ITALY

- Michel Ghins, Institut Superieur de Philosophie, Universite de
Louvain, BELGIUM

- David Gooding, Department of Psychology, University of Bath, UK

- Mike E. Gorman, Technology, Culture & Communications, SEAS
University of Virginia, USA

- Marcello Guarini, Department of Philosophy, University of
Windsor, CANADA

- Ricardo Gudwin, Department of Computer Engineering and
Industrial Automation, the School of Electrical Engineering and
Computer Science, State University of Campinas, BRAZIL

- Viorel Guliciuc, Stefan cel Mare University, Suceava, ROMANIA -
Michael Leyton, Psychology Department, and DIMACS Center for
Discrete Mathematics, & Theoretical Computer Science, Rutgers
University, USA

- Mamede Lima-Marques, Departamento de Ciencias da Informacao e
Documentacao, Universidade de Braslia, BRAZIL

- Angelo Loula, Department of Exact Sciences, State University of
Feira de Santana, BRAZIL

- Shangmin Luan, Institute of Software, The Chinese Academy of
Sciences, Beijing, P.R. CHINA

- Lorenzo Magnani, Department of Philosophy & Computational
Philosophy Laboratory, University of Pavia, ITALY

- Cezar Augusto Mortari, Federal University of Santa Catarina,
UFSC Florianopolis, Brazil

- Claudio Pizzi, Department of Philosophy and Social Sciences,
University of Siena, Siena, ITALY

- Joao Queiroz, Department of Computer Engineering and Industrial
Automation (DCA) School of Electrical Engineering and Computer
Science, State University of Campinas, BRAZIL

- Lucia Santaella, Center of Research in Digital Media, Sao Paulo
Catholic University (PUCSP), BRAZIL

- Gerhard Schurz, Institute for Philosophy, Heinrich-Heine
University, GERMANY

- Cameron Shelley, Department of Philosophy, University of
Waterloo, Waterloo, CANADA

- Colin Schmidt, Institut d'Informatique Claude Chappe,
University of Le Mans, FRANCE

- Frank Thomas Sautter, Department of Philosophy, University of
Santa Maria, BRAZIL

- Paul Thagard, Director of the Cognitive Science Program, and
University Research Chair at the University of Waterloo, CANADA

- Barbara Tversky, Department of Psychology, Stanford University,
USA

- Jon Williamson, Philosophy, School of European Culture and
Languages, University of Kent, UK

- John Woods, Department of Philosophy, University of British
Columbia, CANADA

- Woosuk Park, Humanities and Social Sciences, KAIST,
Guseong-dong, Yuseong-gu Daejeon, SOUTH KOREA



INVITED SPEAKERS AND PLENARY PRESENTATIONS (to be completed)



SUBMISSIONS OF PAPERS AND SYMPOSIA PROPOSALS

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 60
contributed presentations some of 40 and others of 20 minutes.
There will be several invited presentations of 1 hour. A selected
subset will be of accepted papers 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 like for example Logic Journal of the IGPS
and Foundations of Science, which already hosted articles
presented at MBR98, MBR01, and MBR04.

To participate to the conference authors must submit an
electronic version - formatted in Microsoft Word or .RTF, or .PDF
(in this last case please include source - .DOC, .TEX or other
file) - of an extended abstract (total word count approximately
1000-1200). The file must also contain a 300 WORDS abstract that
will be used for the conference web site/booklet.

No later than May 1, 2009 please send electronically the extended
abstract to the Prof. Lorenzo Magnani at the address
lmagnani@unipv.it AND to Prof. Walter Carnielli at
carniell@cle.unicamp.br


SYMPOSIA PROPOSALS

No later than July 31, 2009. Please send electronically a two
pages symposium proposal (3-5 presentations) to the Prof. Lorenzo
Magnani at the address lmagnani@unipv.it AND to Prof. Walter
Carnielli carniell@cle.unicamp.br



REGISTRATION AND FURTHER INFORMATION

Please Register by sending an email to Lorenzo MAGNANI
lmagnani@unipv.it  Please indicate 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 chairs.


REGISTRATION FEES:

Before October 15, 2009:
          Standard:   Euro 180,00           (to participate in all the
activities of the Conference Social Dinner included)
          Phd Students: Euro 120,00
          Master Students and Undergraduates: Free

After  October 15, 2009:
          Standard:   Euro 220,00            (to participate in all the
activities of the Conference Social Dinner Included)
          Phd Students: Euro 150,00
          Master Students and Undergraduates: Free

One day only:  Euro 75,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.



METHOD OF PAYMENT:

I: SWIFT TRANSFER details will be added to the second call for
papers and in the web site

If you prefer, you can mail an international check to
INTERNATIONAL CONFERENCE  MBR09_BRAZIL, Dipartimento di
Filosofia, Piazza Botta 6, 27100 Pavia, Italy .


II: CREDIT CARD: details will be added to the second call for
papers and in the web site


ACCOMMODATION

To book a reservation please call (or check the web site)

PREFERABLY BEFORE SEPTEMBER 30, 2009

Royal Palm Tower Av. Royal Palm Plaza, 277 - Jd Nova Califrnia
Campinas/So Paulo Zip code 13.051-092 - Brazil Phone: (55 19)
2117-8000 Reservations: (55 19) 2117-8002 / 0800-727-6925 So
Paulo office: (55 11) 5505-1812
http://www.theroyal.com.br/index.php?id=13&L=1 Single (01 person)
R$ 205,00 =  Euro 63 Double or Twin (02 persons) R$ 230,00 = Euro
70 Breakfast:  R$ 18,00  (open  to non-guests as well)   Euro 5,50
Meal (Lunch or dinner) R$ 49,00= Euro 15


ADITIONAL (CLOSELY RELATED) HOTELS:

1) Hotel Opala Barao Rua Barao de jaguara, 1136- Downtown
Campinas, SP Tel: (+55)(19) 3202-4999 - Fax: (+55)(19)3234-7114
http://www.hotelopalabarao.com.br/

2) Hotel Park Tower R. Duque de Caxias, 443-  Downtown  Campinas,
SP Tel: (+55)(019) 3737-5400 Fax: (+55)(019) 3232-6832 Toll Free
: 0800-7701755 Email: parktower@terra.com.br
http://www.parktower.com.br/home.php

3) Ibis Campinas Av. Aquidaban, 440 -Downtown  Campinas, SP Tel:
(+55)(19) 3731-2300 - Fax:  (+55)(19)3731-2310 e-mail:
h5469.reservas@accorhotels.com.br
http://www.accorhotels.com.br/guiahoteis/ibis/hotel_main.asp?cd_hotel=126

If the Hotels above will be completely booked please email dr.
Alexandre Costa Leite <costaleite@cle.unicamp.br>



IMPORTANT DATES

Submission deadline........................May 1, 2009
Notification of acceptance...............Aug 30, 2009
Conference..................................... Dec 17-19, 2009
Final papers............................due.. February 15, 2010




PROGRAM CHAIRS

Lorenzo MAGNANI Director of Graduate and Postgraduate Studies in
Philosophy Director, Computational Philosophy Laboratory
<http://www.unipv.it/webphilos_lab/> Department of Philosophy,
University of Pavia, Piazza Botta 6, 27100 Pavia, Italy Author's
Webpage: <http://www.unipv.it/magnani> Office: +39-0382-506283,
Home: +39-0383-371067 Fax: +39-0382-23215 Email: lmagnani@unipv.it


Walter CARNIELLI Centre for Logic, Epistemology and the History
of Science ? CLE State University of Campinas ? UNICAMP P.O. Box
6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3788-6519
Fax: (+55) (19) 3289-3269 Email: carniell@cle.unicamp.br Website:
http://www.cle.unicamp.br/prof/carnielli


LOCAL ORGANIZATION COORDINATORS (Brazil)

Walter CARNIELLI carniell@cle.unicamp.br and Alexandre COSTA
LEITE  costaleite@cle.unicamp.br Centre for Logic, Epistemology
and the History of Science ? CLE State University of Campinas ?
UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55)
(19) 3788-6519 Fax: (+55) (19) 3289-3269


LOCAL ORGANIZING COMMITTEES

BRAZIL Walter Carnielli  (State University of Campinas ? UNICAMP)
Itala D'Ottaviano (State University of Campinas ? UNICAMP)
Alexandre Costa Leite (State University of Campinas ? UNICAMP)
Juliana Bueno-Soler   (State University of Campinas ? UNICAMP)
ITALY Lorenzo Magnani (University of Pavia) Emanuele Bardone
(University of Pavia) Tommaso Bertolotti (University of Pavia)
Nicola Bolognini (University of Pavia)


HOW TO REACH Royal Palm Tower -  HOW TO REACH UNICAMP

The MBR09 will be  held  at the State University of Campinas
(UNICAMP) on December 17,  and at the Royal Palm Tower Campinas on
December 18-19, both in the city of Campinas at the state of So
Paulo, Brazil.

Campinas  is approximately 100km  North of So Paulo City.
Probably, you will be arriving at So Paulo-Guarulhos
International Airport (GRU) located in the metropolitan area of
So Paulo City.

There are basically two simple ways to reach Campinas  from GRU:

1) By taking a plane from GRU to Viracopos-Campinas International
Airport (CPQ);

If you decide to take the short trip from GRU So Paulo to CPQ,
this flight should be booked at the same time you  buy your
ticket to Brazil. Then  take a bus or a taxi from CPQ to downtown
Campinas, to the hotel Royal Palm Tower  or directly to Baro
Geraldo district (where the State University of Campinas is
located).


2) By  taking a bus from GRU (So Paulo) to downtown Campinas.

If you decide to take a bus from GRU (So Paulo) to downtown
Campinas (this is the best option), then you will need to take a
second bus or a taxi to reach Baro Geraldo district. If you go
to the hotel, a taxi for the  final bus stop in downtown Campinas
is  the best option ( just 10  minutes, and there is a lot of
taxis just at this final bus stop).

There will be a shuttle  bus on December 17  leaving the hotel
Royal Palm Tower   to UNICAMP   in the morning and back to the
hotel in the evening of the same day.

If, for any reason, you get lost  or find any difficulty, please
call (19) 9768 1628.

More details (prices, dates, reservations & info in general):

Flights from GRU (So Paulo) to CPQ (Campinas):
http://www.voegol.com.br http://www.tam.com.br

Buses from CPQ to downtown Campinas and/or from GRU to downtown
Campinas (you can also buy your ticket upon arrival):
http://www.caprioliturismo.com.br

The State University of Campinas: http://www.unicamp.br

Royal Palm  Tower (main hotel): Rua Boaventura do Amaral, 1274,
13015-192 Campinas,  SP Tel.: (55 19) 2117-5900 , Fax: (55 19)
2117-5901 http://www.theroyal.com.br/index.php?id=13&L=1


Info on Campinas: http://en.wikipedia.org/wiki/Campinas,_Brazil

Other HOW TO REACH CAMPINAS:

http://www.ime.unicamp.br/~icca8/information.html


CPQ (Campinas) Airport:
http://www.infraero.gov.br/usa/aero_prev_home.php?ai=215
http://en.wikipedia.org/wiki/Viracopos_International_Airport

GRU (So Paulo) Airport:
http://www.infraero.gov.br/usa/aero_prev_home.php?ai=217
http://en.wikipedia.org/wiki/S%C3%A3o_Paulo-Guarulhos_International_Airport



(see again the updated web page for possible  alterations of
these instructions)