CSR2006 ABP WORKSHOP

From UniMod Wiki

First Call for Participation

1 Tutorial on Automata Based Programming (ABP)

Tutorial on Automata Based Programming (ABP)

is planned to be held at The International Computer Science Symposium in Russia, CSR-2006 (http://logic.pdmi.ras.ru/~csr2006/) Saint-Petersburg, Russia, 8th - 12th June 2006

During tutorial theoretical basis of ABP will be introduced. Tools for ABP will be shown. Real-world use cases of application of ABP will be demonstrated.

ABP is based on SWITCH-technology, which suggests to build programs just like automatisation systems. Such systems consist of controlled objects, control system (system of cooperating automata) and feedback loops between objects and system.

Implementation of Executable UML in terms of ABP will be shown also.

We invite to take part in the event and to give feedback on this newly proposed programming technology people from both academy and industry.

[edit]

Program

Gurov V.S. (eVelopers) Automata Based Programming Workshop organization (5 min)
Shalyto A.A. (SPbSU ITMO) Automata Based Programming (10 min)
Berry G. (Esterel Tchnologies, http://www.esterel-technologies.com) Synchronous Programming Techniques for Embedded Systems. (15 min)
Nepeyvoda N.N. (Udmurtia State University) Automata Based Programming and its Role in Common Informatics Structure (20 min)
Gurov V.S., Mazin M.A., Narvskiy A.S. (eVelopers), Shalyto A.A. UniMod – a CASE tool for Automata Based Programming. (15 min)
Gurov V.S., Mazine M.A.(eVelopers) Automata-based desing of applications for mobile devices (10 min)
Kuzmin E.V., Sokolov V.A. (State University of Yaroslavl) Modeling, Specification and Verification of «Automata» Programs(30 min).
Vasiljeva K.A., Kouzmin E.V., Sokolov V.A. (State University of Yaroslavl) LTL-based Verification of «Automata» Programs (20 min)
Lubchenko V.S. On physics of automata-based concurrent programming (20 min)
Shopyrin D.G. (ZAO Tranzas Technologies) Graphical notation for automata objects inheritance.(10 min)
Shamgunov N.N. (Microsoft), Korneev G.A. (SPbSU ITMO) State Machine design pattern (10 min)
Vavilov K.V. Programmable logic controller and automata-based programming (10 min)
Kazakov M.A. (Flextronics) Discrete mathematics algorithms visualizers design with automata-based programming (10 min)
Korneev G.A. (SPbSU ITMO) Automatized approach to visualizers design with finite state machines (10 min)
Babaev А. Automata-based UI (10 min)
Korotkov M.A., Loukianova A.P. (eVelopers) Automata-based design of WEB-applications (15 min)
Polikarpova N.I (SPbSU ITMO) A Notion of Subtyping for Types with State Dependent Behavior (10 min)
Stepanov O.G. (JetBrains) Automata Based Programming Using Dynamic Programming Languages (10 min)
Astafurov A.A. (DataArt) Automata Objects Nesting and Inheritance Using Meta Information in Object Oriented Languages (10 min)
Yartsev B.M. (SPbSU ITMO) Automata-based desing of the real-time systems (10 min)
Tsarev F.N., Paraschenko D.A. (SPbSU ITMO) Modeling Technology of One Class of Multi-Agent Systems with Automata-based Programming (10 min)
Rudnev A.D. (SPbSU ITMO) Using automata-based desing in developing driver for floppy disk controller (10 min)
Kanzhelev S.Y. (AVIcode) Automatic automata's code generation (10 min)
Naumov A.S. (SPbSU ITMO) Virtual Machine for Automata Based Programming (10 min)

348693159583374756818172 851437915254505926498448

* Discount Viagra Online.

* Mature Porn

[edit]

Invited Speakers

N.N. Nepeyvoda, UDMURTIA STATE UNIVERSITY.

[edit]

Organization

The tutorial organizers are: St.Petersburg State University of Information Technologies, Mechanics and Optics (http://www.ifmo.ru/eng/) eVelopers, Corp (http://www.evelopers.com). Contact person: Vadim Gurov (Senior Software Developer at eVelopers, Corp.)

[edit]

Registration

To register for the tutorial send email to Vadim Gurov (vgurov at evelopers.com). Use this email for any tutorial related question. IF YOU ARE UNCERTAIN, PLEASE SEND A "Tentative registration" e-mail as soon as possible.

[edit]