[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                        Second CALL FOR PAPERS

                              MFPS XXVI

                    Twenty-sixth Conference on the
                     Mathematical Foundations of
                        Programming Semantics

                         University of Ottawa
                       Ottawa, Ontario, Canada
                           May 6 - 10, 2010
          Partially Supported by US Office of Naval Research

The Twenty-sixth Conference on the Mathematical Foundations of
Programming Semantics will take place on the campus of the University
of Ottawa, Ontario, Canada UK from May 6 - 10, 2010. MFPS conferences
are devoted to those 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 series has
particularly stressed providing a forum where researchers in
mathematics and computer science can meet and exchange ideas about
problems of common interest. As the series also strives to maintain
breadth in its scope, the conference strongly encourages participation
by researchers in neighboring areas.

TOPICS include, but are not limited to: biocomputation, concurrent and
distributed computation, constructive mathematics, domain theory and
categorical models, formal languages, formal methods, game semantics,
lambda calculus, logic, probabilistic systems, process calculi,
programming language theory, quantum computation, security,
topological models, type systems, type theory.


 Amal Ahmed, Indiana
 Martin Escardo, Birmingham
 Cedric Fournet, Microsoft, Paris
 Pieter Hofstra, Ottawa
 Jean Krivine, PPS, Paris 7
 Keye Martin, NRL


 * Domain Theory (organized by Martin Escardo)
 * Logic and Category Theory (organized by Rick Blute and Phil Scott)
 * Security (organized by Catherine Meadows)
 * Systems Biology (organized by Jean Krivine)

TUTORIAL LECTURES: There will be daily tutorial lectures on Model
Checking and Verification, given by Stephen Brookes (Carnegie Mellon),
Amy Felty (Ottawa), Joel Ouaknine (Oxford), and Prakash Panangaden
(McGill, organizer), and James Worrell (Oxford).


 Ulrich Berger, Swansea
 Stephen Brookes, Carnegie Mellon
 Venanzio Capretta, Nottingham
 Vincent Danos, Edinburgh
 Thomas Hildebrandt, ITU Copenhagen
 Achim Jung, Birmingham
 Guy McCusker, Bath
 Catherine Meadows, NRL
 Paul-Andre Mellies, Paris 7
 Michael Mislove, Tulane
 Peter O'Hearn, Queen Mary
 Prakash Panangaden, McGill
 Catuscia Palamidessi, INRIA
 Brigitte Pientka, McGill
 Benjamin Pierce, U. Pennsylvania
 Davide Sangiorgi, INRIA and Bologna
 Vladimiro Sassone, Southampton
 Andrea Schalk, Manchester
 Philip Scott, Ottawa
 Peter Selinger, Chair, Dalhousie
 Benoit Valiron, LIG Grenoble


 - February 5, 2010     Title and Short Abstract submission deadline
 - February 12, 2010    Paper submission deadline
 - March 15, 2010       Notification to authors
 - April 2, 2010        Preliminary proceedings version due

SUBMISSIONS should be prepared using ENTCS Macros, available from
http://www.entcs.org. Submissions should be in the form of a PDF file
not exceeding 15 pages in length. Submissions are now open on the
following EasyChair website: 

PROCEEDINGS: There will be a preliminary proceedings of the conference
papers that will be distributed at the meeting, with a final
proceedings published in ENTCS after the meeting.

ORGANIZERS: MFPS is organized by Stephen Brookes (CMU), Achim Jung
(Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane) and
Prakash Panangaden (McGill). The local organizers for MFPS 26 are Rick
Blute and Phil Scott (Ottawa).

For more information, please see the conference web site:
http://www.math.tulane.edu/~mfps/mfps26, or contact

                                * * *

Reply via email to