20 Talks

High-Performance Computing and Parallelization.
Doctoral School Lecture, Horizon 2020 Innovative Training Network TUSAIL “Training in Upscaling particle Systems: Advancing Industry across Length-scales”, Linz Austria, April 27, 2023.

The RISCAL Software - or What I Learned at RISC on CS, Logic & Math.
Invited talk at BB80, Symbolic Computation and Beyond, Symposium on the Occasion of the 80th Birthday of RISC-founder Bruno Buchberger, Hagenberg, Austria, October 25, 2022.

Implementation Techniques for Mathematical Model Checking.
Invited talk at SYNASC 2022, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Hagenberg, Austria, September 14, 2022.

Mathematical Model Checking in RISCAL.
Tutorial at SYNASC 2022, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Hagenberg, Austria, September 13, 2022.

Teaching Logic, Formalization, and Verification by Analyzing Theories and Algorithms with the RISCAL Model Checker.
Invited talk at MTF 2022, Model Theoretic Logics and their Frontiers, Alfréd Rényi Institute of Mathematics, Budapest, Hungary, World Logic Day 2022, January 15, 2022.

Mathematical Model Checking for Computer Science Education.
Invited talk at ICAI 2020, 11th International Conference on Applied Informatics, Eger, Hungary, January 30, 2020.

Logic and Semantic Technologies for Computer Science Education.
Invited talk at Informatics’2019, 2019 IEEE 15th International Scientific Conference on Informatics, Poprad, Slovakia, November 20, 2019.

Implementing Logic by Semantics: The RISCAL Approach to Automating Program Reasoning over Finite Domains.
Talk at the Department of Computers and Informatics, Technical University of Kosice, Slovakia, March 28, 2018.

Semantic Technologies for Computer Science Education.
Talk at the Department of Computers and Informatics, Technical University of Kosice, Slovakia, July 11, 2017.

Software Security/Safety II: Formal Methods for Analyzing the Safety and Performance of Concurrent Systems.
Industrial seminar in the frame of the SmaPro (Smart Production) project, October 8, 2015, Hagenberg, Austria.

Formal Methods: A Personal Perspective.
Invited talk, Scientific Day: Research Priorities in Information Technology, March 28, 2014, Islamic University of Ghaza, Palestine.

Formal Methods II: Logic Decision Procedures as Universal Problem Solvers.
Industrial seminar in the frame of the SmaPro (Smart Production) project, March 26, 2015, Hagenberg, Austria.

Florian Haftmann, Andreas Lochbihler, Wolfgang Schreiner.
Towards abstract and executable multivariate polynomials in Isabelle
Isabelle Workshop 2014, associated with ITP 2014, Vienna, Austria, July 13, 2014.

Applying Predicate Logic to Monitoring Network Traffic
Invited Talk at PAS 2013, Second International Seminar on Program Verification, Automated Debugging and Symbolic Computation Beijing, China, October 23-25, 2013.

High Performance Computing – A Small Tutorial
Department of Informatics Systems and Networks, University of Debrecen, Hungary, February 22, 2013.

Generating Network Monitors from Logic Specifications
Invited Talk at FIT 2012, 10th International Conference on Frontiers of Information Technology, Islamabad, Pakistan, December 17-19, 2012.

Specification and Implementation of CENREC Services
Research Institute of Information Technologies, Kherson State University, Kherson, Ukraine, May 18, 2009.

Computer-Assisted Proving for the Analysis of Systems and Specifications
Seminar “Advanced topics in Distributed and Component-based Systems”, Distributed Systems Research Group, Charles University, Prague, March 17, 2009.

A Report on the “MathBroker” Project for Brokering Mathematical Web Services
The First International Conference for Science and Development (ISCD-I), March 1–2, 2005, Gaza, Palestine.

WP WA1-c “Virtual Eye Surgery – SEE-GRID”
First Austrian Grid Workshop, December 9–10, 2004, Linz, Austria.

eLearning für die Schulen
Vortrag am BORG Birkfeld, 18. November 2003.

eLearning für die Schulen
Vortrag anläßlich der Verleihung des Learnie Award 2003, HAK Steyr, 2. Oktober 2003.

Brokering Mathematical Services in the Global Network
Invited Talk at MoMM 2003, Advances in Mobile Multimedia, September 17, 2003, Jakarta, Indonesia.

Autorenwerkzeuge für eLearning-Inhalte
Vortrag für die Lektorats-Mitarbeiter des Veritas-Verlags, 11. Juli 2003.

