| 2025 | 41 | Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, MFPS XLI, University of Strathclyde, Glasgow, UK, June 16-21, 2025 | University of Strathclyde | |
| 2024 | 40 | Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, MFPS XL, Oxford, UK, June 17-21, 2024 | Oxford | |
| 2023 | 39 | Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023 | Bloomington | |
| 2022 | 38 | Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022 | Paris | |
| 2021 | 37 | Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. | | |
| 2020 | 36 | Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020 MFPS 2020 | | 2020-10-01 |
| 2019 | | Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019 | London | |
| 2018 | | Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018 MFPS 2018 | Halifax | 2018-06-06/09 |
| 2017 | | The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017 | Ljubljana | |
| 2016 | | The Thirty-second Conference on the Mathematical Foundations of Programming Semantics, MFPS 2016, Carnegie Mellon University, Pittsburgh, PA, USA, May 23-26, 2016 | Pittsburgh | |
| 2015 | 31 | The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015 | Kingdom of the Netherlands | |
| 2014 | 30 | Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014 | Ithaca | |
| 2013 | | Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013 | New Orleans | |
| 2012 | 28 | Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2012, Bath, UK, June 6-9, 2012 MFPS 2012 | Bath | 2012-06-06/09 |
| 2011 | | Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS 2011, Pittsburgh, PA, USA, May 25-28, 2011 MFPS 2011 | Pittsburgh | 2011-05-25/28 |
| 2010 | 26 | Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa, Ontario, Canada, May 6-10, 2010 | Ottawa | |
| 2009 | 25 | Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009 | Oxford | |
| 2008 | 24 | Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008 | Philadelphia | |
| 2007 | 23 | Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, MFPS 2007, New Orleans, LA, USA, April 11-14, 2007 MFPS 2007 | New Orleans | 2007-04-11/14 |
| 2006 | 22 | Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006 | Genoa | |
| 2005 | 21 | Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005 MFPS 2005 | Birmingham | 2005-05-18/21 |
| 2003 | 19 | Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003 MFPS 2003 | Université de Montréal | 2003-03-19/22 |
| 2001 | | Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001 MFPS 2001 | Aarhus | 2001-05-23/26 |
| 1999 | | Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999 MFPS 1999 | New Orleans | 1999-04-28 to 1999-05-01 |
| 1997 | | Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997 MFPS 1997 | Pittsburgh | 1997-03-23/26 |
| 1995 | | Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995 | New Orleans | |
| 1993 | 9 | International Conference on Mathematical Foundations of Programming Semantics MFPS | New Orleans | 1993-04-07/10 |
| 1991 | 7 | International Conference on Mathematical Foundations of Programming Semantics MFPS 1991, MFPS | Pittsburgh | 1991-03-25/28 |
| 1989 | 5 | International Conference on Mathematical Foundations of Programming Semantics MFPS | New Orleans | 1989-03-29 to 1989-04-01 |
| 1987 | 3 | International Workshop on Mathematical Foundations of Programming Semantics MFPS | New Orleans | 1987-04-08/10 |
| 1985 | | International Conference on Mathematical Foundations of Programming Semantics MFPS | Manhattan | 1985-04-11/12 |
