Conference Information

- Please login above if you have already created an account.

    Welcome to Carnegie Mellon University Conference & Event Services web registration portal.

    If you already started your registration for the event you are attending, enter your email address and the supplied password above to view your registration or complete your payment. Please do not begin a second registration. If you need to create an account, please scroll to the bottom of the page and click on the Sign Up button to begin the registration process. 

    Please contact us if you have questions related to the registration process:

        telephone: 412-268-1125

        e-mail: confserv@andrew.cmu.edu

    Mathematical Foundations of Programming Semantics

    Start Date:
    End Date:
    Maximum Attendees:
    No limit
    Registered Attendees:
    Welcome to the Mathematical Foundations of Programming Semantics Registration Page

    The 32nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII) will take place on the campus of the Carnegie Mellon University, Pittsburgh, PA, USA, between May 23-26, 2016.

    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 hosted by Carnegie Mellon University. Talks will be in Rashid Auditorium (GHC 4401) in the Hillman Center for Future Generation Technologies, adjacent to the Gates Center for Computer Science. Hillman Center has an entrance facing Forbes Avenue, which is probably the easiest option for those walking in from Oakland. The Hillman Center may also be entered from the 4th floor of the Gates Center. Gates has main entrances on the 3rd floor (from the SCS Quad, following the footpath in front of Newell Simon Hall) and the 5th floor (from the direction of the Cut, between Purnell Center and Cyert Hall). A covered walkway connects the 4th floor of Gates with Newell Simon Hall and Wean Hall, and the Randy Pausch Bridge links the Cut with the 5th floor of Gates.


    Registration for the conference can be completed here by clicking the Sign Up bottom at the bottom of this page. For on-site registration, special arrangements must be made prior to the conference by emailing the conference organizers. There will be a desk outside the Rashid Auditorium with registration packets for all participants.


    Campus parking in the East Campus Garage is available for a daily charge. Upon entry you will receive a ticket and can pay at the Pay Station before you leave.

    Special Events

    The MFPS Welcome Reception will take place from 6:00pm to 8:00pm, Monday, May 23, in the Collaborative Commons, Gates Center 6th Floor.

    The MFPS Conference Dinner will begin at 7:30pm, Tuesday, May 24, following the cocktail hour that will begin at 6:30 p.m. The cocktail hour and dinner will be held in the Great Hall in the College of Fine Arts building. If you would like to attend the conference dinner, please select your entree of choice on the following pages. Please only choose one entree selection per person.

    Hotel Accommodations

    Housing accommodations are available at the following hotels located near the Carnegie Mellon University's campus. A block of rooms are being held at each location. The cutoff date to receive the MFPS rate is May 9, 2016. Please visit the websites below to make your reservations.

    Wyndham Pittsburgh University Center
    100 Lytton Ave.
    Pittsburgh, PA 15213
    412-682-6200; 1-800-864-8287
    Less than one mile
    Group code: 05216841MA

    Hilton Garden Inn - Pittsburgh University Place
    3454 Forbes Avenue
    Pittsburgh, PA 15213
    Less than two miles

    ShadySide Inn All Suites Hotel
    5405 Fifth Ave.
    Pittsburgh, PA 15232
    412-441-4444; 1-800-76-SUITE
    Less than one mile

    Hotel Indigo
    123 North Highland Avenue
    Pittsburgh, PA 15206
    Less than two miles

    If you have any questions about the registration process, please contact the Carnegie Mellon Conference & Event Services office at 412-268-1125 or Conference & Event Services

    Cancellations & Refunds: In order to cancel, you must notify Conference & Event Services. A refund is not automatically generated when you "cancel" your registration through this site.