[1] From: lbeltran@servidor.unam.mx (87)
From: DARWIN@iris.uncg.edu
Subject: Conference on logical reasoning (fwd)
[3] From: Pamela Cohen <pac@rci.rutgers.edu> (114)
Subject: counter-disciplinary conference
[4] From: Yorick Wilks <yorick@dcs.shef.ac.uk> (93)
Subject: 1st International Workshop on Human-Computer
Conversation--2nd posting
--[1]----------------------------------------------------------------
Date: Thu, 28 Nov 1996 20:23:22 -0600
From: lbeltran@servidor.unam.mx
[Unfortunately I received the following in a rather poor state; my attempt
to repair it may have obscured important parts of an address or two.
Apologies if anyone or anything is misled. --WM]
International Meeting
Logic and Mathematical Reasoning
Mexico City, September 30th - October 2nd, 1997
Organized by
Departamento de Matematicas de la Univ. Nac. Autonoma de Mexico (Mexico)
Departamento de Filosofia de la Univ. Autonoma Metropolitana (Mexico)
Centre Francois Viete dHistoire et de Philosophie des Sciences, Univ. de
Nantes (France) Department of Mathematical Sciences, George Mason
University, Fairfax, Virginia (USA)
Scientific Committee
Carlos Alvarez (UNAM), Jean Dhombres (C. F. Viete), Marco Panza
Daniele C. Struppa (G. Mason Univ.), Guillermo Zambrana (UAM)
Our meeting will be dealing with the following general question:
What makes of a reasoning a mathematical reasoning?
This question might be formulated in one of the two following ways:
1) As a normative question. It would be then necessary to provide
an answer, stating how a reasoning should be in order to be classified
as mathematical.
2) As a historical question. The answer should then be given by stating
the particular attributes of mathematical reasoning as they
occur in history.
A closer look at these two approaches seems to show that neither one is
completely satisfactory. The first is based on the assumption that
mathematical reasoning should satisfy certain conditions that finally
appear as completely arbitrary. The second one requires that we should
trust history as being able to provide by itself the object of our
reflection. It is our belief that the two approaches should work together:
the object of the epistemological research on the nature of mathematical
reasoning comes out along with this same research through the possibility
of finding an intrinsic characteristic which is common to all ways of
reasoning displayed in texts and books considered as mathematical. This is
why we think that no philosophy of mathematics is possible if it is
conceived independently of the history of mathematics, and, in the same
vein, no history is possible without philosophy.
Therefore, the problem we address is how to recognize an intrinsic
characteristic which is common to those ways of reasoning occurring in
mathematical literature. It seems to us that this characteristic can be
expressed as a logical structure, even if the term logic used here has to
be embedded into a broader sense and refered not only to meaning it has in
formal modern logic.
Above all, our concern is not history of logic, nor history of the
formalization of mathematical reasoning. Rather we want to study the forms
of certain arguments, inferences, or discourse recognized as mathematical
and investigate their differences or similarities.
Participation in this meeting is open to every scholar who wishes
to give a 40 minutes talk. Please send a one page abstract before April
30, 1997, with the included Registration Form. The acceptance of the
manuscript will be decided by the scientific committee within a month
after reception of the abstract.
The abstract and the registration form should be sent to one of
the following addresses:
- Carlos Alvarez, Departamento de Matematicas, Fac. Ciencias, UNAM. Mexico
D.F., c.p. 04510 M=E9xico; e-mail alvarji@servidor.unam.mx
- Marco Panza, Centre F. Viete, Univ. Nantes, Fac. des Sciences, 2 rue
de la Houssiniere, 44072 Nantes 03, France; e-mail =
panza@unantes.univ-nantes.fr
It is possible to send a one sheet abstract, together with the
following information:
Name, Institution, Adress (including electronic adress) to the
conference adress: logical@hardy.fciencias.unam.mx
It is also possible to connect to the meeting home page at
http://hardy.fciencias.unam.mx:80/logical and submit the abstract and the
registration form by using the relative links
Admission fee is fixed at $50.00 U.S. ($15.00 US for students).
This fee should be paid in Mexico City just before the conference.
The meeting will take place in Mexico City. Participants may lodge
in one of the several hotels in the city with prices ranging between
$30.00 and $70.00 US A list of hotels close to the meeting center
will be sent with the acceptance of the talk. The organizing committee
will be in charge of reservations. It is possible to eat in Mexico City
at a good restaurant, prices range between $15.00-25.00 US
At the present moment, confirmed speakers for plenary lectures are:
Jean Dhombres (Universite de Nantes)
Solomon Feferman (Stanford University)
Michel Otte (University of Bielefeld)
Hourya Sinaceur (CNRS Paris)
Jean Michel Salanskis (Universite de Lille)
Daniele Struppa (Georg Mason University)
--[2]----------------------------------------------------------------
Date: Mon, 02 Dec 1996 11:04:24 -0500
From: Pamela Cohen <pac@rci.rutgers.edu>
Subject: call for papers
>------- 5th ANNUAL COUNTER-DISCIPLINARY CONFERENCE-------
>
>SUNY Binghamton graduate students invite submissions for:
>
>CROSSING THE BOUNDARIES V
>A Counter-Disciplinary Graduate Student Conference
>April 4-5, 1997
>SUNY Binghamton
>Binghamton, New York
>
>This year's conference will focus on:
>
>"Translating/Transposing Cultures"
>
>The collective of the 5th annual Crossing the Boundaries Conference
>invites members from various cultural spaces and different academic
>disciplines to examine the issues of cultural translation and/or
>transposition. We invite paper and panel proposals, as well as
>encourage creative, non-formal, and interactive presentations (e.g.
>video, performance art, installations, interactive multimedia,
>etc...). Completed panel proposals are encouraged and
>enthusiastically received. This conference has been established and
>is run by graduate students as a site of resistance.
>
>Some possible themes:
>
>*issues of translation: being translated; representation outside of
>one's language and culture; what gets imposed?; how is one hailed?
>*pedagogy: teaching Postcolonial and Commonwealth literatures;
>teaching "other" cultures and classes
>*cyber-whatever: what gets "translated" through machine interface?
>*high culture/pop culture transpositions
>*multiculturalism and identity politics: unity, coalition forming,
>marginalization, and imposition of difference
>*queer work: what gets "translated" to/from feminist, gender, or
>postcolonial projects?
>*ideology and its pervasiveness
>*activism and academia: transposing community and academy
>*comparative histories (e.g. latin american, caribbean, asian, etc)
>*sex, disease, vilification, power
>*appropriation, imperialism, post-colonialisms
>*liminal frontiers: nomadism, hybridism and territorial mapping
>*the social constructions of pleasure, memory and the (un)conscious
>*working class identity, labour strikes and ritual protests
>*the built environment: urban planning translations/transpositions
>*the inter-merger of gender, science and technology
>*dressing for power, dressing for pleasure
>*"the new tribalism" and heroin chic
>*Website publishing: info technology, privatization and culture
>*morphing cultures
>
>
>Submit one-page abstracts or presentation proposals by January 31,
>1997 to:
>
>Crossing the Boundaries V
>c/o English Department
>SUNY Binghamton
>Box 6000, NY, 13902
>
>Or e-mail your proposal to: br00577@binghamton.edu
>
>Abstracts should be submitted, along with a separate listing of
>name, paper title, institutional and departmental affiliation,
>preferred mailing address, phone, and e-mail address.
>
>Please include your mailing address, e-mail address, and phone
>number. As well, include a self-addressed stamped envelope for any
>materials you would like returned to you (portfolios, discs,
>slides, video tapes, etc.).
>
>If you need more information, please feel free to contact:
>
>Michael Ma
>Department of Art History
>SUNY Binghamton
>Binghamton, NY, 13902
>email: br00577@binghamton.edu
>phone: 607-797-9567
>
>or
>
>Jennifer Lutzenberger
>Department of English
>SUNY Binghamton
>Binghamton, NY, 13902
>email: be82767@binghamton.edu
>phone: 607-722-9493
>
>
>
>
>
__________________________________
Pamela Cohen
Center for Electronic Texts in the Humanities
169 College Avenue, New Brunswick NJ 08903
phone: (908) 932-1384 / fax: (908) 932-1386
http://www.ceth.rutgers.edu
pac@rci.rutgers.edu
--[3]----------------------------------------------------------------
Date: Mon, 2 Dec 1996 12:57:54 -0500
From: Yorick Wilks <yorick@dcs.shef.ac.uk>
Subject: 1st International Workshop on Human-Computer Conversation
--2nd posting
CALL FOR PAPERS AND DEMONSTRATIONS
1st INTERNATIONAL WORKSHOP ON HUMAN-COMPUTER CONVERSATION
Bellagio, Italy, 14-16 July, 1997
http://www.dcs.shef.ac.uk/research/ilash/Meetings/Bellagio/
We have received many expressions of interest in this workshop, both
from the commercial sector and from academia. As a result we are now
pleased to announce that the workshop will definitely go ahead on the
above dates. Registration details soon via next mailing and on the WWW page.
For the benefit of those who may have missed the earlier
announcement, this workshop will survey and demonstrate techniques
for practical, plausible, human-computer conversation. The workshop
will be in the spirit of the Loebner Competition meetings, but will not
constitute any kind of "Turing" competition under controlled deception
conditions. It will, however, provide an opportunity for extensive
demonstrations of working conversational systems, preferably those
without domain restrictions.
The meeting is not intended to be yet another get together on linguistic
methods for dialogue modelling or human-computer interaction, but
rather based on the assumption that, in many places, great strides are
being made in real conversation simulations from a range of practical
techniques and points of view, and that everyone working in this field
would benefit from face-to-face interaction, as well as exploring the
industrial/commercial applications of these technologies in HCI/WWW
environments.
In addition to the formal papers and the demonstrations of working
systems there will also be panel discussions on the state of the art.
CONFERENCE VENUE:
The conference venue is the Grand Hotel Villa Serbelloni, in Bellagio,
Italy, on Lake Como, the legendary site of Pliny's villa where the two
arms of the lake meet. Bellagio is one of the most beautiful spots in the
world and is easily reached from Milan. The date, 14-16 July 1997,
immediately follows the EACL/ACL in Madrid.
WORKSHOP PAPERS:
This announcement is the first call for papers. We are also inviting
applications from those who wish to demonstrate working systems.
Papers may be submitted on any aspect of human-computer
conversation, ranging from "How-to-do-it" to something far more
abstract. The emphasis should be on the software techniques for
communication in natural language and NOT on speech recognition or
speech synthesis as such, although descriptions of systems capable
of intelligent speech communication would be welcomed.
SUBMISSIONS OF PAPERS:
Contributions are invited from authors who have new ideas, results or
ongoing work to report on any aspect of human-computer conversation.
Papers should ideally be 3,000 to 4,000 words in length and will be
refereed within 8 weeks. The accepted papers will be published in the
conference proceedings.
Submissions (3 hard copies or one e-mail copy) should be sent to
Yorick Wilks at the address below, to arrive no later than
March 29th 1997. Authors will be notified of acceptance or rejection
by May 27th 1997. Authors of accepted papers will be requested to
make their contribution available in machine-readable form (Word
Perfect, MS Word or ASCII formats are acceptable), to be received by
June 17th 1997.
DEMONSTRATIONS OF WORKING SYSTEMS
Demonstrations of, and discussions about, working systems will form the
mail emphasis of the workshop.
Statements of intent are solicited to demonstrate working systems which
permit a user to converse with a program, either in a single subject domain
or on a less restricted basis. Such statements should consist of a system
description in 1,000 words or less, together with a specification of what
hardware will be required to demonstrate the system. (The hardware
spec is not necessary for those who plan to bring their own computer.)
A sample of a conversation actually conducted by the system would be
helpful but is not essential.
WORKSHOP ORGANIZERS:
The workshop is being organized by Intelligent Research Ltd of
London, who will assist participants with room reservations at hotels
in all price categories, as well as with transportation (if required) from
the nearest airports.
WORKSHOP COMMITTEE:
Yorick Wilks, Sheffield University, UK
Bruno Alabiso, Microsoft, US
Ken Colby, UCLA, US
Louise Guthrie, Lockheed Martin, US
Koiti Hasida, ETL, Japan
David Levy, Intelligent Research, UK
Livia Polanyi CSLI, Stanford University, US
Oliviero Stock, IRST, Trento, Italy
Marilyn Walker, AT&T Bell Labs/Lucent Technologies, US
*********************************
Professor Yorick Wilks
AI and NN Research Group,
Department of Computer Science
University of Sheffield
Regent Court
211 Portobello St.,
Sheffield S1 4DP
UK
phone: (44) 114 282 5561
fax: (44) 114 278 0972
email: yorick@dcs.shef.ac.uk
www: http://www.dcs.shef.ac.uk/People/Y.Wilks
*********************************