FOM: workshop in Spain

[Stephen G Simpson]

 From: ILCLI <sfrilcli at scsx03.sc.ehu.es>
 Subject: HPLMC-00 Second Announcement
 Date: Fri, 15 Sep 2000 11:09:06 +0200 (MET DST)
 
 
 FIRST INTERNATIONAL WORKSHOP ON THE HISTORY AND PHILOSOPHY OF LOGIC,
 MATHEMATICS, AND COMPUTATION. HPLMC-00.
 
 ILCLI. Villa Asuncion. Apdo. 220. 20080 Donostia - San Sebastian. Spain.
 E-mail: ilcli at sf.ehu.es
 http://www.sc.ehu.es/ilwlaanj/hplmc-00.html
 
 SECOND ANNOUNCEMENT
 
 HPLMC-00 is organized by the Institute for Logic, Cognition, Language and
 Information (ILCLI) of the University of the Basque Country (UPV-EHU) at
 Don ostia - San Sebastian, sponsored by Kutxa Fundazioa, Eusko Jaurlaritza
 and Ministerio de Ciencia yTecnologia. The workshop will take place in the
 ILCLI Workshop Room, Villa Asuncion.
 
 TOPICS:
 (1) History and Philosophy of Modal Logic
 (2) The Origins of Computability Theory
 (3) Logics for Natural Language: History and Philosophy
 (4) Topology and Measure
 
 CONTRIBUTED PAPERS:
 Contributed papers (20 minutes) connected to the topics are invited from
 all areas of Logic, Mathematics, Linguistics, and Computation Theory.
 Authors wishing to submit a paper should send four (4) hardcopies of an
 extended abstract of 5-6 pages written in English to Dr. J. M. LARRAZABAL
 (address above) by October 4, 2000. A cover page should be added to the
 abstract including title, all authors names and affiliations, corresponding
 author's address, Fax number and e-mail address. To facilitate blind review
 by two or more referees all indications of authorship should appear on this
 detachable cover page only. Submissions by e-mail must be sent by October
 2, 2000 to ilcli at sf.ehu.es. Papers will be evaluated by the Program
 Committee on the basis of originality, clarity, correctness and
 significance of results. Authors of accepted papers are expected to present
 them at the Workshop. Notification of acceptance/rejection: October 14,
 2000.
 
 REGISTRATION:
 The registration fee is 12,000 ptas. (8,000 ptas. for students and
 accompanying persons) before October 18, 2000. After October 18: 16,000
 ptas. (12,000 ptas. for students and accompanying persons). This fee may be
 paid from abroad by a bank transfer to HPLMC-00 (ILCLI) and sent to Dr.
 XABIER ARRAZOLA (address below), account n. 21010381030010121481, CAJA
 GIPUZKOA-DONOSTIA KUTXA, Garibay 13, 20004 SAN SEBASTIAN (Spain) (please
 send a copy of your transfer to Dr. ARRAZOLA); or by VISA, EUROCARD or
 MASTERCARD filling in the authorization form.
 
 PROGRAM COMMITTEE:
 R. Beneyto (Valencia), M. Colombetti (Milano), M.A. de Prada (Bilbao), L.
 Farinas del Cerro (Toulouse), D. Israel (Stanford), J.M. Larrazabal
 (Secretary), F. Lowenthal (Mons), J.C. Martinez (Barcelona), J. Fdz. Prida
 (Madrid).
 
 ORGANIZING COMMITTEE:
 E. Alonso (York), X. Arrazola (Secretary), A. Arrieta (Donostia), M.
 Aurnague (Toulouse), B. Carrascal (Donostia), A. Marin (Pamplona), F.
 Migura (Donostia), L.A. Perez Miranda (Vitoria).
 
 Further information: Dr. X. Arrazola or Dr. J. M. Larrazabal. HPLMC-00
 (address above).
 
 The Proceedings of the Workshop will be published by CSLI (Stanford
 University).
 
 For travel and accomodation, please contact:
 Viajes MARSANS (Campus office), San Sebastian.
 Tf.: +34-943217549 / +34-943217724 / Fax: +34-943217733
 
 PROGRAM AND TIMETABLE
 
 THURSDAY 9
 
 9:15-9:30 Opening Session
 9:30-11:00  N. Asher (Austin), Logic in Semantics and Discourse
 Representation. Comments
 11:00-11:30 Break
 11:30-13:00 I. Juhasz (Budapest), Cardinal Functions and Reflection. Comments
 13:00 Lunch
 14:30-15:30 Tutorial 1: Elements of a Formal Theory of Discourse by I.
 Gomez Txurruka (Donostia)
 Tutorial 2: Historical Landmarks in Topology by A.F. Costa (Madrid).
 15:30-16:00 Break
 16:00-17:30 Contributed Papers
 17:30-19:00 L. Maksimova (Novosibirsk), On Explicit Definability in Modal
 Logics. Comments
 20:30 Official Dinner
 
 FRIDAY 10
 
 9:00-10:30 J.F. Pelletier (Alberta), The Representation of Generic
 Statements. Comments
 10:30-11:30 Tutorial 1: Elements of a Formal Theory of Discourse by I.
 Gomez Txurruka (Donostia).
 Tutorial 2: Historic Landmarks in Topology by A.F. Costa. (Madrid)
 11:30-11:45 Break
 11:45-13:15 Contributed Papers.
 13:15 Lunch
 14:30-15:30 Tutorial 3: Some Aspects of The History of Modal Logic by L.
 Maksimova (Novosibirsk)
 Tutorial 4: The Recent History of Model Theory by E. Casanovas (Barcelona).
 15:30-16:00 Break
 16:00-17:30 C. Curras (Barcelona), Topological classification of surfaces
 and two-dimensional geometries. Comments
 17:30-18:30 Contributed Papers.
 18:30-19:30Tutorial 5: The Evolution of Natural Deduction Systems by J.F.
 Pelletier (Alberta).
 
 SATURDAY 11
 
 9:00-10:30 S. Lindstrm (Umea), Quine's Interpretation Problem and the
 Early Development of Possible Worlds Semantics. Comments
 10:30-11:30 Tutorial 3: Some Aspects of The History of Modal Logic by L.
 Maksimova (Novosibirsk).
 Tutorial 4: The Recent History of Model Theory by E. Casanovas (Barcelona).
 11:30-11:45 Break
 11:45-13:15 Tutorial 5: The Evolution of Natural Deduction Systems by J.F.
 Pelletier (Alberta).
 13:15-14:15 P. Odifreddi (Torino), Recursion: Distant and Recent Past. Comments
 
 HPLMC-00
 REGISTRATION FORM
 
 NAME:
 FIRST NAME:
 
 DEPARTMENT:
 UNIVERSITY:
 
 ADDRESS:
 
 CITY:
 COUNTRY:
 
 Tel. No.:
 Fax:
 E-mail:
 
 
 Registration fees:
 Normal rate
 Before October 18: 12,000 ptas.
 After October 18: 16,000 ptas.
 
 Students (Please, verify.) and Accompanying Persons
 Before October 18: 8,000 ptas.
 After October 18: 10,000 ptas.
 
 PAYMENT (which should be enclosed) can be made by:
 
 (1)
 Bank transfer* to HPLMC-00 (ILCLI), account n. 21010381030010121481
 CAJA GIPUZKOA-DONOSTIA KUTXA, Garibai 13, 20004 SAN SEBASTIAN (Spain).
 *Please, enclose a copy of your transfer.
 
 (2)
 I authorize you to debit my VISA International-MASTERCARD-EUROCARD
 
 Amount
 
 Card Number:
 Expiration date:
 Date:
 Signature:
 
 
 
 Please, send this form to:
 Dr. X. ARRAZOLA. HPLMC-00 Organizing Committee.
 ILCLI. Villa Asuncion. Apdo. 220. 20080 San Sebastian. Spain.
 
 For travel and accomodation, please contact:
 Viajes MARSANS (Campus office), San Sebastian.
 Tf.: +34-943217549 / +34-943217724 / Fax: +34-943217733