Distributed Maple — Lessons Learned from Parallel Computer-Algebra in Distributed Environments
Invited Talk at the East Coast Computer Algebra Day, April 5, 2003, Clemson University, Clemson, South Carolina, USA.

Engineering für Computer-basiertes Lernen — Ein FH-Studiengang in Hagenberg
2. Trinationaler Marktplatz “Virtuelle Lehre”, Bundesdekanekonferenz Wirtschaftswissenschaften, Fachhochschule Nürtingen, Deutschland, 7.–8. November 2002.

Engineering for Computer-based Learning — A Degree Programme of the University of Applied Sciences in Hagenberg
MbTAC, Multimedia-based Training Application Conference, Seefeld, Austria, May 14–15, 2002.

Notebooks an die Schulen! eLearning an der AHS?
Vortrag bei der Schulklausur des BG Ramsauerstraße, Schlierbach, 25. Jänner 2001.

Plotting Algebraic Curves by Cluster Computing
Talk at the Institute of Computer Science, University of Salzburg, Austria, November 29, 2001.

e-Learning: Perspektiven für den unternehmensweiten Einsatz
Vortrag beim Informations-Event “E-Learning — Internet für Aus- und Weiterbildung nutzen” des Future Network, 6. November 2001, Wien.

Towards Semantic Brokering of Mathematical Services on the Network
Talk at the Tsukuba Software Science Seminar, Symbolic Computation Research Group (SCORE), Institute of Information Sciences and Electronics, University of Tsukuba, Japan, July 26, 2001.

eLearning — eine Chance für das Bildungswesen
Festvortrag bei der akademische Feier des Österreichischen Universitätslehrgangs für Tourismuswirtschaft, Wirtschaftsuniversität Wien, 29. Juni 2001.

Temporal Logic Specifications for Parallel Debugging
Talk at the Laboratory of Parallel and Distributed Systems of MTA SZTAKI, Computer Science Automation Research Institute of the Hungarian Academy of Sciences, April 13, 2001.
PDF Slides.

Parallel Algebraic Geometry based on Maple and (Java or Haskell)
Talk at School of Computer Science, University of St. Andrews, Scotland, UK, October 17, 2000.

Parallel Computer Algebra based on Maple and Java
Talk at Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, UK, October 3, 2000.

On Parallelizing a Software Library for Algebraic Geometry
Invited talk at the Eight International Colloquium on Numerical Analysis and Computer Science with Applications, Plovdiv, Bulgaria, August 13-17, 1999.
(Slides).

Research on Distributed Software at RISC
KnowledgeWeb Workshop, Imperial College London, UK, September 23–24, 1998.
(Slides).

CONCERT — A Software Architecture for Building Distributed Education Sessions
Invited talk at the WILL workshop, PFU company, June 13, 1997, Hagenberg/Linz, Austria.
PostScript slides.

Sketch of a Distributed Education Environment Based on Mathematica
Followup programme of the Theorema Workshop, June 11, 1997, Hagenberg/Linz, Austria.
PostScript slides.

Was ist das Internet?
Invited talk at the Sommer Medienakademie, September 18–22, 1996, Ars Electronica Center, Linz, Austria.

Bedeutung von Multiprozessoren im kommerziellen Einsatz (Usability of Multiprocessors in Commercial Applications)
Inivited talk at Parallel Computing, Seminar of the International Data Corporation (IDC-Austria), Vienna, Austria, January 12, 1995.

Datenbanken für Anwender (Databases for Users)
Gödel School GmbH, Hagenberg, Austria, September 21, 1995.

Multiprozessoren für den kommerziellen Einsatz (Multiprocessors for Commercial Applications)
Invited talk at Power Business — Hochleistungscomputing 95, Seminar of the International Data Corporation (IDC-Switzerland), Zurich, Switzerland, October 17, 1995.

Parallel Functional Programming for Computer Algebra.
Talk at DIKU, University of Copenhagen, June 30, 1993.

A Proposal for the Efficient Implementation of Dataflow in C.
2nd Scientific Meeting of the Austrian Center for Parallel Computation (ACPC), Wilhelminenberg Castle, Vienna, Austria, March 8–9, 1991.

ADAM — An Abstract Dataflow Machine, Implementation and Evaluation.
1st Scientific Meeting of the Austrian Center for Parallel Computation (ACPC), Henndorf at Wallersee, Austria, October 4–6, 1990.

Parallel Computation and Computer Algebra
Computer Algebra Summer School, Hagenberg Castle, Austria, July 2–14, 1990.

ADAM — An Abstract Dataflow Machine and Its Transputer Implementation.
Workshop on Parallel Computation, Schloß Seggau, Graz, Austria, Juny 24 – 30, 1990.