International Workshop on FORMAL METHODS and SECURITY

	International Workshop on FORMAL METHODS and SECURITY Nanjing, P. R. China May 17 - 20, 2004 NEW: Contact list of participants. NEW: Workshop photos are on-line. This workshop aims at highlighting the importance of formal tools for the design and implementation of programming languages and systems, both conventionally sequential and concurrent. It arises as the joint initiative of the Department of Computer Science in Nanjing University and of the laboratory Preuves, Programmes et Systèmes (CNRS and Université Paris 7). Local organization by the Department of Computer Science in Nanjing University and the State Key Laboratory of Novel Software Technology (Nanjing).

	*This workshop is sponsored by* French-Chinese Foundation of the French Academy of Sciences French General Consulate in Shanghai Joint Sino-French Laboratory in Informatics, Automation and Applied Mathematics France Télécom French National Institute For Research In Computer Science And Control
	[Home \| Call for papers \| Registration \| Program \| Accepted papers \| Invited speakers \| Organization \| Practical information \| Scenery of Nanjing] This page is maintained by ZHANG Yu, last modified on June 9, 2004.