Projects search

Filter results

Information on the principal investigator and host institution

Host institution [PL]

City/town [PL]

Voivodeship

Principal investigator

Academic degree/title

Sex

Information on the project and the call

Project status

Project ID Registration number (e.g. 2019/33/B/ST1/00123) or proposal ID.

Amount awarded (PLN)

Type of call

Call

Research domain

Panel

Other

Keywords

Name of equipment [PL]

Show only projects involving equipment

Keywords: vector addition systems

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. Frontiers of automatic analysis of concurrent systems

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 21, Panel: ST6
2. Automatic analysis of concurrent systems

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 14, Panel: ST6
3. Formal verification in data-enriched models of computation

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Call: OPUS 28, Panel: ST6

Graphic design and implementation: Jakub Piotrowski