Invited Talks

July 88

Computer algebra in plasma physics and numerical PDEs solving, DENIM, Universidad Politechnica de Madrid. Invited talk.

March 89

Applications of the REDUCE system to automation of numerical PDEs solving, USSR seminar: Analytical calculations on computer in theoretical and mathematical physics, JIRN, Dubna, USSR. Invited talk.

May 90

Automation of numerical solution of PDE systems, IV. International Conference on Computer Algebra in Physical Research, JINR, Dubna, USSR. Invited talk.

April 91

Using computer algebra for preparing numerical solution of PDEs, Workshop: Computer algebra as tool in physics, University of Bergen, Norway, April 13-19. Invited talk.

April 91

Towards Automation of Finite Difference Method for Solving PDE, ZIB Berlin, Konrad-Zuse-Zentrum für Informationstechnik, April 22-24. Invited talk.

Dec. 91

Computer Algebra Applied to the Finite Difference Method for Solving PDEs, Belgium meeting on computer algebra, Mons, Belgium, December 13. Invited talk.

July 92

Applications of computer algebra, RICA'92, RISC-LINZ Summer School in Computer Algebra, Linz, Austria. Invited talk.

July 92

Symbolic Computation Techniques in the Finite Difference Method for Solving PDEs, NSF Workshop on Integrated Symbolic-Numeric Computing, Berkeley, CA. Invited talk.

Oct. 92

Computer Algebra in Simulation Code Development, Intelligent Scientific Computation, AAAI Fall Symposium Series, Cambridge, MA. Invited talk.

June 94

Principal speaker at the workshop ''Knowledge Engineering and Computer Algebra'', CNLS LANL, Los Alamos, June 30-July 1, 1994 (invited):
(With M. Wester) Algebraic Computing Concepts
Applications of Computer Algebra
(With M. Shashkov) Support-Operators Method for PDE Discretization: Symbolic Algorithms and Realization
(With S. Steinberg) Stability Analysis of Finite Difference Schemes Using Computer Algebra

Feb 95

Treating Stability Problems by Computer Algebra, colloquium talk, Universität Passau, February 14, 1995. Invited talk.

Mar 99

Where Numerics can Benefit from Symbolic Computing in Finite Difference Modelling of Fluid Flows, SFB colloquium talk, Johannes Kepler University, Linz. March 10, 1999. Invited talk.

Mar 99

Smoothly Blending Successive Circular Interpolants in Two and Three Dimensions, RISC, Johannes Kepler University, Linz. March 11, 1999. Invited talk.

May 99

Where numerics can benefit from computer algebra in finite difference modelling of fluid flows, Computer Algebra in Scientific Computing, CASC-99, Munich, May 31-June 4, 1999. Invited talk.

June 99

Finite Difference Numerical Modelling Supported by Computer Algebra, IMACS ACA'99, El Escorial, Spain, June 24-27, 1999. Invited talk, key speaker.

March 2000

Composite Schemes for Conservation Laws, Systems of Conservation Laws and Related Topics: A Conference Celebrating Burt Wendroff's 70-th Birthday, Los Alamos National Laboratory, Los Alamos, New Mexico, March 8-10, 2000. Invited talk.

April 2001

Composite Schemes for Conservation Laws, International Conference on Mathematical Modelling and Scientific Computing, April 2 - 6, 2001, Ankara and Konya, Turkey. Invited talk.

November 2003

Symbolické a numerické výpočty ve vědě a technice aneb co nám počítače dovolují a nedovolují spočítat. Department of Mathemetics Report Series, University of South Bohemia, České Budějovice, Pedagogical Faculty. Invited talk.

March 2004

R. Liska, P. Váchal, and B. Wendroff.
Fully two-dimensional hllec riemann solver.
In Workshop on Schemes for Multidimensional Wave Structures in Hyperbolic Systems, Book of Abstracts, page 7, Hamburg, 2004. Hamburg University of Technology.
March 1-4, 2004. Invited talk.

August 2005

Using Computer Algebra in Numerical Treatment of Partial Differential Equations, Worshop, Rikkyo University, Tokyo, Japan. Invited talk.