Skip to main content Skip to navigation

MALog Introduction

Project summary

Mathematical logic develops the kind of thinking that is needed by the future planners of technical devices in order to have end-user friendly, logical technical applications. This creates an urgent need for workers with mathematical logic skills in European enterprises. The aim of this project is to provide high quality learning materials to help students and employees develop their expertise in mathematical logic.

We are hoping to engage with enterprises in the Midlands who perceive that there is a mathematical logic “skills shortage” with their own employees. We want to discover how this manifests itself in the workplace, and this will inform us when designing and deploying those educational materials. Once these are ready, they will be tested in real learning situations, and once again we will be hoping that local companies will be interested in trialling those materials.

All the material produced in the project will be placed on-line and be made freely available to all interested European educational institutions and enterprises.

Further information is available on the project's website


You are cordially invited to join us:

Date and time: Monday 7 December 2009 from 9:30 am until 12 noon

Venue: Room 104, Department of Computer Science, University of Warwick, Coventry, CV4 7AL

The purpose of the meeting will be to explain to you about our plans for the next three years and to explore with you how our project might benefit your company and how we might be able to collaborate.

The agenda is as follows:

09:30 – 10:30 Presentation by us

10:30 – 11:00 Networking (refreshments will be provided)

11:00 – 12:00 A talk by Prof. Moti Ben-Ari (Weizmann Institute of Science) “Teaching Concurrency and Nondeterminism with Model Checking”

If you wish to attend, please reply to Mike Joy by email at