Petr Jančar
Informace pro studenty:
Publications:
DBLP-entry
Editor:
Information and Computation
Membership in Programme Committees:
- MFCS'24
49th International Symposium on Mathematical Foundations of Computer Science
- MFCS'23
48th International Symposium on Mathematical Foundations of Computer Science
- Concur'21
32nd International Conference on Concurrency Theory
- Petri Nets 2020
41st annual international Petri Nets conference
- RP'20
14th International Conference on Reachability Problems
- Petri Nets 2019
40th annual international Petri Nets conference
- RP'18
12th International Conference on Reachability Problems
- Petri Nets 2018
39th annual international Petri Nets conference
- Infinity'18
20th International Workshop on Verification of Infinite-State Systems
- Petri Nets 2017
38th annual international Petri Nets conference
- RP'16
10th International Workshop on Reachability Problems
- Concur'16
27th International Conference on Concurrency Theory
- Concur'15
26th International Conference on Concurrency Theory
- ACSD'15
15th International Conference on
Application of Concurrency to System Design
- ACSD'14
14th International Conference on
Application of Concurrency to System Design
- LiCS'13
28th Annual ACM/IEEE Symposium on
Logic in Computer Science
- ACSD'13
13th International Conference on
Application of Concurrency to System Design
-
ACSD'12
12th International Conference on
Application of Concurrency to System Design
- ACSD'11
11th International Conference on
Application of Concurrency to System Design
- FoSSaCS'11 14th
International Conference on Foundations of Software Science and
Computation Structures
- Concur'10
21st International Conference on Concurrency Theory
- ACSD'10
10th International Conference on
Application of Concurrency to System Design
- MoVeP'10
MOdelling and VErifying parallel Processes
- MEMICS'09
5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
- ACSD'09
9th International Conference on
Application of Concurrency to System Design
- MEMICS'08
4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
- ACSD'08
8th International Conference on
Application of Concurrency to System Design
- MoVeP'08
MOdelling and VErifying parallel Processes
- FoSSaCS'08 11th
International Conference on Foundations of Software Science and
Computation Structures
- MEMICS'07
3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
- ACSD'07
7th International Conference on
Application of Concurrency to System Design
- MEMICS'06
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
- ICTAC'06
3rd International Colloquium On Theoretical Aspects
of Computing
- ATPN'06
27th International Conference On Application and Theory
of Petri Nets and Other Models of Concurrency
- MoVeP'06
MOdelling and VErifying parallel Processes
- Infinity'05
7th International Workshop on Verification of Infinite-State Systems
- ATPN'05
26th International Conference On Application and Theory
of Petri Nets and Other Models of Concurrency
- FoSSaCS'05 8th
International Conference on Foundations of Software Science and
Computation Structures
- Concur'04
15th International Conference on Concurrency Theory
- MoVeP'04
MOdelling and VErifying parallel Processes
- Concur'02
13th International Conference on Concurrency Theory
- Concur'01
12th International Conference on Concurrency Theory