Raymond T. Boute

For a more convenient version with frames click here

Address information

(Prof.) Raymond T. Boute, Formal Methods Group, Department of Information Technology (INTEC), Ghent University, Ghent (Belgium) Postal address: INTEC, Sint-Pietersnieuwstraat 41, B-9000 Ghent (Belgium) Telephone: +32 9 264 3449, Fax: +32 9 264 3593 (shared) E-mail: boute@intec.UGent.be

<< Back to table of contents

Current teaching

• Basiswiskunde voor Computerwetenschappen (Fundamental mathematics for Computing Science), academic year 2002-2003.
• Formele systeemmodellen (Formal methods in systems modelling), academic year 2002-2003.
• Formele semantiek (Formal semantics of programming and systems description languages), academic year 2002-2003.

<< Back to table of contents

Current research

The main research activity is the elaboration and application of formal methods for theory development, analysis, specification and design of systems whose complexity does not result only from quantitative factors (size, number of subsystems) but mainly from the diversity of modelling aspects required for adequate understanding. The ultimate goal is enhancing the usability of formal methods in practical engineering applications.

Special attention is given to the unification of general and continuous system models (from the 'analog world') and discrete system models. Information technology and telecommunications systems are chosen as the main testing ground because of the wide diversity of aspects they represent, ranging from transmission (antennas, lines) and signal processing (analog and digital)  to algorithms (at various network levels) and data representation.

General information about formal methods

• A general overview of various formal methods: http://www.afm.sbu.ac.uk maintained by Jonathan Bowen
• Courses at various locations: http://www.cs.indiana.edu/formal-methods-education/Courses/
• The home page of Formal Methods Europe: http://www.fmeurope.org. This organization holds a conference every year; for 2002: FME 2002; for 2003: FM 2003.
• Various other conferences related to formal methods: http://www.fmeurope.org/events.html
• A working group on industrial applications of formal methods: http://www.inrialpes.fr/vasy/fmics/. This group holds a conference every year; for 2003: FMICS 03.

<< Back to table of contents

Curriculum Vitae

Degrees

• 1966, Ghent University (B),  M.S. in Electrical and Mechanical Engineering
• 1968, Ghent University, M.S. in Electronics Engineering
• 1969, Stanford University (Ca, USA), M.S. in Electrical Engineering
• 1973, Stanford University, Ph.D. in Electrical Engineering, minor: Computer Science

Employment, work experience etc. (listed in reverse chronological order)

• 1994-(now), Ghent University, Ghent (B), Faculty of Engineering, Dept. of Information Technology: Professor.
  Teaching and research: described at the beginning of this home page.
• 1981-1994, Nijmegen University, Nijmegen (NL), Computing Science Department: Professor of Mathematics and Informatics. Teaching: digital design, computer architecture, computer networks, operating systems, functional programming, declarative methods, satellite communication; exchange courses at the Technical University Eindhoven (NL) (1985-86). Research: initiated the research at Nijmegen University on functional programming languages, gradually extended to declarative methods for systems description. Conducted various projects, including ESPRIT 881: "Formal description of arbitrary systems by means of functional languages" (1986-1990).
• 1973-1981, Bell Telephone Mfg. Cy. (now Alcatel Bell), Antwerp (B), Dept. Long Range Development: Research Engineer. Research: general: systems and control structures for advanced switching systems; specific: distributed real-time control, binary decision machines, communicating sequential machines, systems semantics, functional languages.Teaching: various postgraduate courses on microprocessors, reliability and redundancy, programmable controllers etc.; a course on programming languages at Antwerp University.
  1978, 1979, Intel, Oregon (joint project with Bell/ITT), Study of VLSI computer architectures and operating system principles for real-time control in telecommunications systems.
• 1973-1974, Ghent University, Laboratory for Electrical Machinery, Teaching Assistant
• 1969-1973, Stanford University, Digital Systems Laboratory (now CSL), Research Assistant
  Research on faults in sequential machines (algebraic properties, detection methods). Ph.D. research supervisor: Prof. Edward J. McCluskey.
