[Haskell] MBR04 Extended deadline

Lorenzo Magnani lmagnani at cc.gatech.edu
Sun Jun 6 16:11:22 EDT 2004


EXTENDED DEADLINE - Deadline June 20, 2004
******************************************************************


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

                            MBR'04

               Pavia, Italy, December 16-18, 2004

                       Chair: Lorenzo Magnani

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

                      Up-to date information
               on the conference will be found at
       http://www.unipv.it/webphilos_lab/courses/progra1.html

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

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

INVITES 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
- Lawrence W. Barsalou,Department of Psychology,Emory University
  Atlanta, GA, USA
- 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
- Mary Hegarty, Department of Psychology, University of California,
  Santa Barbara, CA, USA
- Theo A.F. Kuipers, Dept. of Philosophy, University of Groningen,
  Groningen, NETHERLANDS
- Michael Leyton, DIMACS, Busch Campus, Rutgers University,
  New Brunswick, NJ, USA
- Li Ping,  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
- Nancy J. Nersessian, College of Computing, Georgia Institute of
  Technology, Atlanta, GA, USA
- Claudio Pizzi, Department of Philosophy and Social Sciences,
  University of Siena, Siena, ITALY
- Qiming Yu, Department of Philosophy, Central University for Nationalities,
   Bejing, P.R. CHINA
- Friedrich Steinle, Max-Planck-Institut, Berlin, GERMANY
- 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

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 case 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
lmagnani at unipv.it

A RIGID LAW ON PRIVACY IN ITALY DOES NOT FAVOR MORE COMFORTABLE 
COMPUTATIONAL

METHODS OF PAYMENTS
(CONFERENCE AND ACCOMMODATION FEES), SORRY.
PLEASE FOLLOW THE INSTRUCTIONS INDICATED BELOW.



REGISTRATION AND FURTHER INFORMATION


PLEASE REGISTER by email
lorenzo.magnani at unipv.it,
fax or air mail by
sending the 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 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 Included)

          Phd Students: Euro 160,00

          Students (Undergraduates): Free

One day only:  Euro 100,00

No refunds will be granted after   November 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: IT32V0690611301000000043008.
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 at acrossevents.com).
If you prefer, you can mail an international check to
CONVEGNO INTERNAZIONALE  E-CAP2004_ITALY,
Dipartimento di Filosofia, Piazza Botta 6, 27100 Pavia, Italy .

ACCOMMODATION

To book a reservation please fill and fax to
+39-0382-23215 the ACCOMMODATION FORM
you will find in the Conference Web Site
http://www.unipv.it/webphilos_lab/courses/progra1.html
(to dr. Elena Gandini Local Organizer).
POSSIBLY BEFORE NOVEMBER 10, 2003.
For information please email Elena Gandini, Local Organizer
elena at 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.


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 at acrossevents.com

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

IMPORTANT DATES

Submission deadline.....................  June 20, 2004
Notification of acceptance..............Sept 15, 2004
Conference............................. Dec 16-18, 2004
Final papers......................due.. February 15, 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: lmagnani at 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,Centre for Logic, Epistemology and the History of 
Science - CLEHC
  State University of Campinas - UNICAMP, Campinas, SP, Brazil  
- Simon Colton, Department of Computing, Imperial College London
  180 Queens Gate, London SW7 2BZ, United Kingdom
- Roberto Cordeschi, Department of Communication Sciences, University of 
Salerno,
  Salerno , ITALY
- Kenneth D. Forbus, Walter P. Murphy Professor of Computer Science and
  Education, Northwestern University, 1890 Maple Avenue,  Evanston, IL, 
60201, USA
- Dov Gabbay, Department of Computer Science, King's College, London,  UK
- Ronald N. Giere, Department of Philosophy, 831 Heller Hall
  University of Minnesota, Minneapolis, MN  USA 55455
- David Gooding, Science Studies Centre, Department of Psychology
  University of Bath, Bath BA2 7AY, UK
- Elke Kurz-Milcke, College of Computing, Georgia Institute of Technology
  801 Atlantic Dr. NW, Atlanta, GA 30332-0280, USA
- Michael Leyton, Center for Discrete Mathematics & Theoretical Computer 
Science
  (DIMACS), Busch Campus, Rutgers University, New Brunswick, NJ 08854. USA
- Lorenzo Magnani, Department of Philosophy, University of Pavia,
  Pavia, ITALY and Baruch College, The City University of New York,
  New York, USA
- Nancy J. Nersessian, College of Computing, Georgia Institute of
  Technology, Atlanta, GA, USA
- Wendy C. Newstetter, Director of Learning Sciences Research
  Wallace H. Coulter  Dept. of Biomedical Engineering,
  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 43403, USA
- Riccardo Viale, Fondazione Rosselli,Via San Quintino, 18/c, 10121 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
  Box 353350, 345 Savery Hall, University of Washington, Seattle, WA 
98195     
- Xiang Chen, Department of Philosophy, California Lutheran University
  Thousand Oaks, CA 91360
 
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 at acrossevents.com
www.acrossevents.com

LOCAL ORGANIZING COMMITTEE

Elena Gandini (elena at acrossevents.com), Riccardo Dossena
(riki.dox at libero.it), Lorenzo Magnani (lmagnani at unipv.it),
(Department of Philosophy, University of Pavia, Pavia, Italy)
Stefanelli Mario (mstefa at aim.unipv.it), Matteo Piazza (pimat at 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
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 from 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 ) offers six

runs from LINATE to Pavia at 9.00, 10.00, 12.00 AM and 2.00, 5.00, 8.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, 4.00, 6.00 PM) (one hour trip; _13,00 return 
ticket, _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 (Terminal 1) and OLD MALPENSA (Terminal 2) Airport: 
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 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 ticket, _12,00 one way ticket).
The last stop is Pavia, near the rail station.

In Pavia there is only one rail 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.


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


(see again our updated web page for possible  alterations of this 
time-table)





More information about the Haskell mailing list