[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