Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Mathematical Foundations of Programming Semantics
Mathematical Foundations of Programming Semantics
Conferences and Workshops in the Mathematical Foundations of
Programming Semantics series have taken place annually since
1985, when the first conference was held at Kansas State University.
The goals of the series have been to provide a forum for researchers
in all areas surrounding semantics to present their latest research
results, and to improve communication and interactions between
mathematicians and computer scientists who work in these areas. The
areas of relevance include category theory, domain theory, logic and
topology on the mathematics side, and type theory, semantics, and the
design and implementation of programming languages on the computer
science side.
From 1985 through 2004, MFPS meetings alternated
between a large conference format featuring invited speakers and
refereed, contributed papers, on the one hand, and more informal
workshops featuring survey talks by invited speakers and contributed
talks by researchers about their latest research, on the
other. Beginning in 2005, MFPS adopted a more traditional approach of
being a yearly conference with a Call for Papers and publication of
its Proceedings of extended abstracts, with a selection of papers from
the meeting also being published as a special issue of a journal.
A central theme of the MFPS meetings has been to provide a venue where
mathematicians whose research areas are of interest to the semantics
community can meet with computer scientists whose research interest is
semantics. MFPS also attracts researchers in neighboring areas, and
the results of these interactions are that the mathematicians learn of
potential applications for their research, and of new, interesting
problems which may be amenable to their research techniques. Computer
scientists find the interactions profitable, since they provide an
opportunity to learn of new results in mathematics which have
potential impact for their research, as well as to understand how
mathematical techniques can provide clear and concise methods to
represent some of the problems they need to solve.
Information about MFPS meetings
MFPS Conferences usually include plenary talks by six or
seven leading researchers and several Special Sessions devoted to
specific topics. The balance of the program is composed of papers
selected from submissions received in response to a Call for
Papers.
The Twenty-fourth MFPS Conference will take place on the campus
of the University of Pennsylvania from May 22 through May 25, 2008. It will be
preceded by a Tutorial Day on Category Theory and Computer Science organized
by Phil Scott (Ottawa). Details about the Call for Papers can be found
here.
The Twenty-third MFPS Conference took place on the
campus of Tulane University, New Orleans, LA USA from April 11 through
April 14, 2007. The program for the meeting can be found
here, and
the conference Proceedings are available here.
The Twenty-second MFPS Conference will take place in
Genoa, Italy from May 24 through May 27, 2006. The Proceedings appeared as
Volume 158 of ENTCS.
The Twenty-first MFPS Conference took place on the campus
of the University of Birmingham, UK from Wednesday, May 19 through
Saturday, May 21, 2005. The Proceedings appeared as Volume 155
of ENTCS.
The Twentieth MFPS Workshop took place on the campus of
Carnegie Mellon University in Pittsburgh, PA from Sunday, May 23
through Wednesday, May 26, 2004. The meeting was co-located with the ASL
annual meeting.
The Nineteenth MFPS Conference was held at the Centre
Recherche Mathematiques of the University of Montreal from March 19
through March 22, 2003.
The Organizers of MFPS are Stephen Brookes (CMU), Achim Jung
(Birmingham), Catherine Meadows (NRL), Prakash Panangaden
(McGill) and Michael Mislove (Tulane). Michael Main
(Colorado), Austin Melton (Kent State) and David Schmidt
(Kansas State) were co-founders of the series, and members of
the Organizing Committee for many years.
If you wish to obtain further information about MFPS meetings, send
email to
mfps@math.tulane.edu.
Proceedings of MFPS
meetings
Each of the Conferences has produced a
Proceedings volume in the Lecture Notes in Computer Science
[Volumes 239, 298, 442, 598, 802].
Each of the
more informal workshops has led to a Proceedings volume in
Theoretical Computer Science:
the
Proceedings of MFPS 4, which took place at the University of
Colorado in April, 1988 appeared as Volume 70 (1990) of
TCS,
and that of MFPS 6, which took place at
Queens University in Kingston, Canada in May, 1990, appeared as Volume
111 (1992).
The Proceedings of the MFPS 8,
which was held at Oxford, England in April, 1992 appeared as three
special issues of TCS: 135 #1, 136
#1, and 138, #2.
The Proceedings of the MFPS 10
appeared as issues 1-2 of Volume 228 of TCS.
The Proceedings of MFPS 12 will shortly appear as a
special issue of TCS.
The
Proceedings of the MFPS 11 appeared as Volume 1 of the new
series Electronic Notes in Theoretical Computer
Science, which is published electronically under the auspices
of Elsevier Science B. V. The volume can be accessed at the following
URL.
The
Proceedings of the MFPS 13 appeared as Volume 6 of
Electronic Notes in Theoretical Computer Science,
which is published electronically under the auspices of Elsevier
Science B. V. The volume can be accessed at the following URL.
The Proceedings of MFPS 15 appeared as Volume 20
of Electronic Notes in Theoretical Computer Science,
which is published electronically under the auspices of Elsevier
Science B. V. The volume can be accessed at the following URL.
The Proceedings of MFPS 19 appeared as Volume 73 of
Electronic Notes in Theoretical Computer Science,
which is published electronically under the auspices of Elsevier
Science B. V. The volume can be accessed at the following URL when
it is available.
The Proceedings of MFPS 14 and MFPS 16, Theoretical Compuer Science315 (2004).