# MFPS — International Conference on the Mathematical Foundations of Programming Semantics

- **Submission deadline**: 2015-04-03
- **Notification date**: 2015-05-15
- **Conference date**: 2015-06-22
- **Location**: Nijmegen, Netherlands
- **Rankings**: CORE B · QUALIS B4
- **Conference Partner Index**: 58.4/100 (ranked #657, confidence 0.80, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 0
- **Attendees**: 0
- **Canonical page**: https://www.myhuiban.com/conference/388

## Call for papers

The 31st MFPS will take place on the campus of the Radboud University, Nijmegen, between 22 and 25 June 2015. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. MFPS is organised in cooperation with ACM SIGLOG and observes its anti-harassment policy. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.

## Related conferences

- Programming — International Conference on the Art, Science, and Engineering of Programming — https://www.myhuiban.com/conference/2069
- MFCS — International Symposium on Mathematical Foundations of Computer Science — https://www.myhuiban.com/conference/374
- SIGIR — International Conference on Research and Development in Information Retrieval — https://www.myhuiban.com/conference/141
- AAAI — AAAI Conference on Artificial Intelligence — https://www.myhuiban.com/conference/408
- CVPR — IEEE Conference on Computer Vision and Pattern Recognition — https://www.myhuiban.com/conference/407

## Related journals

- Mathematical Programming — https://www.myhuiban.com/journal/516
- Mathematical Programming Computation — https://www.myhuiban.com/journal/517
- Journal on Data Semantics — https://www.myhuiban.com/journal/874
- Journal of Biomedical Semantics — https://www.myhuiban.com/journal/876
- Foundations of Computational Mathematics — https://www.myhuiban.com/journal/479

---
Source: Conference Partner — https://www.myhuiban.com/conference/388 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)