I W F M S
2 0 0 4


Chinese version

Home
 
Call for papers
 
Registration
 
Program
 
Accepted papers
 
Invited speakers
 
Organization
 
Practical information
 
Scenery of Nanjing
 
Photos
 


 
International Workshop on FORMAL METHODS and SECURITY

Nanjing, P. R. China
May 17 - 20, 2004

Registration instructions

The participants and attendees must email following information to the workshop secretariat:

Title Gender
Name (Last name, First name) Affiliation
Travel schedule (Flight number, arrival time) Email address
Room reservation (Single / Double room) Other request

Registration fee is 100 euros (400 CN Yuans for students and 100 euros for spouse), covering all meals (from the dinner of May 16 to the breakfast of May 21) and a tour arranged by the organizers.

The only payment way is by cash.

All the workshop activities will be located in the Meng Min Wei Building of Nanjing University. Participants will be lodged at the New Era Hotel.

The deadline of registration is April 20, 2004. This date is not strict, but after that, we cannot assure you the room reservation at the conference hotel.

A registration desk will be available on May 16 (9:30--21:30), at the lobby of New Era hotel, as well on May 17 (8:00--9:00), at the lobby of Meng Min Wei Building.

 
 
[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 April 15, 2004.