EXTENDED DEADLINE of Special Issue on Mechanising and Automating Mathematics

To: types@cis.upenn.edu
Subject: EXTENDED DEADLINE of Special Issue on Mechanising and Automating Mathematics
From: Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
Date: Fri, 10 May 2002 18:48:55 +0100
Cc: fairouz@cee.hw.ac.uk



			
			JOURNAL OF AUTOMATED REASONING
		Special Issue on Mechanising and Automating Mathematics
			EXTENDED DEADLINE

		http://www.cee.hw.ac.uk/~fairouz/automath2002/AR.html



Due to many demands, the deadline of submission of papers for the
above issue has been extended to 25 May 2002.

Details of the call for paper can be found on 
http://www.cee.hw.ac.uk/~fairouz/automath2002/AR.html

Fairouz Kamareddine.
---------------------------------------------------------------------------

Prev: Second Call for Papers: RULE'02 - Workshop on Rule-Based Programming
Next: Ph.D. scholarships at the IT University of Copenhagen
Index(es):
- Main
- Thread