From: Michael Mislove <mwm@math.tulane.edu>
To: mfpsmail@tulane.edu, categories@mta.ca
Subject: MFPS 26 - First Call for Papers
Date: Thu, 5 Nov 2009 13:06:30 -0600 [thread overview]
Message-ID: <E1N6ElL-0005WO-7O@mailserv.mta.ca> (raw)
Dear Colleagues,
Below is the first Call for Papers for MFPS 26, which will be held at
the University of Ottawa, Ontario, Canada from May 6 - 10, 2010. We
encourage submissions in all areas relating to the topics of the
meeting.
Best regards,
Mike MIslove
=
=
=
=
=
=
=
=
========================================================================
FIRST CALL FOR PAPERS
MFPS XXVI
http://www.math.tulane.edu/~mfps/mfps26
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, the following: 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.
The INVITED SPEAKERS for MFPS XXVI are
Amal Ahmed, Indiana
Martin Escardo, Birmingham
Cedric Fournet, Microsoft, Paris
Pieter Hofstra, Ottawa
Jean Krivine, PPS, Paris 7
Keye Martin, NRL
In addition, there will be four SPECIAL SESSIONS:
- A Session on Logic and Category Theory will be held in conjunction
with Pieter Hofstra's plenary talk. The session is being organized by
Rick Blute and Phil Scott (Ottawa).
- A Session on Domain Theory will be held in conjunction with Martin
Escardo's plenary talk. It is being organized by Dr. Escardo.
- A Session on Systems Biology will be held in conjunction with Jean
Krivine's plenary talk. The session is being organized by Dr. Krivine.
- A Session on Security will be held in conjunction with Cedric
Fournet's plenary address. It is being organized by Catherine Meadows
(NRL).
In addition, there will be four TUTORIAL TALKS on Model Checking and
Verification. These are being organized by Prakash Panangaden
(McGill), and include talks by Amy Felty (Ottawa), Joel Ouaknine
(Oxford) and Jams Worrell (Oxford), as well as by Professor
Panangaden. The talks will be given during the course of the meeting.
The remainder of the program will consist of papers selected by the
following PROGRAM COMMITTEE
Ulrich Berger, U Swansea, UK
Stephen Brookes, Carnegie Mellon U, USA
Venanzio Capretta, U Nottingham, UK
Vincent Danos, U Edinburgh, UK
Thomas Hildebrandt, IT University, Copenhagen
Achim Jung, U Birmingham, UK
Guy McCusker, U Bath, UK
Catherine Meadows, NRL, USA
Paul-André Melliès, Paris 7, France
Michael Mislove, Tulane U, USA
Peter O'Hearn, Queen Mary U London, UK
Prakash Panangaden, McGill U, Canada
Catuscia Palamidessi, INRIA, France
Brigitte Pientka, McGill U, Canada
Benjamin Pierce, U Pennsylvania, USA
Davide Sangiorgi, U Bologna, Italy
Andrea Schalk, U Manchester, UK
Philip Scott, U Ottawa, Canada
Peter Selinger, chair, Dalhousie U, Canada
Benoît Valiron, LIG Grenoble, France
from submissions received in response to this Call for Papers. The
submissions will be organized through EasyChair, and further
information will be sent out nearer the time that submissions are
being accepted.
IMPORTANT DATES:
- 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
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. Submissions to the meeting should be
prepared using ENTCS Macros, which are available from the ENTCS Macro
Web Pages http://www.entcs.org Submissions should be in the form of a
pdf file not to exceed 15 pages in length.
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 admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2009-11-05 19:06 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1N6ElL-0005WO-7O@mailserv.mta.ca \
--to=mwm@math.tulane.edu \
--cc=categories@mta.ca \
--cc=mfpsmail@tulane.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).