Petr Jančar

Informace pro studenty:

• Vyčíslitelnost a složitost: KMI/VYSLO
• Matematická logika: KMI/MALO
• Algoritmy pro těžké problémy: KMI/ALS2
• Modelování a verifikace: KMI/MOVE

Publications: DBLP-entry

Editor: Information and Computation

Membership in Programme Committees:

• Sofsem 2025 50th International Conference on Current Trends in Theory and Practice of Computer Science
• FSTTCS'24 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
• 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