Mathematical Foundations of Programming Semantics(MFPS 35)

June 4-7, 2019 London, UK,

Call For Paper

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.

Topics of interest include, but are not limited to, the following topic areas:

• bio-computation;
  
• concurrent qualitative and quantitative distributed systems;
  
• process calculi;
  
• probabilistic systems;
  
• constructive mathematics;
  
• domain theory and categorical models;
  
• formal languages; formal methods;
  
• game semantics; lambda calculus;
  
• programming-language theory;
  
• quantum computation; security;
  
• topological models; logic;
  
• type systems;
  
• type theory.

Important Dates

Submission Deadline:

:

April 1, 2019



User Name : judy
Posted 04-01-2019 on 22:54:32 AEDT

Related CFPs

AMA 2026   10th International Conference on Applied Mathematics and Sciences (AMA 2026)
AIDMK 2026   14th International Conference on Artificial Intelligence, Data Mining & Knowledge Management (AIDMK 2026)
ACII   Advanced Computational Intelligence: An International Journal
SOFEA 2026   12th International Conference on Software Engineering and Applications (SOFEA 2026)