MFPS Organizers

The MFPS Organizers oversee the series, deciding the location of each year’s meeting, deciding whether to co-locate with related meetings, and exercising financial oversight for the series. The Organizers also select colleagues to serve as Program Committee Chairs for each year’s meeting, and provide general oversight for the meetings.

The organizers of the first two workshops at Kansas State were Austin Melton and Dave Schmidt, and Michael Main (Boulder) and Michael Mislove (Tulane) joined the group in 1987. Steve Brookes (CMU) joined the group in 1991. Later, Catherine Meadows (NRL), Achim Jung (Birmingham) and Prakash Panangaden (McGill) joined Brookes and Mislove to form the group that remained unchanged through 2020.

MFPS recently increased the number of Organizers to include new permanent members, and we also added Program Committee  (Co-)Chairs as members to serve terms of three years, beginning with the year they chair the Program Committee. 

Here is the current list of Organizers; those with an * are permanent members:

Andrej Bauer*, University of Ljubljana, Slovenia

Lars Birkedal*, Aarhus University, Denmark

Stephen Brookes*, Carnegie Mellon University, USA

Justin Hsu, Cornell University, USA

Achim Jung*, University of Birmingham, UK

Marie Kerjean, LIPN, Paris

Paul Levy, University of Birmingham

Catherine Meadows*, Naval Research Laboratory, USA

Michael Mislove*, Tulane University, USA

Joël Ouaknine*, MPI SWS, Germany

Prakash Panangaden*, McGill University, Canada

Alexandra Silva*, Cornell University, USA

Sam Staton*, University of Oxford, UK

Christine Tasson, Sorbonne Université, France