[Prev][Next][Index][Thread]
Advanced School on LOGIC and ARTIFICIAL INTELLIGENCE
Date: Thu, 11 Jun 92 17:20:09 +0200
Advanced School on LOGIC and ARTIFICIAL INTELLIGENCE
Udine (Italy), September 28 - October 9, 1992
Organized by:
AI*IA - Associazione Italiana per l 'Intelligenza Artificiale
AILA - Associazione Italiana di Logica e sue Applicazioni
GULP - Gruppo ricercatori e Utenti di Logic Programming
Hosted by CISM - International Center for Mechanical Sciences
School coordinators:
G. Amati - Fondazione Ugo Bordoni, Roma
D. Pedreschi - University of Pisa
C. Sossai - LADSEB-CNR, Padova
PRELIMINARY PROGRAM
F. PARLAMENTO - University of Udine (Italy)
Proof theory and sequent calculi
M. ABRUSCI - University of Rome (Italy)
Linear Logic
S. VALENTINI - University of Padova (Italy)
Sub-structural logics and many-valued semantics
J. van BENTHEM - University of Amsterdam (The Netherlands)
Logic and flow of information
D. GABBAY - Imperial College, London (UK)
Fibred semantics and combinations of logics
P. GARDENFORS - University of Lund (Sweden)
The dynamics of beliefs
M. LENZERINI - University of Rome (Italy)
Structured languages for knowledge representation
D. PEDRESCHI - University of Pisa (Italy)
Logic Programming: a language for computational logic
K. R. APT - CWI, Amsterdam, (The Netherlands)
Logic programming and non-monotonic reasoning
G. GERLA - University of Camerino (Italy)
Many-valued semantics and uncertainty
SCHOOL SECRETARIAT
AI*IA, c/o Fondazione Ugo Bordoni
Via B. Castiglione 59
00142 Rome (Italy)
Phone: +39 - 6 - 54803428
Fax: +39 - 6 - 54804405
SCHOOL ADDRESS
CISM
School on Logic and Artificial Intelligence
Palazzo del Torso
Piazza Garibaldi 18
33100 Udine (Italy)
Phone: +39 - 432 - 294989 or 508251
Fax: +39 - 432 - 501523
ADMISSION
Participants are kindly asked to fill the Registration Form and to pay the
registration fee of 800.000 Italian Lire. Scholarships are available
offered by
AI*IA, AILA and GULP (please contact the School Secretariat for
information). The registration fee does not include accommodation. The
hosting organization, CISM, provides upon request a list of hotels in Udine
with special prices for CISM participants. Participants are kindly
requested to make their hotel reservations directly.
Advanced School on LOGIC AND ARTIFICIAL INTELLIGENCE
Udine, September 28 - October 9, 1992
Registration Form
(Please send to: AI*IA, c/o Fondazione Ugo Bordoni, v. B. Castiglione 59,
00142 Rome, Italy)
Name_______________________________________________________________
Affiliation________________________________________________________
Address____________________________________________________________
___________________________________________________________________
___________________________________________________________________
City____________________Country____________________________________
Phone_______________________ Fax________________________________
Member (AI*IA, AILA , GULP) ___________
Those who are interested in participation but are not members of AI*IA,
AILA and GULP are kindly requested to contact one of the three secretariats
listed below. Partecipants are requested to register not later than
September
15. We recommend to register as soon as possible as the number of
participants is limited.
Registration Fee Italian Lire 800.000.
(including lecture notes, coffee-breaks)
Payment
Payment must be made in advance to the "Associazione Italiana per
l'Intelligenza Artificiale" c/o Fondazione Ugo Bordoni, v. B. Castiglione
59,
00142 Roma, Italy for the amount of Lit. 800.000 , free of charges for
beneficiary.
[ ] Payment has been made to AI*IA on Postal Cheque Account N .
78668001. Photocopy of receipt is enclosed herewith.
[ ] Payment has been made to AI*IA on Bank Account N 1340, Banca
Popolare di Bergamo, Largo C. Salinari 25, 00142, Roma (bank code
5480-03201). Photocopy of order is enclosed herewith.
[ ] Payment has been made by the enclosed cheque
n._______________________
Bank __________________________________________________________
Date ________________________
Date ____________________ Signature_________________________________
Secretariats of the Associations:
AI*IA, c/o Fondazione Ugo Bordoni, v. B. Castiglione 59,
00142 Roma, Italy
Phone: +39 6 54803428. Fax: +39 6 54804405.
AILA, c/o Dip. di Matematica Pura e Applicata, Univ. Padova, v. Belzoni 7,
35131 Padova, Italy
Phone:+39 49 831987 Fax: +39 49 36351.
GULP, c/o Dip. di Informatica , Univ. Pisa, Corso Italia 40,
56100 Pisa, Italy
Phone: +39 50 510246 Fax: +39 50 510226.
-----------------------------
Dino Pedreschi
Dipartimento di Informatica
Universita' di Pisa
Corso Italia 40
56125 Pisa, Italy
ph.:+39-(0)50-510252
fax:+39-(0)50-510226
e_mail: pedre@di.unipi.it