CAFM logo

Centre for Applied Formal Methods

Seminars

Computing, Information Systems and Mathematics
London South Bank University


Local seminars | SSE seminars | (New) ICR events | CAFM meetings | Conferences | Other activities

Below are links to information on seminars of possible interest to members of the Centre. See also meetings in which CAFM members serve on the programme committee.

Seminars

Seminars at London South Bank University:

Seminars in departments of computer science at other institutions within central London:

To join a mailing list which distributes information on theoretical computer science seminars in London, email majordomo@dcs.qmul.ac.uk with the following in the body of the email message:

subscribe joint-theory-seminars your email address

Seminars at other institutions elsewhere:

Other activities

In Winter Term 2000, members of the Centre attended and presented seminars with the Centre for Concurrent Systems and VLSI (Mondays, 12 noon, Room B470). In Spring Term 2001, formal methods and other more general seminars have been held (Mondays, 1-2pm, Room B470). A series of Systems & Software Engineering research seminars was started in summer 2001, including both external and internal speakers.

On Thursdays from 18 October 2001, Dr. Ali Abdallah presented a course on Functional Programming for research students and staff.

Part of the CAFM information provided by Jonathan Bowen.

Last updated 12 November 2005.