The Sixth Fenno-Ugric Symposium on Software Technology     August, 19 - 21, 1999, Sagadi, Estonia

FUSST'99

SYMPOSIUM PROGRAM (hopefully final)

Fusst'99 Home
Aims & Scope
Program
Venue
Committee
Sponsors
Contact Us

August 19, 1999

9:30 - 10:00Registration
10:00 - 11:30Session: Application Experiences and Simulation Techniques
A Program Packet for Studying the Behaviour of the Clients of Phone-Networks, Maria Jürimaa (pp 1-6)
Modelling Radar Coverage in an AI Programming Environment, Vahur Kotkas, Mait Harf (pp 7-16)
The Use of Aspect-Oriented Programming in Scientific Simulations, László Gulyás, Tamás Kozsik (pp 17-28)
11:30 - 12:00Coffee break
12:00 - 13:00Session: Software Development Tools and Techniques
A Declarative Programming System for Manipulating Strings, Raul Hakli, Matti Nykänen, Hellis Tamm (pp 29-40)
A Compiler Generator Based on the Pred-LL(k) Parsing Method, Tibor Lakner, László Kozma, Tibor Gyimóthy (pp 41-49)
13:00 - 14:00Lunch
14:00 - 15:00Invited talk: Mobile Expressions is the Functional Language Clean, Rinus Plasmeijer (pp 51)
15:00 - 15:30Session: Software Development Tools and Techniques
Evaluation of Component Based Software Development Methodologies, Marko Forsell, Veikko Halttunen, Jarmo Ahonen (pp 53-63)
Task-Driven Framework Specialization, Markku Hakala, Juha Hautamäki, Jyrki Tuomi, Antti Viljamaa, Jukka Viljamaa, Kai Koskimies, Jukka Paakki (pp 65-74) - cancelled
15:30 - 16:00Session: Formal Methods
Composing DisCo Specifications Using Generic Real-Time Events - A Mobile Robot Case Study, Mika Katara (pp 75-86)
16:00 - 16:30Coffee break
16:30 - 17:30Session: Natural Language Technologies
A Segment-Based Statistical Speech Recognition System for Isolated/Continuous Number Recognition, A. Kocsor, A. Kuba Jr, L. Tóth, M. Jelasity, L. Felföldi, T. Gyimóthy, J. Csirik (pp 200-211)
Developing a Syntactic Analyser for Estonian, Kaili Müürisep (pp 213-220)
19:00Evening meal at hotel "Võsu Viiking"

August 20, 1999

9:00 - 10:00Invited talk: Quantum Computation and Quantum Automata, Rusins Freivalds (pp 87-99)
10:00 - 10:30Session: Program Analysis and Verification
Dynamic Slicing of Logic Programs, Laszló Harmath, Gyöngyi Szilágyi, Tibor Gyimóthy, János Csirik (pp 101-112) - cancelled
Proving the Temporal Properties of the Unique World, Zoltán Horváth, Peter Achten, Tamás Kozsik, Rinus Plasmeijer (pp 113-125)
10:30 - 11:00Session: Complexity
On the Complexity of Class, Ákos Fóthi, Judit Nyéky-Gaizler, Zoltán Porkoláb (pp 221-231)
11:00 - 11:30Coffee break
11:30 - 13:00Session: Programming Languages and Environments
VILPERT - Visual Language Expert, Antti-Pekka Tuovinen (pp 127-138)
Improving Object Integrity and Preventing Side Effects via Deeply Immutable References, Harri Hakonen, Ville Leppänen, Timo Raita, Tapio Salakoski, Jukka Teuhola (pp 139-150)
Designing Computer Texts with AMADEUS, Jüri Kiho, Roman Ustitch, Mart Tudre (pp 151-162)
13:00 - 14:00Lunch
14:00 - 18:00FREE AFTERNOON: open-air excursion in Lahemaa - starts from Sagadi - ends in Palmse mansion
18:00 - 20:00CONFERENCE DINNER at Park Hotel Palmse beer cellar

August 21, 1999

9:00 - 10:00Invited talk: Agent Architectures for Electronic Assistance and Commerce, Mihhail Matskin, Enn Tyugu (pp 163-177)
10:00 - 11:00Session: Document Processing
Document Warehouse - The Concept of Corporate Document Architecture, Tamás Nagy, László Csink (pp 179-188) cancel??? - no reply yet
Effects of Document Versioning on References: A Model for Degradation Estimation, Matti Kurki (pp 189-199)
11:00 - 11:30Coffee break
11:30 - 13:00 Discussion Session: Universities and Innovation ???
???
The Third Period of Informationtechnology, Antal Buza, Piroska Kis (pp 269-275) - cancelled
13:00 - 14:00Lunch
14:00 - 15:00Invited talk: The Integrated System of Information Resources of the Russian Academy of Sciences - An Approach to Digital Library Design, Vladimir Serebrjakov (pp 277-279)
15:00 - 15:30Coffee break
15:30 - 16:30Session: Algebraic Specifications
The Splicing Languages of MH Systems, Tiina Nirk (pp 233-236) - cancelled
Constitution of Richer Logical System for Correctness Proof, Valéria Novitzká (pp 237-245) - cancelled
Rough Sets Defined by Tolerances, Jouni Järvinen (pp 247-257)
Multi-(Co)Iteration, Categorically, Tarmo Uustalu (pp 259-267)
19:00Evening meal at hotel "Võsu Viiking"
* Authors marked bold will be attending the symposium

August 17, 1999


URL for this page: http://www.cs.ioc.ee/fusst/program.html