Petr Jančar

(my name is spelled Jan\v{c}ar in TeX)

Research group VERIF

A current paper showing a self-contained proof of the decidability of
Bisimulation equivalence for first-order grammars: .
(This extends the version in Proc. ICALP'14.)

Slides used during the invited talk
Petr Jančar: Equivalences of Pushdown Systems Are Hard; in Proc. FoSSaCS'14, LNCS 8412, pp. 1-28, Springer, 2014
can be found here:
fossacs-14-slides.pdf .

Information for students attending the following courses (in Czech)

Address :
Petr Jancar (Professor)
Dept. of Computer Science
Faculty of Electrical Engineering and Informatics (FEI)
Technical University of Ostrava (VSB)
17. listopadu 15
CZ - 708 33 Ostrava - Poruba
Czech Republic

e-mail: .
phone: +420 - 597 325 969
fax: +420 - 59 691 9597
mistnost na VSB: EA414

Consultation hours (konzultační hodiny): : Monday 16.15 - 17.30 (but please announce your visit in advance by sending email to

Publications (until 2005, generally one can refer, e.g., to DBLP-entry )

Membership in Programme Committees: