International programming conference comes to Bath

The University is hosting the ‘28th Conference on the Mathematical Foundations of Programming Semantics’ (MFPS) in June, in yet another move that puts the city on the map for digital expertise.

The annual event is traditionally hosted at top research universities in North America and Europe, including Oxford and Birmingham in the UK and Carnegie-Mellon in the US.

Programming is the process of designing, writing, testing and maintaining the source code, or instructions, of computer programs. Programmers use a variety of different programming languages - based on mathematical principles.

The conference in Bath is dedicated to the theoretical, fundamental areas of mathematics, logic and computer science that are related to models of computation, in general, and to the semantics of programming languages in particular.

The event will provide a forum for researchers in mathematics and computer science to meet and exchange ideas, discuss problems and create collaborations.

Professor Guy McCusker and Dr John Power from the University of Bath’s Logic and Semantics group in the Department of Computer Science are hosting the event.

Professor McCusker said: “Hosting this well established event, which harks back to the work of Alan Turing and foundational work in computing, here in Bath, is testament to the excellent standard of mathematical computational research taking place.

“This strength in fundamental computer science at one end of the scale really complements the local buzz of applied digital activity at the other. 

“The MFPS conference confirms Bath’s role as a leading participant in international computing research. The event brings together experts in a field that lays the foundations for a reliable, safe and secure software-enabled future, and is a fantastic opportunity for our staff and students to rub shoulders with leaders in the global theoretical computer science community.”

This is the second time in a matter of months that an international digital conference has put Bath on the map - with the X Media Lab making a big impact in March.

The conference will include sessions on topics from constructive mathematics, programming language theory and formal languages through to game semantics and quantum computation.

The event takes place from 6 - 9 June 2012, and is partially supported by the US Office of Naval Research.

.....................

If you enjoyed this article you might also like:

Nano factory promises great things for graphene science, May 2012

University secures £1.5m for energy efficiency research, May 2012

Inaugural lecture explores active materials, structures and devices, May 2012

Bookmark with:

What is this?

We are one of the UK's leading universities with an international reputation for quality research and teaching. Our Mission is to deliver world class research and teaching, educating our graduates to become future leaders and innovators, and benefiting the wider population through our research, enterprise and influence. Our courses are innovative and interdisciplinary and we have an outstanding record of graduate employment.