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: