Announcements
November 18-19, 2004: joint CoLogNET and Formal Methods Europe Symposium on Teaching Formal Methods in Ghent. << Back to table of contents

Group information
Postal address: Department of Information Technology, Ghent University, Sint-Pietersnieuwstraat 41, B-9000 Gent Location: Sint-Pietersnieuwstraat 39, B-9000 Gent Telephone: +32 9 264 3449 Fax: +32 9 264 3593 (shared) Members: Prof. dr. ir. Raymond Boute (home page); e-mail: boute@intec.UGent.be << Back to table of contents

Teaching

Courses (these home pages are written in Dutch): Basiswiskunde voor Computerwetenschappen (Fundamental mathematics for Computing Science), academic year 2002-2003. Remark: this course has disappeared with the introduction of the new Bachelor/Master curricula. There is no replacement in the Bachelor programme for engineering students (Faculty of Applied Science). However, in the Bachelor of Science in Informatics (Faculty of Science) the same topics will be covered in the first part of a future course, Application-Oriented Formal Logic by Martine De Cock. Formele systeemmodellen (Formal methods in systems modelling), academic year 2003-2004. Formele semantiek (Formal semantics of programming and systems description languages), academic year 2003-2004. For access, the user name is cursus and the password is fwi3vp. In case of problems please contact boute@intec.UGent.be. << Back to table of contents

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 More information about formal methods in general can be found at the following sites. 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. In 2004 there will be a Symposium on Teaching Formal Methods in Ghent. 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. There is also a series of bi-annual conferences originated by Victoria Stavridou, Tom F. Melham and Raymond T. Boute under the original title Theorem Provers in Circuit Design (TPCD), the first of which was held at Nijmegen in 1992. This was continued in 1994 and, after a name change to Formal Methods in Computer-Aided Design (FMCAD), in 1996, 1998, 2000 and 2002. The next conference in the series is in 2004. << Back to table of contents

Last edited: 2004/02/03. Please report errors and other problems to boute@intec.UGent.be.

---