Petr Jančar

Research group VERIF

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 - 597 325 969
fax: +420 - 59 691 9597
url: http://www.cs.vsb.cz/jancar
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 Petr.Jancar@vsb.cz)

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

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 .

Editor: Information and Computation

Membership in Programme Committees: