[Prev][Next][Index][Thread]

Workshop on Theories of Types and Proofs





	    Preliminary Program and Second Call for Contributed Papers 

         (The deadline for Contributed Papers: July 7th)  

 		Workshop on Theories of Types and Proofs

			Satellite Workshop of TACS'97

				  September 8 - 19, 1997
			 Tokyo Institute of Technology
					Tokyo, Japan
				<ttp@is.titech.ac.jp> 
			http://www.is.titech.ac.jp/ttp/



The aim of this two-week workshop is to exchange ideas and research results
in the area of Theories of Types and Proofs. Researchers interested in this 
area are welcome to participate and make contributions to the workshop. The 
workshop will consist of a series of lectures, contributed talks, and 
discussion hours.

The workshop solicits for contributed papers in the field of theories of
types and proofs and related topics. On-going research works and
already published contributions are also 
welcome. If you want to give a talk, please fill in the form below and 
send us with an extended abstract (2 - 10 pages, in ps file) by e-mail 
to <ttp@is.titech.ac.jp> by July 7. The authors who submit a paper will 
be notified of the acceptance/rejection by July 25. If you want just 
participate the workshop, please fill the first three lines of the form 
below and send it by August 15, 1997. For more information, please send 
an e-mail to <ttp@is.titech.ac.jp>. 

The workshop period is just before the TACS'97 conference at Sendai, Japan
(September 23 - 27). See the Web at http://tacs97.ito.ecei.tohoku.ac.jp
/tacs97.html for the information on TACS'97. Our Web page is at
http://www.is.titech.ac.jp/ttp.

The following lectures will be given (the scheduling will be announced
later);

Henk Barendregt (Catholic University Nijmegen): 
1. The methodology of proof-checking.
2. Systems for formmalizing proofs.
3. The technology of proof-checking.

Stefano Berardi (University of Torino):
1. Yet Another Constructivization of Classical Logic (part I)
2. Yet Another Constructivization of Classical Logic (part II)

Mariangiola Dezani (University of Torino, Tokyo Inst. of Technology) 
Trees and Types

Ryu Hasegawa (University of Tokyo) 
1. Applications of analytic functors to theoretical computer science (part I)
2. Applications of analytic functors to theoretical computer science (part II)
3. Applications of analytic functors to theoretical computer science (part III)

Susumu Hayashi (Kobe University) 
1. Comparing constructive programming with practical formal methods
   - Constructive programming is possible but not indispensable -
2. Towards Proof Animation from Constructive Programming
 
Sachio Hirokawa (Kyushu University) 
1. Principal types of lambda-terms and their application to the 
   analysis of proofs
2. What is a lambda-caluclus for classical logic?

Mitsu Okada (Keio University)
1. A semantic framework for computation models based on classical 
   linear logic and classical linear type theory.
2. Inductive type theory + algebraic rewriting

Luke Ong (Oxford University)
Continuation semantics for call-by-value lambda mu

Masahiko Sato (Kyoto University) 
Classical Brouwer-Heyting-Kolmogorov interpretation

Masako Takahashi (Tokyo Institute of Technology) 
Lambda-representable functions over free structures revisited

Hirofumi Yokouchi (Gunma University) 
Syntax and semantics of type assignment systems

The workshop is expecting to be sponsored by the Mathematical Society of 
Japan as a part of the regional workshop program of the society. Upon the 
formal approval, a lecture note (including lectures and original
papers selected from contributed talks) will be published as a 
volume in a new lecture note series of the Mathematical Society of Japan. 
  
Workshop Organizers:
	Mariangiola Dezani (University of Torino, Tokyo Inst. of Technology) 
	Mitsu Okada (Keio University)
	Masako Takahashi (Tokyo Institute of Technology, chair) 

Program committee:
	Henk Barendregt (Catholic University Nijmegen) 
	Mariangiola Dezani (University of Torino, Tokyo Inst. of Technology) 
	Ryu Hasegawa (University of Tokyo) 
	Mitsu Okada (Keio University)
	Masako Takahashi (Tokyo Institute of Technology, chair) 
	Hirofumi Yokouchi (Gunma University) 

Local Arrangement:
	Yohji Akama (University of Tokyo) 
	Toshihiko Kurata (Tokyo Institute of Technology) 


Important dates:
	Submission of extended abstract		Monday July 7, 1997
	Notification of acceptance		Friday July 25, 1997
	registration for participants		August 15, 1997
	workshop				September 8 - 19, 1997

.........................................................................

Name:
	
Affiliation:

Do you participate the whole period? 
If not, specify the dates of your stay.

Title of Your Talk: 

.........................................................................