stevens@ANL-MCS.ARPA (Rick L. Stevens) (04/22/87)
UNIVERSITA' DI CATANIA
Dipartimento di Matematica
Viale A. Doria, 6
95125 CATANIA - ITALY
First Announcement CATANIA SICILY, ITALY
JUNE 8-12, 1987
INTERNATIONAL COURSE ON
NEW TRENDS IN AUTOMATED
MATHEMATICAL REASONING
The meeting will consists of 3 six hours courses form Monday through Friday
given by the following lecturers
- Prof. WU WEN-TSUN - Institute of Systems Science, Academia Sinica, University
of Beijng - CHINA
"Automated Theorem Proving in Geometry and Differential Geometry".
- Prof. JACOB T. SCHWARTZ - Department of Computer Science, Courant Institute
of Mathematical Sciences - New York University - USA.
"Pragmatic Issues in Verification of Programs and Mathematical Theorems".
- Prof. JIAWEI HONG - Beijng Computer Institute and University of Chicago - USA.
"Proving by Example in Geometry".
Director of the course
- Prof. Alfredo Ferro - Department of Mathematics, University of Catania - ITALY
Admission and General Information
---------------------------------
A $ 50 (80,000 Italian lire) registration fee which includes social dinner on
Thursday evening is required.
An excursion to Taormina will be organized on Friday afternoon.
Participants will be accommodated at the beautiful residence "La Perla Ionica".
Full board for each day:
double room L. 57,500 per person
single room L. 72,500 per person.
Half board for each day:
double room L. 48,300 per person
single room L. 63,300 per person.
For any information, hotel reservations, buses from the airport, etc., please
contact TRINACRIA VIAGGI via L. Rizzo 19/A - Catania - Italy - tel. 095/325155 -
Telex 970134.
Several daily flights connect Catania to Rome and Milan. Also, Catania is
connected to Paris, Frankfurt, and London by weekly flights.
Deadline for hotel reservations: May 22, 1987.
Please send applications to dott. G. Gallo, Dipartimento di Matematica -
Viale A. Doria 6, 95125 Catania - Italy.