Atlas home || Conferences | Abstracts | about Atlas
Host: Institute of Cybernetics (IoC)
Homepage: http://www.cc.ioc.ee/nwpt02/
Email: nwpt02@cc.ioc.ee
Organizers: Juhan Ernits (IoC, EE) Marko Kääramees (IoC, EE) Tarmo Uustalu (IoC, EE) Jüri Vain (IoC, EE)
Deadline for abstracts: September 30, 2002
Description:
Topics of interest include, but are not limited to,
- semantics of programming languages,
- programming language design and programming methodology,
- programming logics,
- formal specification of programs,
- program verification,
- program construction,
- program transformation and refinement,
- real-time and hybrid systems,
- models of concurrency and distributed computing,
- tools for program verification and construction.
Speakers: Roland Backhouse (U. of Nottingham, UK) Yuri Gurevich (Microsoft Research, Redmond, WA, USA) Bengt Jonsson (Uppsala U., SE)
Mail Address:
Inst. of Cybernetics Akadeemia tee 21 EE-12618 Tallinn Estonia phone +372 620 4150 fax +372 620 4151
Submitted by: Tarmo Uustalu
Date received: April 20, 2002
© 2008 Atlas Conferences Inc.