Institutions are invited to join the project to discuss, share and improve pedagogical insights and best practices in the teaching of mathematical logic. These ideas are the key source for the material development. When functional, the network will be a valuable resource and breeding ground for new innovations and international projects in the field of mathematical logic.

Contributing examples of mathematical and applied logic

We're always on the look out for further examples of mathematical and applied logic in use, particularly in the work-place. If you or your company can identify any areas where mathematical logic is used and where your employees would benefit from additional training then please do let us know.

Examples might include areas where a lacking of logic or mathematical skills has been identified. We are aiming to identify generic skills rather than highly job-specific skills. However, we understand that some material may need to modified to fit certain training environment. The licensing of the project's learning material gives you flexibility in this regard.

Research opportunities

We are interested in pursuing research opportunities connected to this work. We are specifically interested in collaborative research in the following areas:

• Mathematical logic and applied logic learning materials.
• E-Learning technologies.
• Automatic translation with domain vocabularies.

Please contact us if you are interested in a collaboration.