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

Last Call for Papers: NWPT'97




------------------------------------------------------------------

                            Last Call for Papers

		 9TH NORDIC WORKSHOP ON PROGRAMMING THEORY
                   Tallinn, Estonia, 15-17 October 1997
		       http://jus.ioc.ee/jus/nwpt97/


The objective of the workshop is to bring together researchers from the
Nordic and Baltic countries interested in programming theory, in order to
improve mutual contacts and cooperation.  Typical topics of the workshop
include (but are not limited to):

  -  Semantics of programs
  -  Programming logics
  -  Program verification
  -  Formal specification of programs
  -  Program synthesis
  -  Program transformation and program refinement
  -  Real-time and hybrid systems
  -  Modeling of concurrency
  -  Programming methods
  -  Tools for program construction and verification


INVITED SPEAKERS:
Martin Wirsing		
  http://www.pst.informatic.uni-muenchen.de/personen/wirsing/wirsin-e.html
Jozef Hooman
  http://www.win.tue.nl/win/cs/tt/hooman/JH.html
Reinhard Wilhelm
  http://www.cs.uni-sb.de/RW/users/wilhelm/wilhelm.html
Enn Tyugu
  http://www.it.kth.se/~tyugu

WORKSHOP PLACE: The workshop is organized by the Institute of
Cybernetics and will be starting Wednesday morning, 15 October 1997,
and ending mid-afternoon, Friday, 17 October 1997. The meetings will
be at the Institute of Cybernetics, Akadeemia tee 21, Tallinn.

Tallinn is the capital of Estonia and it is famous for its beautiful
Old City.

PARTICIPATION: More information and registration form is available on
the Web, under http://jus.ioc.ee/jus/nwpt97/ N.B. Attendance at the
workshop is limited to 70 participants: register early to ensure a
place!  Registrations will be accepted on a first-come-first-served
basis.

SUBMISSION: If you wish to give a presentation, please enclose a
one-page abstract of the talk (LaTeX or PostScript). In the event that
the number of proposed talks exceeds the number of slots available,
the Programme Committee will make a selection, based on the submitted
abstracts.  The programme for the workshop will be available by 1
October.  (Those who submit abstracts that are not selected for
presentation will be able to cancel their registration and obtain a
refund of the fees.)

IMPORTANT DATES:
September 10th - submission of abstracts
September 20th - notification of acceptance
October 15th -17th - WORKSHOP

MORE INFORMATION:  
WWW:	http://jus.ioc.ee/jus/nwpt97/
  This includes accommodation, local travel, and tourist information.
E-mail:	nwpt97@jus.ioc.ee
Fax:	+372 6 397 042
Mail:	NWPT'97
	Institute of Cybernetics
	Akadeemia tee 21
	EE0026 Tallinn 
	ESTONIA