• 1968-1969, Stanford University, CRB Graduate Fellow (Belgian-American Educational Foundation)
• 1966-1968, Ghent University,  Laboratory for Electrical Machinery, Assistant
• 1965-1966, von Karman Institute for Fluid Dynamics, St.-Genesius-Rode (B): thesis research on the computer-aided design of transonic turbocompressors

Visiting professorships (only periods of several months' duration are listed)

• 1993, Ecole Polytechnique Fédérale de Lausanne (CH), Laboratoire de systèmes logiques (host: Prof. Daniel Mange)
• 1989, University of Leuven and IMEC (B), division VSDM (now DESICS) (host: Prof. Hugo De Man)
• 1986, Eidgenössische Technische Hochschule Zürich (CH), Institut für Technische Informatik (host: Prof. Albert Kündig)
• 1982, Ecole Polytechnique Fédérale de Lausanne (CH), Laboratoire de microinformatique (host: Prof. Jean-Daniel Nicoud)

Memberships

• Koninklijke Vlaamse Ingenieursvereniging (Royal Flemish Engineers' Association)
• Nederlands Elektronica- en Radiogenootschap (Dutch Electronics and Radio Society)
• Institute of Electrical and Electronics Engineers
• Association for Computing Machinery
• Mathematical Association of America
• American Mathematical Society
• Stanford Alumni Association
• Sigma Xi
• The Planetary Society
• Various other cultural and social associations

<< Back to table of contents

Former Ph.D. students

• 1998, Johan Hoffman, Declaratieve specificatie en transformationeel ontwerp van software-systemen (Declarative Specification and Transformational Design of Software Systems), Universiteit Gent
• 1997, Frank van den Beuken, A Functional Approach to Syntax and Typing, Nijmegen University  (copromotor: prof. H. A. van Thienen)
• 1996, Mieke Massink, Functional Techniques in Concurrency, Nijmegen University (copromotor: prof. D. Pedreschi, University of Pisa)
• 1994, Marc Seutter, The Development of Semantic Functions for a System Description Language with Multiple Interpretations, Nijmegen University
• 1994, Huub van Thienen, It's about time -- Using Funmath for the Specification and Analysis of Discrete Dynamic Systems, Nijmegen University
• 1994, Jozef De Man, Systems Engineering Using a Functional Language, Leuven University (promotors: prof. Johan Lewi, prof. R. Boute)
• 1991, Cees van Reeuwijk, The Implementation of a Systems Description Language and its Semantic Functions, Delft University (promotors: prof. Jan Davidse, prof. R. Boute)
• 1988, Raymond Veldhuis, Adaptive Restoration of Unknown Samples in Discrete-Time Signals and Digital Images, Nijmegen University (promotores: prof. Johannes Peek, prof. R. Boute)
• 1986, Daniel Schillinger, Programmierung in der prozessnahen Leittechnik, Eidgenössische Technische Hochschule Zürich (Referent: Prof. Albert Kündig, Korreferent: Prof. R. Boute)

<< Back to table of contents

Publications

This is a preliminary list compiled from earlier ones without any attempt at systematic classification. Classification by subject matter and brief annotations may be effected at some later date.

a. Books

• Victoria Stavridou, Tom F. Melham, Raymond T. Boute, eds., Theorem Provers in Circuit Design, North-Holland, Amsterdam (1992).
• Gabor David, Raymond T. Boute, Bruce D. Shriver, eds., Declarative Systems, North-Holland, Amsterdam (1990).

• R. Boute, Functional Mathematics: a Unifying Declarative and Calculational Approach to Systems, Circuits and Programs (separate chapters available on request from boute@intec.UGent.be, not for dissemination)

b. Papers

• R. Boute, "Concrete Generic Functionals: Principles, Design and Applications", In: Jeremy Gibbons and Johan Jeuring, eds., Generic Programming, pp. 89-119. Kluwer, (2003); Available from Amazon.
• R. Boute, "Supertotal function definition in mathematics and software engineering, IEEE Trans. on Software Engineering, Vol. 26, No. 7, pp. 662-672, July 2000.
• R. Boute, "Zeroless positional number representation and string ordering", Am. Math. Monthly, Vol. 107, pp. 437-444, May 2000.
• R. Boute, "Simple geometric solutions to De l'Hospital's pulley problem", The College Mathematics Journal Vol. 30, No. 4, pp. 311-314, Sept. 1999.
• R. Boute, "A declarative formalism supporting hardware/software co-design",   in: Jerzy Rozenblit, Klaus Buchenrieder, eds. Codesign: Computer-Aided Software/Hardware Engineering, pp. 41-66. IEEE Press, New York, 1995.
• R. Boute, "Fundamentals of hardware description languages and declarative languages", in: J.P. Mermet, ed., Fundamentals and Standards in Hardware Description Languages, pp. 3-38. Kluwer Academic Publishers, 1993.
• R. Boute, "The Euclidean definition of the functions div and mod", ACM Transactions on Programming Languages and Systems, Vol. 14, No.2, pp. 127-144, April 1992.
• R. Boute, "Language concepts for analog circuit description in VHDL", Proc. VHDL-Forum for CAD in Europe, Spring '91 Meeting, Marseille, April 1991.
• R. Boute, "Declarative languages still a long way to go", in: D. Borrione, R. Waxman, Computer Hardware Description Languages and their Applications, pp. 165-192, Elsevier Science Publishers, April 1991. (*)
• R. Boute, "ESPRIT Project 881 FORFUN, Formal description of digital and analog systems by means of functional languages", Esprit '90 / Proceedings of the Annual ESPRIT Conference, Kluwer Academic Publishers, Dordrecht, pp. 212-226, Nov.1990.
• R. Boute, "Making VHDL sufficiently declarative for abstract (black-box) VLSIC specification", Proc. 1990 Fall VHDL Users' Group Meeting, Oakland, Oct. 1990.
• R. Boute, "Supporting multiple semantics and separation of concerns in VHDL", Proc. First European Conference on VHDL Methods, Marseille, Sept. 1990.
• R. Boute, "Funmath: towards a general formalism for system description in engineering applications", in: P.P. Silvester, ed., Advances in Electrical Engineering Software, pp. 215-226. Computational Mechanics Publications, Southampton, and Springer-Verlag, Berlin, Aug. 1990.
• R. Boute, "Why algorithms are not suitable for hardware description", Proc. VHDL-Forum, Spring 1990 Meeting, Grassau, Apr. 1990.
• R. Boute, "On the formal description of non-computational objects", in: G. David, R.T. Boute, B.D. Shriver, eds., Declarative Systems, (Proc. of the IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems), North-Holland, Amsterdam, pp. 99-123, 1990.
• R. Boute, "Syntactic and semantic aspects of formal system description", Proc. EUROMICRO 89, Microprocessing and Microprogramming 27, 1-5, pp. 155-162, Aug. 1989.
• L. Claesen, R. Boute, J. De Man, W. Ploegaerts, M. Seutter, J. Vanslembrouck, D. Verkest: "Application of System Semantics to VLSI for the Transformational Design of a Parameterized Booth Multiplier Module -- a case study", Microprocessing and Microprogramming 27, 1-5, pp. 261-266, Aug. 1989.
• R. Boute, "Representational and Denotational Semantics of Digital Systems", IEEE Transactions on Computers 38, 7, pp. 986-999, July 1989.
• R. Boute, "On the shortcomings of the axiomatic approach as presently used in Computer Science", Proc. IEEE COMPEURO 88, System Design: concepts, methods and tools, pp. 184-193, April 1988. (*)
• R. Boute, "Systems Semantics: principles, applications and implementation", ACM Trans. Prog. Lang. and Syst . 10, 1, pp. 118-155, Jan. 1988.
• R. Boute, "Elements for the formal description of systems", in: A. Kündig, R. Bührer, J. Dähler, eds., Embedded systems, pp. 63-90, Springer LNCS 284, Springer-Verlag, Berlin, 1987. (*)
• R. Boute, "An introduction to system semantics", in : A. Kündig, R. Bührer, J. Dähler, eds., Embedded systems, pp. 91-107, Springer LNCS 284, Springer-Verlag, Berlin, 1987. (*)
• R. Boute, "Functional formalisms for systems description: current research topics", in A. Kündig, R. Bührer, J. Dähler, eds., Embedded systems, pp. 108-126, Springer LNCS 284, Springer-Verlag, Berlin, 1987. (*)
• R. Boute, From LISP to genuine Functional Languages: applications in Engineering. The Babbage Institute for Knowledge and Information Technology, Ghent, Belgium, 1987. (*)
• R. Boute, "System semantics and formal circuit description", IEEE Trans. Circ. and Syst., CAS-33, 12, pp. 1219-1231, Dec. 1986.
• R. Boute, "A calculus for reasoning about temporal phenomena", NGI-SION Symposium 1986, pp. 405-411, April 1986.
• R. Boute, "Current work on the semantics of digital systems", in: G. Milne, P.A. Subrahmanyam, eds., Formal aspects of VLSI design, pp. 99-112, North-Holland, Amsterdam, 1986.
• R. Boute, "Systems semantics: principles, applications and implementation", NGI-SION 1985 Informatica Symposium, pp. 146-161, April 1985.
• R. Boute, "Functional description of digital systems", in: W.K. Giloi, B.D. Shriver, eds, Methodologies for Computer System Design, pp. 291-236. North-Holland, Amsterdam, 1985.
• R. Boute, "On the equivalence of time-division and frequency-division multiplexing," IEEE Trans. Comm, COM-33, 1, pp. 97-99, Jan. 1985.
• R. Boute, "Programs versus descriptions", Proc. SEAS Spring Meeting 1984, pp. 451-467, Knokke, Belgium, April 1984. (*)
• R. Boute, "Functional languages and their application to the description of digital systems", Journal A, 25, 1, pp. 27-33, 1984.
• R. Boute, "Functioneel programmeren als middel om de correctheid van programma's te bevorderen", ASI leergang: In de ban van de fout, pp. 61-83, Utrecht, The Netherlands, Oct. 1983.
• R. Boute, "An appraisal of Ada: from system reconfiguration to programming in general", Ada Europe/Ada TEC Joint Conference on Ada, Brussels, 1983. (*)
• R. Boute, "On the requirements for dynamic software modification", Euromicro Symposium 1982, pp. 259-271, Haifa (Israel)/Antwerp (Belgium), Sept. 1982.
• R. Boute, "Foundations of the next-generation microprocessors". Euromicro symposium 1981, pp. 271-287, North-Holland, Amsterdam (1981).
• R. Boute,  M.I. Jackson, "A joint evaluation of the programming languages Ada and CHILL". 4th Intl. Conf. on Software Engineering for Telecommunication Switching Systems, pp. 214-220 (July 1981).
• R. Boute, "Towards system specification languages". pp. 31-37 4th Intl. Conf. on Software Engineering for Telecommunication Switching Systems, pp. 31-37 (July 1981).
• R. Boute,  J. de Man, H. Peeters, "Secure on-the-fly software modification". 4th Intl. Conf. on Software Engineering for Telecommunication Switching Systems, pp. 49-53 (July 1981)
• R. Boute, "Building a uniform programming environment based on data abstraction". ACM International Computing Symposium ICS81. pp. 415-424 (March 1981)
• R. Boute, "Microprocessor architecture, systems and software design: trends and expectations". Journal A 21, 4, pp. 153-160 (1980).
• R. Boute, "Future evolution and expectations in the microprocessor area". In: Mikroprocessoren: Mogelijkheden en impakt.. BIRA studiedag Euromation-Instrurama (22 april 1980).
• R. Boute, "Simplifying ADA by removing limitations". ACM SIGPLAN Notices 15, 2, pp. 17-28 (Feb. 1980).
• R. Boute, "The role of higher-level languages in microcomputer applications". Infotech State of the Art Report on Microcomputer Systems, pp. 37-68 (Dec. 1978).
• J. de Man, R. Boute, D.W. Wright, "MISTRAL-M: a medium-level language for microcomputer applications". Proc. 4th Sympos. on Microprocessing and microprogramming, pp. 110-117 (Oct. 1978).
• R. Boute,  J. de Man, D.W. Wright, "A medium-level programming language". Proc. IERE Conference on Microprocessors in Automation and Communications, pp. 259-274 (Sept. 1978).
• R. Boute, "System design of an experimental modular exchange with distributed control". Proc. 3rd Intl. Conf. on Software Engineering for Telecommunication Switching Systems, pp. 195-199 (jun. 1978).
• R. Boute, "Logical models for computer control of telephone exchanges". Proc. 3rd Intl. Conf. on Software Engineering for Telecommunication Switching Systems, pp. 18-24 (Jun 1978).
• R. Boute, "Multiple-user Intercommunicating Automata and applications in small real-time operating systems". NTG-GI Fachtagung: Struktur und Betrieb von Rechensystemen. NTG fachberichte, band 62, pp. 121-130. München: VDE Verlag (März 1978).
• R. Boute, "Van bedrade logica baar programmeerbare stuurschakelingen en verder". BIRA Studiedag: programmeerbare stuurschakelingen (Dec. 1977).
• R. Boute, "Reliability of control systems utilizing microprocessors". H.F. Tijdschrift Bd. X, No. 6-8, pp. 172-180 (Oct. 1977).
• R. Boute, "Microcomputer education in an industrial environment". Euromicro Newsletter 3, 2, pp. 12-15 (Apr. 1977).
• R. Boute, "Introduction to reliability improvement techniques for digital systems". BIRA Studiedag: betrouwbaarheid van digitale systemen (Nov. 1976).
• R. Boute, "Algemene ontwerpmethodes bij het gebruik van PLA's en aanverwante schakelingen". BIRA Studiedag: programmeerbare en voorgeprogrammeerde LSI schakelingen (mei 1976).
• R. Boute, "Programmeerbare stuurschakelingen en de Binary Decision Machine". BIRA Studiedag: programmeerbare en voorgeprogrammeerde LSI schakelingen (mei 1976).
• R. Boute, "The binary decision machine as programmable controller". Euromicro Newsletter 2, 1, pp. 16-22 (Jan. 1976).
• R. Boute, "Algebraic properties of testing and diagnosing sequences for sequential machines". Proc. 1975 Intl. Symposium on Fault-Tolerant Computing, p. 242 (jun. 1975).
• R. Boute, "De microprocessor -- Beschrijving en eigenschappen". BIRA Studiedag: Microprocessors en Programmeerbare Controllers (Dec. 1974).
• R. Boute, "Optimal and near-optimal checking experiments for output faults in sequential machines". IEEE Transactions on Computers C-23, 11, pp. 1207-1213 (Nov. 1974).
• R. Boute, "Distinguishing sets for optimal state identification in checking experiments". IEEE Transactions on Computers C-23, 8, pp. 874-877 (Aug. 1974).
• R. Boute, "Checking experiments for output faults in sequential machines". Proc. 1973 Intl. Sympos. on Fault-Tolerant Computing p. 172 (June 1973).
• G.S. Sidhu, R.T. Boute, "Property encoding: applications in binary picture encoding and boundary following". IEEE Transactions on Computers C-21, No. 11, pp. 1206-1216 (Nov. 1972).
• R. Boute,  E.J. McCluskey, "Fault equivalence in sequential machines", Proc. XXI Sympos. on Computers and Automata, pp. 483-507. Brooklyn: Polytechnic Press (April 1971).

<< Back to table of contents

c. Workshop presentations, non-refereed papers and technical reports

• R. Boute, "Genericity by functionalization: defining data as functions", In: Roland Backhouse and Jeremy Gibbons (organizers), Summer School and Workshop on Generic Programming, Oxford, Aug. 26-30, 2002
• R. Boute, "Declarative specification and calculation in view of software evolution", Workshop on Foundations of Software Evolution, Vrije Universiteit Brussel, Jan. 2002
• R. Boute, "Transformaties en impedanties: over formeel rekenen en fysisch interpreteren.", Tijdschrift van het NERG, jg. 65, nr. 5, blz. 200-216, dec. 2000.
• R. Boute, "Language features for truly declarative systems specification", in: D. Barton et al., Second Workshop on System Level Design Languages, Jul. 1997.
• R. Boute, "Systems and System Structures as First-Class Objects", in: D. Barton et al., Second Workshop on System Level Design Languages, Jul. 1997.
• R. Boute, "Housekeeping operators and concrete function algebra in systems modelling", in: D. Barton et al., Second Workshop on System Level Design Languages, Jul. 1997.
• R. Boute, "Formal system description with functional formalisms", in: M. Seutter, ed., Glass: A system description language and its environment, pp. 14-23, May 1990; Version 2.0, June 1991.
• R. Boute, "A heretical view on type embedding", Sigplan Notices 25, 1, pp. 25-28, Jan. 1990.
• R. Boute, "Overview of Esprit Project No. 881 — FORFUN", in: R. Doesborg, S. Klaver (eds.), Proc. Workshop an Analog and Digital Circuit Design, Sagantec, Eindhoven, May 1989; also in: J.P. Veen, ed., Proc. 2nd ProRISC/STW symposium on design methodology, pp. 13-24, 5 April 1990.
• R. Boute, "Applications of functional formalisms", Internal Report 87-3, Department of Computer Science, University of Nijmegen, July 1987.
• R. Boute, "Systems semantics: principles, applications and implementation", Report No. 103, Department of Computer Science, University of Nijmegen, March 1987.
• R. Boute, "The Functional Temporal Calculus: a formalism for reasoning about temporal phenomena", Report No. 87-0, Department of Computer Science, University of Nijmegen, Jan. 1987.
• R. Boute, "The sigma calculus: scoping and substitution in formal descriptions of systems with bidirectional information flow", Report No. 92, Department of Computer Science, University of Nijmegen, Jan. 1987
• R. Boute, - "Syntactic constructs for the description of bidirectional systems", Report No. 90, Department of Computer Science, University of Nijmegen, July 1986.
• R. Boute, "Functional Temporal Calculus versus Temporal Logic: an engineering approach", Report No. 59, Department of Computer Science, University of Nijmegen, March 1985.
• R. Boute, "System semantics applied to digital and analog circuits", Report No. 56, Department of Computer Science, University of Nijmegen, August 1984.
• R. Boute, "Language and system support for dynamic software modification", Report No. 44, Department of Computer Science, University of Nijmegen, June 1982.
• R. Boute, "Fault detection in fundamental-mode sequential circuits". Technical Report No. 41, Digital Systems Laboratory, Stanford University (Nov. 1972).
• R. Boute, "Checking experiments for output faults". Technical Report No. 40, Digital Systems Laboratory, Stanford University, (Nov. 1972).
• R. Boute, "Properties of memory faults in sequential machines". Technical Report No. 39, Digital Systems Laboratory, Stanford University (Nov. 1972).
• R. Boute, "Equivalence and dominance relations between output faults in sequential machines". Technical Report No. 38, Digital Systems Laboratory, Stanford University (Nov. 1972).
• R. Boute, "Algebraic properties of test sequences and fault relations". Technical Report No. 37, Digital Systems Laboratory, Stanford University (Nov. 1972).
• R. Boute, "Note on the characterization of rings of integers in view of arithemetic codes". Technical Note No. 22, Digital Systems Laboratory, Standford University (Nov. 1972).
• R. Boute, "Adaptive design methods for checking experiments". Technical Report No. 30, Digital Systems Laboratory, Stanford University (July 1972).
• R. Boute, G.S. Sidhu, "Property encoding as a topological aid in the computer solution of boundary-value and other engineering problems". Internal Report, Information Systems Laboratory, Stanford University (1972).
• R. Boute, "Algorithms for combinational fault equivalence using LISP". Technical Note No. 9, Digital Systems Laboratory, Stanford University (Sept. 1971).

<< Back to table of contents

d. Other presentations

This section contains only presentations that have not already been mentioned earlier as being included in conference proceedings. Presentations prior to 1982 are not listed.

• R. Boute, Funmath as a unifying approach to applied mathematics, University of Nijmegen, The Netherlands (16 December 1993)
• R. Boute, "Funmath as an alternative basis for MHDL", MHDL Users' Group Meeting, Eatontown, New Jersey, USA (4-5 Aug. 1993)
• R. Boute, "The usage of declarative formalisms in the specification and the transformational design of systems, circuits and programs", Eidgenössische Technische Hochschule Zürich, Switzerland (1 July 1993)
• R. Boute, "The usage of declarative formalisms in telecommunications engineering", (fifth in a series of 5 seminars), Ecole Polytechnique Fédérale de Lausanne, Switzerland (22 June 1993)
• R. Boute, "A practical view on types and algebras with application to extending Boolean algebra into a replacement for temporal logic". (fourth in a series of 5 seminars), Ecole Polytechnique Fédérale de Lausanne, Switzerland (15 June 1993)
• R. Boute, "Semantics and design of hardware description languages", (third in a series of 5 seminars), Ecole Polytechnique Fédérale de Lausanne, Switzerland (1 June1993)
• R. Boute, "The usage of declarative formalisms in the specification and the transformational design of systems, circuits and programs", (second in a series of 5 seminars), Ecole Polytechnique Fédérale de Lausanne, Switzerland (18 May 1993)
• R. Boute, "Classical engineering mathematics as the basis for a unifying approach to electrical engineering and computer science", (first in a series of 5 seminars), Ecole Polytechnique Fédérale de Lausanne, Switzerland (6 April 1993)
• R. Boute, "Fundamentals of hardware description languages and declarative languages", series of five lectures at the NATO Advanced Study Institute Fundamentals and Standards in Hardware Description Languages "Il Ciocco", Toscane, Italy (15-26 April 1993)
• R. Boute, "The Glass hardware description language", NATO Advanced Study Institute Fundamentals and Standards in Hardware Desription Languages "Il Ciocco", Toscane, Italy (15-26 April 1993)
• R. Boute, "The Funmath approach towards unifying mathematical notation", Cathode Workshop (Computer Algebra Tools for Handling Ordinary Differential Equations), Han sur Lesse (27-31 March 1993)
• R. Boute, "Introducing the Funmath system description language", Philips Research Laboratory, Eindhoven, The Netherlands, 28 October 1992.
• R. Boute, "Why circuits are more general objects than programs, or: computing science as a branch of discrete systems theory", Informatica-colloquium, Eindhoven University of Technology, The Netherlands, 5 June 1992.
• R. Boute, "The usage of declarative formalisms in the specification and transformational design of systems, circuits and programs" , University of Ghent, Belgium, 27 May 1992.
• R. Boute, "A declarative formalism supporting hardware/software co-design", IFIP International Workshop on Hardware/Software Co-Design, Grassau, Germany, May 1992.
• R. Boute, "Transformational reasoning about specifications, systems, circuits, programs using Funmath", IFIP WG 2.1 meeting, Rio de Janeiro/Itacuruça, Brazil, 23 January 1992.
• R. Boute, "Een integrerende benadering van de informatica in het voortgezet onderwijs en in het hoger onderwijs", Nederlands Informatica-Onderwijscongres, Maastricht, The Netherlands, May 1990.
• R. Boute, "Formal description of arbitrary systems by means of functional languages", The British Computer Society (Netherlands Section), Nieuwegein, The Netherlands, 14 February 1990.
• R. Boute, "Formal methods in a broader engineering perspective", IMEC (Interuniversity Mirco-electronics Center), Leuven, Belgium, 30 June 1989.
• R. Boute, "Towards a general formalism for system description", Derde-cyclusprogramma 1985-1989: Wiskundige, statistische en informatietheoretische aspecten van VLSI, Leuven, June 1989.
• R. Boute, "On the practical usage of declarative formalisms", University of Patras, Greece, Oct. 1989.
• R. Boute, "Language issues in Systems Engineering", International Conference on System Development Environments and Factories, Berlin, West-Germany, 10 May 1989.
• R. Boute, "On the design of hardware description languages: criteria, methods, and an example", IMEC (Interuniversity Mircoelectronics Center), Leuven, Belgium, 14 April 1989.
• R. Boute, "Funmath and the semantics of Silage", University of Leuven, Leuven, Belgium, 14 April 1989.
• R. Boute, "Towards a metalanguage for system semantics", IFIP WG 2.1 meeting, Chamrousse, France, 9-13 Jan. 1989.
• R. Boute, "On the formal description of electronic systems", Symposium: logische aspecten van het ontwerpen van geïntegreerde schakelingen, Utrecht, The Netherlands, 16 Dec. 1987.
• R. Boute, "Formele beschrijving van digitale en analoge systemen door middel van functionele talen", Genootschap Toegepaste Wiskunde en Informatieverwerking, Antwerpen, België, 16 Nov. 1987.
• R. Boute, "Functional formalisms: from programming languages back to clean mathematics", Sagantec, Eindhoven, The Netherlands, 2 Feb. 1987.
• R. Boute, "Formal manipulation in digital FUNDS: an example", Sagantec, Eindhoven, The Netherlands, 2 Feb. 1987.
• R. Boute, "Functional formalisms: principles and applications", lecture series at the Eidgenössische Technische Hochschule, Zürich, Switzerland, June/July 1986.
• R. Boute, "Functional formalisms in engineering", Brown-Boveri Research Center, Baden, Switzerland, 8 July 1986.
• R. Boute, "Applications of functional formalisms", IBM Research Laboratories, Rüschlikon, Switzerland, 10 June 1986.
• R. Boute, "Systeemsemantiek toegepast op digitale en analoge schakelingen", Informatics Colloquium, Philips Research Laboratory, Eindhoven, The Netherlands, 6 Nov. 1985.
• R. Boute, "Multilevel description of computer architectures using higher-order functions", IFIP WG 10.2/10.5 Workshop on Hardware Design Verification, Darmstadt, Germany, 26 Nov. 1984.
• R. Boute, "System semantics applied to digital circuits", Delft University of Technology, Delft, The Netherlands, 12 March 1984.
• R. Boute, "System semantics applied to digital circuits", Eindhoven VLSI Club, Eindhoven University of Technology, The Netherlands, 2 May 1984.
• R. Boute, "Nondeterministic functions and Curried infix operators", IFIP Working Group 2.1 Meeting, Munich,Germany, May 1983.
• R. Boute, "Functionele beschrijvingstalen en computerarchitecturen", Algemeen Wiskunde-colloquium, Mathematisch Instituut, Nijmegen, The Netherlands, 2 Dec. 1982.
• R. Boute, "Beschouwingen omtrent dynamische modificatie van software", Colloquium Informatica 1982, Mathematisch Centrum, Amsterdam, The Netherlands, 5 Nov. 1982.
• R. Boute, "Ada and computing in the near future", Symposium on the relevance of Ada, British ACM Chapter, London, England, 28 Sept. 1982.
• R. Boute, "Microprocesseurs évolués", Cours Postgrade en Informatique Technique, Ecole Polytechnique Fédérale de Lausanne, Switzerland, summer 1982.

<< Back to table of contents