INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F02%3A00007778" target="_blank" >RIV/00216224:14330/02:00007778 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems

Original language description

INFINITY 2002, the 4th International Workshop on Verification of Infinite-State Systems was held as a satellite workshop of CONCUR 2002 (the 13th International Conference on Concurrency Theory) in Brno, Czech Republic, on August 24, 2002. The aim of theworkshop is to provide a forum for researchers interested in the development of mathematical techniques for the analysis and verification of systems with infinitely many states. The topics of INFINITY 2002 included the following: techniques for modelingand analysis of infinite-state systems, equivalence-checking and model-checking with infinite-state systems, parameterized systems, calculi for mobility and security, finite-state abstractions of infinite-state systems.

Czech name

—

Czech description

—

Type

W - Workshop organization

CEP classification

BD - Information theory

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2002

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Event location

Brno, Czech Republic

Event country

CZ - CZECH REPUBLIC

Event starting date

—

Event ending date

—

Total number of attendees

30

Foreign attendee count

25

Type of event by attendee nationality

WRD - Celosvětová akce