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: bisim3.pdf
The current version is from 8 Mar 2012 (with a change in Lemma 16 on Mar 9). Previous versions are here:
bisim2.pdf (from 14 Feb 2012)
bisim.pdf (from 1 July 2011)

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: Petr.Jancar@vsb.cz .
phone: +420 - 59 699 3476 (or +420 - 59 732 3476)
fax: +420 - 59 691 9597
url: http://www.cs.vsb.cz/jancar
mistnost na VSB: A1046

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

Publications (since 2005 in the above link VERIF )

Membership in Programme Committees: